Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
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
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.