BDD-based supervisory control on extended finite automata
Paper i proceeding, 2011
extended finite automata
symbolic representation
binary decision diagrams
Supervisory control theory
supervisor representation
Författare
Sajed Miremadi
Chalmers, Signaler och system, System- och reglerteknik, Automation
Bengt Lennartson
Chalmers, Signaler och system, System- och reglerteknik, Automation
Knut Åkesson
Chalmers, Signaler och system, System- och reglerteknik, Automation
IEEE International Conference on Automation Science and Engineering
21618070 (ISSN) 21618089 (eISSN)
25-31 6042480Ämneskategorier
Data- och informationsvetenskap
DOI
10.1109/CASE.2011.6042480
ISBN
978-145771730-7