Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems

スポンサーリンク

概要

• 論文の詳細を見る

• In this paper, we study opacity-enforcing supervisory control of discrete event systems. We consider the case that the secrete behavior of the system is specified by multiple secret languages, and synthesize a maximally permissive supervisor that enforces opacity for all secret languages. We prove that, under a certain assumption on observable and uncontrollable events, a maximally permissive opacity-enforcing supervisor can be synthesized in a modular fashion.

• （社）電子情報通信学会の論文
• 2011-03-01

著者

• Watanabe Yuta

  Department Of Life Sciences Graduate School Of Arts And Sciences The University Of Tokyo

• Takai Shigemasa

  Division Of Electrical Electronic And Information Engineering Osaka University

• Watanabe Yuta

  Department Of Information Science Kyoto Institute Of Technology

• Watanabe Yuta

  Department Of Chemistry And Materials Engineering Faculty Of Chemistry Materials And Bioengineering Kansai University

関連論文

• 1P194 1B1520 細胞質ダイニンは微小管プロトフィラメント1本の上を連続的に運動可能である(分子モーター,口頭発表,第48回日本生物物理学会年会)
• Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems
• 2M1448 Properties of human cytoplasmic dynein heavy chain 1 and 2(Molecular motor 3,The 48th Annual Meeting of the Biophysical Society of Japan)
• Solid-State Photochromism of 5-tert-Butyl-2-hydroxyisophthalaldehyde
• Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set
• Solid-State Photochromism of 5-tert-Butyl-2-hydroxy-isophthalaldehyde
• Decentralized Supervisory Control of Timed Discrete Event Systems
• Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems

スポンサーリンク