Author:
Navarro-López Eva M.,Carter Rebekah
Subject
Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering
Reference48 articles.
1. Lecture Notes in Applied and Computational Mechanics;Acary V,2008
2. Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
3. Alur, R, Courcoubetis, C, Henzinger, TA and Ho, PH. 1993.Hybrid Automata: an Algorithmic Approach to the Specification and Verification of Hybrid Systems, Lecture Notes in Computer Science Vol. 736, 209–229. Berlin: Springer.
4. Alur, R, Kanade, A, Ramesh, S and Shashidhar, KC. 2008. Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models. 8th ACM and IEEE International Conference on Embedded software, EMSOFT 2008. 19–24 October2008. pp.19–24. Atlanta, USA
5. Antsaklis, PJ, Stiver, JA and Lemmon, MD. 1993.Hybrid System Modelling and Autonomous Control Systems, Lecture Notes in Computer Science Vol. 736, 366–392. New York: Springer.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献