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

6
views

0
downloads

Cite This

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

Collections

Department of Electrical and Electronics Engineering, Article