TY - GEN
T1 - Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model
AU - Hirano, Takanori
AU - Tei, Kenji
AU - Aizawa, Kazuya
AU - Honiden, Shinichi
N1 - Funding Information:
The research was partially supported by National Institute of Information and Communications Technology (NICT) and JSPS KAKENHI Grant Number 18H03225, 17H00732.
Publisher Copyright:
© 2021 IEEE.
PY - 2021/4/23
Y1 - 2021/4/23
N2 - The behavior of industrial applications requires the guarantee of safety properties. Safety properties are guaranteed under assumptions about the operating environment of the system at design time. If the assumption is broken by a change of environment at runtime, the safety properties are not guaranteed. For the system to guarantee safety properties even in a changed environment, it is necessary to adapt to changes in the environment and change the specification of the system at runtime. Discrete controller synthesis is a technique for automatically generating a specification, but it is not efficient to use it for generating a new specification at runtime. In this work, we propose an efficient algorithm for regenerating a specification that guarantees safety properties under the environment changed at runtime of the system. We evaluated the computational time of our algorithm in two scenarios and found that it was faster than the existing algorithm for generating a specification.
AB - The behavior of industrial applications requires the guarantee of safety properties. Safety properties are guaranteed under assumptions about the operating environment of the system at design time. If the assumption is broken by a change of environment at runtime, the safety properties are not guaranteed. For the system to guarantee safety properties even in a changed environment, it is necessary to adapt to changes in the environment and change the specification of the system at runtime. Discrete controller synthesis is a technique for automatically generating a specification, but it is not efficient to use it for generating a new specification at runtime. In this work, we propose an efficient algorithm for regenerating a specification that guarantees safety properties under the environment changed at runtime of the system. We evaluated the computational time of our algorithm in two scenarios and found that it was faster than the existing algorithm for generating a specification.
KW - 2-player game
KW - discrete controller synthesis
KW - safety property
UR - http://www.scopus.com/inward/record.url?scp=85107554106&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85107554106&partnerID=8YFLogxK
U2 - 10.1109/ICIEA52957.2021.9436711
DO - 10.1109/ICIEA52957.2021.9436711
M3 - Conference contribution
AN - SCOPUS:85107554106
T3 - 2021 IEEE 8th International Conference on Industrial Engineering and Applications, ICIEA 2021
SP - 91
EP - 100
BT - 2021 IEEE 8th International Conference on Industrial Engineering and Applications, ICIEA 2021
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 8th IEEE International Conference on Industrial Engineering and Applications, ICIEA 2021
Y2 - 23 April 2021 through 26 April 2021
ER -