dReach: δ-Reachability Analysis for Hybrid Systems
暂无分享,去创建一个
Wei Chen | Edmund M. Clarke | Sicun Gao | Soonho Kong | Sicun Gao | Soonho Kong | E. Clarke | Wei Chen
[1] Edmund M. Clarke,et al. Parameter Identification Using δ-Decisions for Biological Hybrid Systems , 2014 .
[2] Matthias Althoff,et al. Reachability Analysis of Nonlinear Differential-Algebraic Systems , 2014, IEEE Transactions on Automatic Control.
[3] Edmund M. Clarke,et al. Satisfiability modulo ODEs , 2013, 2013 Formal Methods in Computer-Aided Design.
[4] Sriram Sankaranarayanan,et al. Simulation-guided lyapunov analysis for hybrid dynamical systems , 2014, HSCC.
[5] Edmund M. Clarke,et al. dReal: An SMT Solver for Nonlinear Theories over the Reals , 2013, CADE.
[6] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.
[7] Kevin D. Jones,et al. Verifying robust frequency domain properties of non linear oscillators using SMT , 2014, 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems.
[8] Martin Fränzle,et al. Engineering constraint solvers for automatic analysis of probabilistic hybrid automata , 2010, J. Log. Algebraic Methods Program..
[9] Edmund M. Clarke,et al. δ-Complete Decision Procedures for Satisfiability over the Reals , 2012, IJCAR.
[10] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[11] Martin Fränzle,et al. Analysis of Hybrid Systems Using HySAT , 2008, Third International Conference on Systems (icons 2008).
[12] Edmund M. Clarke,et al. Proof Generation from Delta-Decisions , 2014, 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
[13] Goran Frehse,et al. PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.
[14] Wei Chen,et al. Delta-Complete Analysis for Bounded Reachability of Hybrid Systems , 2014, ArXiv.
[15] Clark W. Barrett,et al. The SMT-LIB Standard Version 2.0 , 2010 .
[16] Xin Chen,et al. Taylor Model Flowpipe Construction for Non-linear Hybrid Systems , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.
[17] Alessandro Cimatti,et al. SMT-Based Verification of Hybrid Systems , 2012, AAAI.