Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference46 articles.
1. Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.H., Nicollin X., Olivero A., Sifakis J. and Yovine S. (1995). Hybrid automata: an algorithmic approach to specification and verification of hybrid systems. Theor. Comput. Sci. 138: 3–34
2. Alur R. and Dill D.L. (1994). A theory of timed automata. Theor. Comput. Sci. 126(2): 183–235
3. Arbib M. and Manes E.G. (1974). Machines in a category: an expository introduction. SIAM Rev. 16(2): 163–192
4. Antsaklis P.J. and Michel A.N. (1997). Linear Systems. McGraw-Hill, New York
5. Antsaklis P.J., Stiver J.A. and Lemmon M.D. (1993). Hybrid system modeling and autonomous control systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., and Rischel, H. (eds) Hybrid Systems, vol. 736 of Lecture Notes in Computer Science, pp 366–392. Springer, Heidelberg
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献