Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Englisch)
- Neue Suche nach: Markovski, Jasen
- Neue Suche nach: Markovski, Jasen
In:
Discrete Event Dynamic Systems
;
25
, 1
;
227-250
;
2014
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
-
Beteiligte:Markovski, Jasen ( Autor:in )
-
Erschienen in:Discrete Event Dynamic Systems ; 25, 1 ; 227-250
-
Verlag:
- Neue Suche nach: Springer US
-
Erscheinungsort:Boston
-
Erscheinungsdatum:03.08.2014
-
Format / Umfang:24 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 25, Ausgabe 1
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.
- 1
-
Editorial: changes at J-DEDSCao, Xi-Ren / Lafortune, Stéphane et al. | 2015
- 3
-
Special issue on recent advances in control of discrete event systemsRamírez-Treviño, Antonio / Silva, Manuel / Lafortune, Stéphane et al. | 2015
- 7
-
Multi-intersection Traffic Light Control with blockingGeng, Yanfeng / Cassandras, Christos G. et al. | 2013
- 31
-
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locksNazeem, Ahmed / Reveliotis, Spyros et al. | 2014
- 65
-
Coordination control of discrete-event systems revisitedKomenda, Jan / Masopust, Tomáš / van Schuppen, Jan H. et al. | 2014
- 95
-
A hierarchical and modular control architecture for sequential behavioursBaier, Christine / Moor, Thomas et al. | 2014
- 125
-
Computation of supervisors for reconfigurable machine toolsSchmidt, Klaus Werner et al. | 2014
- 159
-
Robustness of synchronous communication protocols with delay for decentralized discrete-event controlSadid, Waselul Haque / Ricker, Laurie / Hashtrudi-Zad, Shahin et al. | 2014
- 177
-
Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorderMalik, Robi / Leduc, Ryan et al. | 2014
- 203
-
New results on supervisor localization, with case studiesCai, Kai / Wonham, W. M. et al. | 2014
- 227
-
Employing behavioral preorders to define controllability for nondeterministic discrete-event systemsMarkovski, Jasen et al. | 2014
- 251
-
Enforcing opacity of regular predicates on modal transition systemsDarondeau, Philippe / Marchand, Hervé / Ricker, Laurie et al. | 2014
- 271
-
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systemsChédor, Sébastien / Morvan, Christophe / Pinchinat, Sophie / Marchand, Hervé et al. | 2014
- 295
-
New representations for (max,+) automata with applications to performance evaluation and control of discrete event systemsBoukra, Rabah / Lahaye, Sébastien / Boimond, Jean-Louis et al. | 2013
- 323
-
Compositions of (max, +) automataLahaye, Sébastien / Komenda, Jan / Boimond, Jean-Louis et al. | 2014