A supervisory control algorithm based on property-directed reachability
Paper i proceeding, 2017
Symbolic transition system
Synthesis
Supervisory control
Discrete-event systems
Verification
Property-directed reachability
Författare
Koen Lindström Claessen
Funktionell programmering
Jonatan Kilhamn
Formella metoder
Laura Kovacs
Formella metoder
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. 10629 LNCS 115-130978-331970388-6 (ISBN)
Styrkeområden
Informations- och kommunikationsteknik
Produktion
Ämneskategorier
Data- och informationsvetenskap
Robotteknik och automation
DOI
10.1007/978-3-319-70389-3_8
ISBN
978-331970388-6