Semantisches Browsen
Aus International Center for Computational Logic
Inproceedings3012 |
Abstract |
In this paper, we further develop the coor … In this paper, we further develop the coordination control scheme for discrete-event systems based on the Ramadge-Wonham framework. The notions of conditional decomposability, conditional controllability, and conditional closedness are revised and simplified, supremal conditionally controllable sublanguages of general non-prefix-closed languages are discussed, and a procedure for the computation of a coordinator for nonblockingness is presented. rdinator for nonblockingness is presented. +
|
---|---|
Author | Tomáš Masopust + , Jan H. van Schuppen + , Jan Komenda + |
BibTex |
@inproceedings{KMS2012, author = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van Schuppen}, title = {On Algorithms and Extensions of Coordination Control of Discrete-Event Systems}, editor = {A. Ram{\'{\i}}rez-Trevi{\~{n}}o and J.-J. Lesage and M. Silva}, booktitle = {Proc. of 11th International Workshop on Discrete Event Systems (WODES)}, publisher = {IFAC}, year = {2012}, pages = {245-250} } |
Bibtype | Inproceedings + |
Booktitle | Proc. of 11th International Workshop on Discrete Event Systems (WODES) + |
Download | On Algorithms and Extensions of Coordination Control of Discrete-Event Systems.pdf + |
Editor | A. Ramírez-Treviño, J.-J. Lesage, M. Silva + |
ErsterAutorNachname | Komenda + |
ErsterAutorVorname | Jan + |
Forschungsgruppe | Wissensbasierte Systeme + |
Note | Proposition 17 is not correct. + |
Pages | 245-250 + |
Publication text |
Jan Komenda, Tomáš Masopust, Jan H. van Sc … Jan Komenda, Tomáš Masopust, Jan H. van Schuppen<br/> '''[[Inproceedings3012|<b>On Algorithms and Extensions of Coordination Control of Discrete-Event Systems</b>]]''' <br/>__NOTOC__In A. Ramírez-Treviño, J.-J. Lesage, M. Silva, eds., <i>Proc. of 11th International Workshop on Discrete Event Systems (WODES)</i>, 245-250, 2012. IFAC<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3012|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:On Algorithms and Extensions of Coordination Control of Discrete-Event Systems.pdf|Download]] l of Discrete-Event Systems.pdf|Download]] +
|
Publication text en |
Jan Komenda, Tomáš Masopust, Jan H. van Sc … Jan Komenda, Tomáš Masopust, Jan H. van Schuppen<br/> '''[[Inproceedings3012/en|<b>On Algorithms and Extensions of Coordination Control of Discrete-Event Systems</b>]]''' <br/>__NOTOC__In A. Ramírez-Treviño, J.-J. Lesage, M. Silva, eds., <i>Proc. of 11th International Workshop on Discrete Event Systems (WODES)</i>, 245-250, 2012. IFAC<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3012|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:On Algorithms and Extensions of Coordination Control of Discrete-Event Systems.pdf|Download]] l of Discrete-Event Systems.pdf|Download]] +
|
Publisher | IFAC + |
Referiert | 1 + |
Title | On Algorithms and Extensions of Coordination Control of Discrete-Event Systems + |
To appear | 0 + |
Type | inproceedings + |
Year | 2012 + |
Hat Abfrage Dieses Attribut ist ein Spezialattribut in diesem Wiki.
|
Inproceedings3012 + , Inproceedings3012 + , Inproceedings3012 + , Inproceedings3012 + , Inproceedings3012 + , Inproceedings3012 + , Inproceedings3012 + |
Kategorien | Inproceedings , Publikation |
Zuletzt geändert Dieses Attribut ist ein Spezialattribut in diesem Wiki.
|
24 Mai 2016 16:01:49 + |
verstecke Attribute die hierhin verlinken |
Inproceedings3012/en + | Weiterleitungsseite |
---|