An Algorithm for Weak Synthesis Observation Equivalence for Compositional Supervisor Synthesis
Paper i proceeding, 2012
Automata
Supervisory control theory
Abstrcation
Författare
Sahar Mohajerani
Chalmers, Signaler och system, System- och reglerteknik
Robi Malik
Martin Fabian
Chalmers, Signaler och system, System- och reglerteknik
IFAC Proceedings Volumes (IFAC-PapersOnline)
14746670 (ISSN)
Vol. 239--244Styrkeområden
Produktion
Ämneskategorier
Reglerteknik
DOI
10.3182/20121003-3-MX-4033.00040