Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Frequently Asked Questions
Frequently Asked Questions
Communities & Collections
Communities & Collections
Abstraction-based control for not necessarily closed behaviours
Date
2011-01-01
Author
Moor, Thomas
Schmidt, Klaus Verner
Wittmann, Thomas
Metadata
Show full item record
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
.
Item Usage Stats
5
views
0
downloads
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.
Subject Keywords
Discrete event systems
,
Supervisory control
,
Cω-languages
,
Abstraction-based synthesis
URI
https://hdl.handle.net/11511/46594
Journal
IFAC Proceedings Volumes (IFAC-PapersOnline)
DOI
https://doi.org/10.3182/20110828-6-it-1002.00480
Collections
Department of Electrical and Electronics Engineering, Article