Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference21 articles.
1. R. Alur, D. Dill, Automata for modeling real-time systems, Proceedings of the 17th International Colloquium on Automata, Languages and Programming, 1990, pp. 322–336
2. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems;Alur,1993
3. Hybrid system modeling and autonomous control systems;Antsaklis,1993
4. Controller synthesis for hybrid systems with a lower bound on event separation;Balluchi;International Journal of Control,2003
5. A. Bemporad, N. Giorgetti, A logic-based hybrid solver for optimal control of hybrid systems, Proceedings of the IEEE Conference on Decision and Control, 2003, pp. 640–645
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献