Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model

Takanori Hirano, Kenji Tei, Kazuya Aizawa, Shinichi Honiden

研究成果: Conference contribution

抄録

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.

本文言語English
ホスト出版物のタイトル2021 IEEE 8th International Conference on Industrial Engineering and Applications, ICIEA 2021
出版社Institute of Electrical and Electronics Engineers Inc.
ページ91-100
ページ数10
ISBN(電子版)9781665428958
DOI
出版ステータスPublished - 2021 4 23
イベント8th IEEE International Conference on Industrial Engineering and Applications, ICIEA 2021 - Virtual, Chengdu, China
継続期間: 2021 4 232021 4 26

出版物シリーズ

名前2021 IEEE 8th International Conference on Industrial Engineering and Applications, ICIEA 2021

Conference

Conference8th IEEE International Conference on Industrial Engineering and Applications, ICIEA 2021
国/地域China
CityVirtual, Chengdu
Period21/4/2321/4/26

ASJC Scopus subject areas

  • 決定科学(その他)
  • 自動車工学
  • 産業および生産工学
  • 安全性、リスク、信頼性、品質管理
  • 制御と最適化
  • 輸送

フィンガープリント

「Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル