Supervisory Control of Discrete-Event Systems via IC3
Paper i proceeding, 2014
IC3
Supervisory control theory
Incremental inductive verification
Discrete-event systems
Författare
Mohammad Reza Shoaei
Chalmers, Signaler och system, System- och reglerteknik
Laura Kovacs
Chalmers, Data- och informationsteknik, Programvaruteknik
Bengt Lennartson
Chalmers, Signaler och system, System- och reglerteknik
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 8855 252-266978-331913337-9 (ISBN)
Styrkeområden
Produktion
Ämneskategorier
Reglerteknik
Datorsystem
DOI
10.1007/978-3-319-13338-6_19
ISBN
978-331913337-9