Author:
Karimoddini Ali,Lin Hai,Chen Ben M.,Lee Tong H.
Subject
Computer Science Applications,Control and Systems Engineering
Reference24 articles.
1. Alur, R., Courcoubetis, C., Henzinger, T. & Ho, P. (1993). Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.),Hybrid systems(Vol. 736, pp. 209–229). Heidelberg: Springer Berlin.
2. A theory of timed automata
3. Hybrid Control Systems: An Introductory Discussion to the Special Issue
4. Symbolic planning and control of robot motion [Grand Challenges of Robotics]
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献