Efficient supervisory synthesis of large systems
Paper i proceeding, 2004
Supervisory control
Symbolic computation
Reachability search
Författare
Arash Vahidi
Chalmers, Signaler och system, System- och reglerteknik
Bengt Lennartson
Chalmers, Signaler och system, System- och reglerteknik
Martin Fabian
Chalmers, Signaler och system, System- och reglerteknik
IFAC Proceedings Volumes (IFAC-PapersOnline)
14746670 (ISSN)
Vol. 37 18 81-86Reims, France,
Ämneskategorier
Robotteknik och automation
Reglerteknik
Datorsystem
DOI
10.1016/S1474-6670(17)30726-7