Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems

Date

2012-12-01

Author

Schmidt, Klaus Verner
Ribeiro Cury, Jose Eduardo

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

2
views

0
downloads

The topic of this technical note is the nonblocking and maximally permissive abstraction-based supervisory control for modular discrete event systems (DES). It is shown, that an efficient abstraction technique, that was developed for the nonconflict verification of modular DES, is also suitable for the nonblocking supervisory control. Moreover, it is proved that this abstraction technique can be extended by the condition of local control consistency, in order to achieve maximally permissive supervision. Different from existing approaches, the presented abstraction does not require to preserve the shared events among the system components in the respective abstraction alphabets, and hence leads to potentially smaller system abstractions. The obtained results are illustrated by a flexible manufacturing system example.

Subject Keywords

Abstraction, Large-scale systems, Modular discrete event systems, Supervisory control

URI

https://hdl.handle.net/11511/43883

Collections

Department of Electrical and Electronics Engineering, Article