Simulation of Zeno hybrid automata
暂无分享,去创建一个
S. Sastry | M. Egerstedt | J. Lygeros | K. Johansson | Shankar Sastryt | Karl Henrik Johanssont | John Lygerost | Magnus Egerstedtt
[1] Aleksej F. Filippov,et al. Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.
[2] R. Alur,et al. Automata For Modeling Real-Time Systems , 1990, ICALP.
[3] Mats Andersson,et al. Object-Oriented Modelling and Simulation , 1993 .
[4] V. Borkar,et al. A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.
[5] Mats Andersson,et al. Object-Oriented Modeling and Simulation of Hybrid Systems , 1994 .
[6] Sven Erik Mattsson,et al. On Object-Oriented Modelling of Relays and Sliding Mode Behaviour , 1996 .
[7] Paul Gastin,et al. On the Power of Non-Observable Actions in Timed Automata , 1996, STACS.
[8] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[9] Thomas A. Henzinger,et al. Modularity for Timed and Hybrid Systems , 1997, CONCUR.
[10] M. K. Camlibel,et al. Uniqueness of solutions of relay systems , 1997 .
[11] Pieter J. Mosterman,et al. Sliding Mode Model Semantics and Simulation for Hybrid Systems , 1997, Hybrid Systems.
[12] A. J. van der Schaft,et al. Complementarity modeling of hybrid systems , 1998, IEEE Trans. Autom. Control..
[13] Akash Deshpande,et al. The SHIFT programming language for dynamic networks of hybrid automata , 1998 .
[14] M. Egerstedt,et al. On the regularization of Zeno hybrid automata , 1999 .
[15] S. Sastry,et al. On the existence of executions of hybrid automata , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[16] John Lygeros,et al. Controllers for reachability specifications for hybrid systems , 1999, Autom..