DSpace Repository

Efficient abstractions for the supervisory control of modular discrete event systems

Show simple item record

dc.contributor.author Schmidt, Klaus Werner
dc.contributor.author Ribeiro Cury, Jose Eduardo
dc.date.accessioned 2017-06-08T08:54:28Z
dc.date.available 2017-06-08T08:54:28Z
dc.date.issued 2012-12
dc.identifier.citation Schmidt, K.W., Ribeiro Cury, J.E. (2012). Efficient abstractions for the supervisory control of modular discrete event systems. IEEE Transactions On Automatic Control, 57(12), 3224-3229. http://dx.doi.org/10.1109/TAC.2012.2200373 tr_TR
dc.identifier.issn 0018-9286
dc.identifier.uri http://hdl.handle.net/20.500.12416/1602
dc.description.abstract 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. tr_TR
dc.language.iso eng tr_TR
dc.publisher IEEE-Inst Electrical Electronics Engineers Inc tr_TR
dc.relation.isversionof 10.1109/TAC.2012.2200373 tr_TR
dc.rights info:eu-repo/semantics/closedAccess
dc.subject Abstraction tr_TR
dc.subject Large-Scale Systems tr_TR
dc.subject Modular Discrete Event Systems tr_TR
dc.subject Supervisory Control tr_TR
dc.title Efficient abstractions for the supervisory control of modular discrete event systems tr_TR
dc.type article tr_TR
dc.relation.journal IEEE Transactions On Automatic Control tr_TR
dc.contributor.authorID 17337 tr_TR
dc.identifier.volume 57 tr_TR
dc.identifier.issue 12 tr_TR
dc.identifier.startpage 3224 tr_TR
dc.identifier.endpage 3229 tr_TR
dc.contributor.department Çankaya Üniversitesi, Mühendislik Fakültesi, Mekatronik Mühendisliği Bölümü tr_TR


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record