Abstractions of Hybrid Systems for Verification
暂无分享,去创建一个
[1] Timothy J. Hickey,et al. Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints , 2004, HSCC.
[2] T. Henzinger,et al. Algorithmic Analysis of Nonlinear Hybrid Systems , 1998, CAV.
[3] Calin Belta,et al. Reachability Analysis of Multi-affine Systems , 2006, HSCC.
[4] Sumit Kumar Jha,et al. Refining Abstractions of Hybrid Systems Using Counterexample Fragments , 2005, HSCC.
[5] Pravin Varaiya,et al. Ellipsoidal Techniques for Reachability Analysis , 2000, HSCC.
[6] Bruce H. Krogh,et al. Computational techniques for hybrid system verification , 2003, IEEE Trans. Autom. Control..
[7] Janan Zaytoon,et al. Safety verification and reachability analysis for hybrid systems , 2009, Annu. Rev. Control..
[8] Martin Guay,et al. Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems , 2003, ADHS.
[9] Ashish Tiwari. Approximate Reachability for Linear Systems , 2003, HSCC.
[10] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[11] George J. Pappas,et al. A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates , 2007, IEEE Transactions on Automatic Control.
[12] Stefan Ratschan,et al. Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement , 2005, HSCC.
[13] Thomas A. Henzinger,et al. Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.
[14] Roberto Bagnara,et al. Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library , 2002, SAS.
[15] Ashish Tiwari,et al. Nonlinear Systems: Approximating Reach Sets , 2004, HSCC.
[16] Janan Zaytoon,et al. On the formal verification of hybrid systems , 2004 .
[17] Antoine Girard,et al. Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.
[18] Goran Frehse. PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech , 2005, HSCC.
[19] Hervé Guéguen,et al. Hybrid abstractions of affine systems , 2006 .
[20] H. Gueguen,et al. Abstraction based reachability computation for affine systems with bounded input , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.
[21] Bruce H. Krogh,et al. Verification of infinite-state dynamic systems using approximate quotient transition systems , 2001, IEEE Trans. Autom. Control..
[22] Oded Maler,et al. Recent progress in continuous and hybrid reachability analysis , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.
[23] Nedialko S. Nedialkov,et al. Validated solutions of initial value problems for ordinary differential equations , 1999, Appl. Math. Comput..
[24] A. Girard,et al. Recent Progress in Continuoushybrid Reachability Analysis , 2006 .
[25] Rajeev Alur,et al. Reachability Analysis of Hybrid Systems via Predicate Abstraction , 2002, HSCC.
[26] Stefan Ratschan,et al. Safety verification of hybrid systems by constraint propagation-based abstraction refinement , 2007, TECS.
[27] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[28] Thao Dang. Approximate Reachability Computation for Polynomial Systems , 2006, HSCC.
[29] Rajeev Alur,et al. Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction , 2003, HSCC.
[30] George J. Pappas,et al. S.O.S. for safety , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[31] George J. Pappas,et al. Geometric programming relaxations for linear system reachability , 2004, Proceedings of the 2004 American Control Conference.
[32] Ashish Tiwari,et al. Generating Polynomial Invariants for Hybrid Systems , 2005, HSCC.
[33] Paulo Tabuada,et al. Composing Abstractions of Hybrid Systems , 2002, HSCC.
[34] Wolfgang Kühn. Zonotope Dynamics in Numerical Quality Control , 1997, VisMath.