Supervisory control and reactive synthesis: a comparative introduction (Englisch)
- Neue Suche nach: Ehlers, Rüdiger
- Neue Suche nach: Lafortune, Stéphane
- Neue Suche nach: Tripakis, Stavros
- Neue Suche nach: Vardi, Moshe Y.
- Neue Suche nach: Ehlers, Rüdiger
- Neue Suche nach: Lafortune, Stéphane
- Neue Suche nach: Tripakis, Stavros
- Neue Suche nach: Vardi, Moshe Y.
In:
Discrete Event Dynamic Systems
;
27
, 2
;
209-260
;
2016
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Supervisory control and reactive synthesis: a comparative introduction
-
Beteiligte:Ehlers, Rüdiger ( Autor:in ) / Lafortune, Stéphane ( Autor:in ) / Tripakis, Stavros ( Autor:in ) / Vardi, Moshe Y. ( Autor:in )
-
Erschienen in:Discrete Event Dynamic Systems ; 27, 2 ; 209-260
-
Verlag:
- Neue Suche nach: Springer US
-
Erscheinungsort:New York
-
Erscheinungsdatum:15.03.2016
-
Format / Umfang:52 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 27, Ausgabe 2
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 205
-
Guest editorial: special issue on formal methods in controlOzay, Necmiye / Tabuada, Paulo et al. | 2017
- 209
-
Supervisory control and reactive synthesis: a comparative introductionEhlers, Rüdiger / Lafortune, Stéphane / Tripakis, Stavros / Vardi, Moshe Y. et al. | 2016
- 261
-
Dynamic hierarchical reactive controller synthesisSchmuck, Anne-Kathrin / Majumdar, Rupak / Leva, Adrian et al. | 2017
- 301
-
Augmented finite transition systems as abstractions for control synthesisNilsson, Petter / Ozay, Necmiye / Liu, Jun et al. | 2017
- 341
-
Towards scalable synthesis of stochastic control systemsZamani, Majid / Tkachev, Ilya / Abate, Alessandro et al. | 2016
- 371
-
Automated generation of dynamics-based runtime certificates for high-level controlDeCastro, Jonathan / Ehlers, Rüdiger / Rungger, Matthias / Balkan, Ayça / Kress-Gazit, Hadas et al. | 2016
- 407
-
Controller synthesis for dynamic hierarchical real-time plants using timed automataWaez, Md Tawhid Bin / Wąsowski, Andrzej / Dingel, Juergen / Rudie, Karen et al. | 2017
- 443
-
Order-reduction abstractions for safety verification of high-dimensional linear systemsTran, Hoang-Dung / Nguyen, Luan Viet / Xiang, Weiming / Johnson, Taylor T. et al. | 2017
- 463
-
Falsification of combined invariance and reachability specifications in hybrid control systemsRawlings, Blake C. / Ydstie, B. Erik et al. | 2017