Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory
Paper in proceedings, 2013
Binary decision diagrams
Supervisory control theory
Propositional formulae
Partitioning techniques
State-space exploration
Author
Zhennan Fei
Chalmers, Signals and Systems, Systems and control, Automation
Sajed Miremadi
Chalmers, Signals and Systems, Systems and control, Automation
Knut Åkesson
Chalmers, Signals and Systems, Systems and control, Automation
Bengt Lennartson
Chalmers, Signals and Systems, Systems and control, Automation
Communications in Computer and Information Science
1865-0929 (ISSN)
Vol. 271 161-175Subject Categories
Electrical Engineering, Electronic Engineering, Information Engineering
DOI
10.1007/978-3-642-29966-7_11
ISBN
9783642299650