Enclosing the behavior of a hybrid system up to and beyond a Zeno point
暂无分享,去创建一个
[1] François E. Cellier,et al. Continuous System Simulation , 2006 .
[2] Abbas Edalat,et al. A Domain-Theoretic Account of Picard's Theorem , 2007 .
[3] Viktor Kuncak,et al. Trustworthy numerical computation in Scala , 2011, OOPSLA '11.
[4] S. Sastry,et al. Zeno hybrid systems , 2001 .
[5] Adrian Pop,et al. OpenModelica - A free open-source environment for system modeling, simulation, and teaching , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.
[6] Vincent Acary,et al. Higher order Moreau’s sweeping process: mathematical formulation and numerical simulation , 2008, Math. Program..
[7] Aaron D. Ames,et al. Characterizing knee-bounce in bipedal robotic walking: a zeno behavior approach , 2011, HSCC '11.
[8] Alberto L. Sangiovanni-Vincentelli,et al. Languages and Tools for Hybrid Systems Design , 2006, Found. Trends Electron. Des. Autom..
[9] N.S. Nedialkov,et al. Rigorous simulation of hybrid dynamic systems with symbolic and interval methods , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).
[10] A. Girard,et al. Reachability analysis of linear systems using support functions , 2010 .
[11] Aaron D. Ames,et al. Stability of Zeno equilibria in Lagrangian hybrid systems , 2008, 2008 47th IEEE Conference on Decision and Control.
[12] S. Shankar Sastry,et al. Sufficient Conditions for the Existence of Zeno Behavior , 2007, Proceedings of the 44th IEEE Conference on Decision and Control.
[13] Paul Hudak,et al. Functional reactive programming from first principles , 2000, PLDI '00.
[14] Aaron D. Ames,et al. Lyapunov Theory for Zeno Stability , 2013, IEEE Transactions on Automatic Control.
[15] Henrik Nilsson,et al. Functional reactive programming, continued , 2002, Haskell '02.
[16] S. Sastry,et al. Simulation of Zeno hybrid automata , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[17] E. Hofer,et al. VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers , 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006).
[18] Andreas Griewank,et al. Automatic Differentiation of Algorithms: From Simulation to Optimization , 2000, Springer New York.
[19] Edward A. Lee,et al. Operational Semantics of Hybrid Systems , 2005, HSCC.
[20] Aaron D. Ames,et al. On the existence of Zeno behavior in hybrid systems with non-isolated Zeno equilibria , 2008, 2008 47th IEEE Conference on Decision and Control.
[21] Pieter J. Mosterman,et al. Zero-Crossing Location and Detection Algorithms For Hybrid System Simulation , 2008 .
[22] Edward A. Lee,et al. Beyond Zeno: Get on with It! , 2006, HSCC.
[23] Daisuke Ishii,et al. Simulation and Verication of Hybrid Systems Based on Interval Analysis and Constraint Programming , 2010 .
[24] J. Moreau. Numerical aspects of the sweeping process , 1999 .
[25] André Platzer,et al. KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) , 2008, IJCAR.
[26] André Platzer,et al. Differential Dynamic Logic for Hybrid Systems , 2008, Journal of Automated Reasoning.
[27] Vincent Acary,et al. Higher Order Moreau’s Sweeping Process , 2006 .
[28] 石井 大輔,et al. Simulation and verification of hybrid systems based on interval analysis and constraint programming , 2010 .
[29] John Lygeros,et al. Lecture Notes on Hybrid Systems , 2004 .
[30] S. Sastry,et al. Is there life after Zeno? Taking executions past the breaking (Zeno) point , 2006, 2006 American Control Conference.
[31] Martín Hötzel Escardó,et al. PCF Extended with Real Numbers , 1996, Theor. Comput. Sci..
[32] Martin Berz,et al. New applications of Taylor model methods , 2000 .
[33] Kazunori Ueda,et al. An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems , 2011, International Journal on Software Tools for Technology Transfer.
[34] Xin Chen,et al. Taylor Model Flowpipe Construction for Non-linear Hybrid Systems , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.
[35] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.
[36] Vijay Kumar,et al. Modular Specification of Hybrid Systems in CHARON , 2000, HSCC.