Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables: A Symbolic and Inductive Approach
Doctoral thesis, 2015

Show more

Discrete event systems

IC3

large-scale systems

model checking

incremental control

supervisory control

hierarchical control

maximal permissiveness

Author

Mohammad Reza Shoaei

Chalmers, Signals and Systems, Systems and control

Included papers

Reduced-order synthesis of operation sequences

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA,;(2011)p. 8-

Paper in proceeding

Symbolic Interpretation and Execution of Extended Finite Automata

IFAC Proceedings Volumes (IFAC-PapersOnline),;Vol. 12(2014)p. 228-234

Paper in proceeding

Supervisory Control of Discrete-Event Systems via IC3

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 8855(2014)p. 252-266

Journal article

Supervisory Control of Extended Finite Automata Using Transition Projection

Proceedings of the IEEE Conference on Decision and Control,;(2012)p. 7259-7266

Paper in proceeding

Categorizing

Areas of Advance

Production

Subject Categories (SSIF 2011)

Robotics

Control Engineering

Identifiers

ISBN

978-91-7597-146-9

Other

Series

Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 3827

Public defence

2015-02-27 11:00

EE, Hörsalsvägen 11

Opponent: Prof. Klaus Werner Schmidt, Department of Mechatronics Engineering, Cankaya University, Turkey

More information

Created

10/7/2017