Author:
Sloth Christoffer,Wisniewski Rafael
Subject
Computer Science Applications,Analysis,Control and Systems Engineering
Reference35 articles.
1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Safety verification and reachability analysis for hybrid systems;Guéguen;Annual Review in Control,2009
3. E. Asarin, T. Dang, G. Frehse, A. Girard, C.L. Guernic, O. Maler, Recent progress in continuous and hybrid reachability analysis, in: Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design, Munich, Germany, 2006, pp. 1582–1587. http://dx.doi.org/10.1109/CACSD-CCA-ISIC.2006.4776877.
4. M. Broucke, A geometric approach to bisimulation and verification of hybrid systems, in: Proceedings of the 37th IEEE Conference on Decision and Control, Tampa, FL, USA, 1998, pp. 4277–4282. http://dx.doi.org/10.1109/CDC.1998.761977.
5. Approximating continuous systems by timed automata;Maler,2008
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献