Abstraction-Based Control for Not Necessarily Closed Behaviours

详细信息    查看全文

• 作者：Thomas Moor^* ; ^{thomas.moor@rt.eei.uni-erlangen.de" class="auth_mail" title="E-mail the corresponding author} ; Klaus Schmidt^** ; ^{schmidt@cankaya.edu.tr" class="auth_mail" title="E-mail the corresponding author} ; Thomas Wittmann^* ; ^{thomas.wittmann@rt.eei.uni-erlangen.de" class="auth_mail" title="E-mail the corresponding author}
• 关键词：discrete event systems ; supervisory control ; ω-languages ; abstraction-based synthesis
• 刊名：IFAC-PapersOnLine
• 出版年：2011
• 出版时间：January 2011
• 年：2011
• 卷：44
• 期：1
• 页码：6988-6993
• 全文大小：278 K

文摘

This paper addresses abstraction-based supervisory control for plant and specification behaviours that are not necessarily ω-closed, i.e. plant behaviours that exhibit eventuality properties and specifications that impose eventuality properties on the closed loop. Technically, the core idea is to combine results from previous work on abstraction-based supervision of input-output behaviours with results on supervisory control of ω-languages. As our main result, we identify a controllability condition for the plant, that ensures a nonblocking closed-loop behaviour with a controller that has been obtained for a plant abstraction.