Symbolic approach to nonblocking and safe control of extended Finite Automata
Paper i proceeding, 2010
Författare
L. Ouedraogo
Iowa State University
R. Kumar
Iowa State University
R. Malik
University of Waikato
Knut Åkesson
Chalmers, Signaler och system, System- och reglerteknik
2010 IEEE International Conference on Automation Science and Engineering, CASE 2010
471-476
978-142445447-1 (ISBN)
Ämneskategorier
Data- och informationsvetenskap
Styrkeområden
Produktion
DOI
10.1109/COASE.2010.5584659
ISBN
978-142445447-1