A study of symbolic tools in automatic control
Licentiatavhandling, 2002
binary decision diagrams
state explosion problem
supervisory control synthesis
deadlock avoidance
discrete event systems
symbolic model checking
formal methods
Författare
Arash Vahidi Mazinani
Chalmers, Signaler och system, Reglerteknik och automation
Ämneskategorier
Reglerteknik
Technical report L - School of Electrical and Computer Engineering, Chalmers University of Technology. : 434