dc.contributor.author |
Schmidt, Klaus Werner
|
|
dc.contributor.author |
Breindl, Christian
|
|
dc.date.accessioned |
2016-06-27T08:23:01Z |
|
dc.date.available |
2016-06-27T08:23:01Z |
|
dc.date.issued |
2011-04 |
|
dc.identifier.citation |
Schmidt, K., Breindl, C. (2011). Maximally permissive hierarchical control of decentralized discrete event systems. IEEE Transactions On Automatic Control, 56(4), 723-737. http://dx.doi.org/10.1109/TAC.2010.2067250 |
tr_TR |
dc.identifier.issn |
0018-9286 |
|
dc.identifier.uri |
http://hdl.handle.net/20.500.12416/1166 |
|
dc.description.abstract |
The subject of this paper is the synthesis of natural projections that serve as nonblocking and maximally permissive abstractions for the hierarchical and decentralized control of large-scale discrete event systems. To this end, existing concepts for nonblocking abstractions such as natural observers and marked string accepting (msa)-observers are extended by local control consistency (LCC) as a novel sufficient condition for maximal permissiveness. Furthermore, it is shown that, similar to the natural observer condition and the msa-observer condition, also LCC can be formulated in terms of a quasi-congruence. Based on existing algorithms in the literature, this allows to algorithmically compute natural projections that are either natural observers or msa-observers and that additionally fulfill LCC. The obtained results are illustrated by the synthesis of nonblocking and maximally permissive supervisors for a manufacturing system |
tr_TR |
dc.language.iso |
eng |
tr_TR |
dc.publisher |
IEEE-INST Electrical Electronics Engineers INC |
tr_TR |
dc.relation.isversionof |
10.1109/TAC.2010.2067250 |
tr_TR |
dc.rights |
info:eu-repo/semantics/closedAccess |
|
dc.subject |
Decentralized Control |
tr_TR |
dc.subject |
Discrete Event Systems |
tr_TR |
dc.subject |
Hierarchical Control |
tr_TR |
dc.subject |
Large-Scale Systems |
tr_TR |
dc.subject |
Maximal Permissiveness |
tr_TR |
dc.subject |
Supervisory Control |
tr_TR |
dc.title |
Maximally permissive hierarchical control of decentralized discrete event systems |
tr_TR |
dc.type |
article |
tr_TR |
dc.relation.journal |
IEEE Transactions On Automatic Control |
tr_TR |
dc.identifier.volume |
56 |
tr_TR |
dc.identifier.issue |
4 |
tr_TR |
dc.identifier.startpage |
723 |
tr_TR |
dc.identifier.endpage |
737 |
tr_TR |
dc.contributor.department |
Çankaya Üniversitesi, Mühendislik Fakültesi, ,Mekatronik Mühendisliği Bölümü |
tr_TR |