On Symbolic Analysis of Discrete Event Systems Modeled as Automata with Variables
Licentiatavhandling, 2012

Visa mer

Partitioning Techniques

Discrete Event Systems

Supervisory Control Theory

Extended Fi- nite Automata

Binary Decision Diagrams

Författare

Zhennan Fei

Chalmers, Signaler och system, System- och reglerteknik

Inkluderade delarbeten

Modeling sequential resource allocation systems using Extended Finite Automata

IEEE International Conference on Automation Science and Engineering,;(2011)p. 444 - 449

Paper i proceeding

Efficient Symbolic Supervisory Synthesis and Guard Generation: Evaluating partitioning techniques for the state-space exploration

ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence,;Vol. 1(2011)p. 106-115

Paper i proceeding

Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory

2011 IEEE International Conference on Robotics and Automation (ICRA),;(2011)p. 4364 - 4369

Paper i proceeding

Kategorisering

Ämneskategorier (SSIF 2011)

Datorteknik

Produktionsteknik, arbetsvetenskap och ergonomi

Styrkeområden

Produktion

Övrigt

Serie

R - Department of Signals and Systems, Chalmers University of Technology

Examination

2012-06-04 12:15

EA, Hörsalsvägen 11

Opponent: Feng Lei, Associate Professor, Department of Machine Design, KTH Royal Institute of Technology, Stockholm, Sweden

Mer information

Skapat

2017-10-08