Automatic invariant generation for hybrid systems using ideal fixed points
暂无分享,去创建一个
[1] Henny B. Sipma,et al. Fixed Point Iteration for Computing the Time Elapse Operator , 2006, HSCC.
[2] Zohar Manna,et al. Temporal verification of reactive systems - safety , 1995 .
[3] Edmund M. Clarke,et al. Computing differential invariants of hybrid systems as fixedpoints , 2008, Formal Methods Syst. Des..
[4] Sumit Gulwani,et al. Discovering affine equalities using random interpretation , 2003, POPL '03.
[5] Arnaldo Vieira Moura,et al. Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems , 2009, HSCC.
[6] Zohar Manna,et al. Temporal Verification of Reactive Systems , 1995, Springer New York.
[7] Sumit Gulwani,et al. Constraint-Based Approach for Analysis of Hybrid Systems , 2008, CAV.
[8] Sumit Gulwani,et al. Discovering affine equalities using random interpretation , 2003, POPL '03.
[9] W. W. Adams,et al. An Introduction to Gröbner Bases , 2012 .
[10] Ashish Tiwari,et al. Nonlinear Systems: Approximating Reach Sets , 2004, HSCC.
[11] Henny B. Sipma,et al. Synthesis of Linear Ranking Functions , 2001, TACAS.
[12] P. Hartman. Ordinary Differential Equations , 1965 .
[13] Edmund M. Clarke,et al. Computing Differential Invariants of Hybrid Systems as Fixedpoints , 2008, CAV.
[14] Henny B. Sipma,et al. Constructing invariants for hybrid systems , 2008, Formal Methods Syst. Des..
[15] N. G. Parke,et al. Ordinary Differential Equations. , 1958 .
[16] Ali Jadbabaie,et al. Safety Verification of Hybrid Systems Using Barrier Certificates , 2004, HSCC.
[17] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[18] Michael Colón,et al. Polynomial approximations of the relational semantics of imperativeprograms , 2007, Sci. Comput. Program..
[19] Ashish Tiwari,et al. Generating Polynomial Invariants for Hybrid Systems , 2005, HSCC.
[20] André Platzer,et al. Differential Dynamic Logic for Hybrid Systems , 2008, Journal of Automated Reasoning.
[21] David A. Cox,et al. Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics) , 2007 .
[22] Michael Karr,et al. Affine relationships among variables of a program , 1976, Acta Informatica.
[23] Andreas Podelski,et al. A Sound and Complete Proof Rule for Region Stability of Hybrid Systems , 2007, HSCC.
[24] Ashish Tiwari. Formally Analyzing Adaptive Flight Control ? , 2009 .
[25] Carla Piazza,et al. Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology , 2005, ATVA.
[26] Giovanni Gallo,et al. Wu-Ritt Characteristic Sets and Their Complexity , 1990, Discrete and Computational Geometry.
[27] S. Shankar Sastry,et al. Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..
[28] André Platzer,et al. KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) , 2008, IJCAR.
[29] Donal O'Shea,et al. Ideals, varieties, and algorithms - an introduction to computational algebraic geometry and commutative algebra (2. ed.) , 1997, Undergraduate texts in mathematics.