Taylor approximation for hybrid systems
暂无分享,去创建一个
[1] Carla Piazza,et al. Algorithmic Algebraic Model Checking I: Challenges from Systems Biology , 2005, CAV.
[2] RatschanStefan,et al. Safety verification of hybrid systems by constraint propagation-based abstraction refinement , 2007 .
[3] A. Pnueli,et al. Effective synthesis of switching controllers for linear systems , 2000, Proceedings of the IEEE.
[4] Bruce H. Krogh,et al. Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations , 1999, HSCC.
[5] Alexandre M. Bayen,et al. Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets , 2001, HSCC.
[6] George J. Pappas,et al. Reachability computation for linear hybrid systems , 1999 .
[7] S. Shankar Sastry,et al. O-Minimal Hybrid Systems , 2000, Math. Control. Signals Syst..
[8] Gerardo Lafferriere,et al. A New Class of Decidable Hybrid Systems , 1999, HSCC.
[9] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[10] Alexandre M. Bayen,et al. Computational Techniques for the Verification and Control of Hybrid Systems , 2005 .
[11] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[12] Martin Fränzle,et al. Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States , 1999, CSL.
[13] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[14] Ansgar Fehnker,et al. Benchmarks for Hybrid Systems Verification , 2004, HSCC.
[15] Alexandre M. Bayen,et al. Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques , 2002, HSCC.
[16] Thomas A. Henzinger,et al. Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.
[17] Rajeev Alur,et al. Predicate abstraction for reachability analysis of hybrid systems , 2006, TECS.
[18] Simone Tini,et al. Taylor approximation for hybrid systems , 2007, Inf. Comput..
[19] Carla Piazza,et al. Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology , 2005, ATVA.
[20] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[21] Thomas A. Henzinger,et al. Symbolic Model Checking for Rectangular Hybrid Systems , 2000, TACAS.
[22] T. Henzinger,et al. Algorithmic Analysis of Nonlinear Hybrid Systems , 1998, CAV.
[23] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[24] Pravin Varaiya,et al. Epsilon-Approximation of Differential Inclusions , 1996, Hybrid Systems.
[25] Alexandre M. Bayen,et al. Computational techniques for the verification of hybrid systems , 2003, Proc. IEEE.
[26] Bud Mishra,et al. Algorithmic Algebraic Model Checking III: Approximate Methods , 2005, INFINITY.
[27] Joël Ouaknine,et al. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems , 2003, Int. J. Found. Comput. Sci..
[28] Martin Fränzle. What Will Be Eventually True of Polynomial Hybrid Automata? , 2001, TACS.
[29] G. Sacks. A DECISION METHOD FOR ELEMENTARY ALGEBRA AND GEOMETRY , 2003 .
[30] George J. Pappas,et al. Geometric programming relaxations for linear system reachability , 2004, Proceedings of the 2004 American Control Conference.
[31] Pravin Varaiya,et al. Reachability under uncertainty , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
[32] Stefan Ratschan,et al. Safety verification of hybrid systems by constraint propagation-based abstraction refinement , 2007, TECS.