A study of symbolic tools in automatic control
Licentiate thesis, 2002
binary decision diagrams
state explosion problem
supervisory control synthesis
deadlock avoidance
discrete event systems
symbolic model checking
formal methods
Author
Arash Vahidi Mazinani
Chalmers, Signals and Systems, Control and Automation Laboratory
Subject Categories
Control Engineering
Technical report L - School of Electrical and Computer Engineering, Chalmers University of Technology. : 434