Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

State-vector transition model applied to supervisory control.

B. Lennartson, S. Miremadi, Z. Fei, M. Hosseini, M. Fabian, und K. Åkesson. ETFA, Seite 1-8. IEEE, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Xiao Fei University of Stuttgart

Carolin Feifel University of Stuttgart

Mathias Feinler University of Stuttgart

Dr. -Ing. Marius Feilhauer University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic Supervisory Control of Timed Discrete Event Systems.S. Miremadi, Z. Fei, K. Åkesson, und B. Lennartson. IEEE Trans. Contr. Sys. Techn., 23 (2): 584-597 (2015)Invariant-based Supervisory Control of Switched Discrete Event Systems.S. Reveliotis, und Z. Fei. ADHS, Volume 48 von IFAC-PapersOnLine, Seite 86-92. Elsevier, (2015)Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory.Z. Fei, S. Miremadi, K. Åkesson, und B. Lennartson. ICAART (Revised Selected Papers), Volume 271 von Communications in Computer and Information Science, Seite 161-175. Springer, (2011)A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems.Z. Fei, S. Reveliotis, und K. Åkesson. WODES, Seite 362-369. International Federation of Automatic Control, (2014)Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration.Z. Fei, S. Miremadi, K. Åkesson, und B. Lennartson. ICAART (1), Seite 106-115. SciTePress, (2011)A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems.Z. Fei, S. Reveliotis, S. Miremadi, und K. Åkesson. IEEE Trans. Automation Science and Engineering, 12 (3): 990-1006 (2015)Efficient Symbolic Supervisor Synthesis for Extended Finite Automata.Z. Fei, S. Miremadi, K. Åkesson, und B. Lennartson. IEEE Trans. Contr. Sys. Techn., 22 (6): 2368-2375 (2014)Modeling sequential resource allocation systems using Extended Finite Automata.Z. Fei, S. Miremadi, und K. Åkesson. CASE, Seite 444-449. IEEE, (2011)Symbolic computation of nonblocking control function for timed discrete event systems.S. Miremadi, Z. Fei, K. Åkesson, und B. Lennartson. CDC, Seite 7352-7359. IEEE, (2012)Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory.Z. Fei, K. Åkesson, und B. Lennartson. ICRA, Seite 4364-4369. IEEE, (2011)