Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
暂无分享,去创建一个
[1] Davide Bresolin,et al. Computing the Evolution of Hybrid Systems using Rigorous Function Calculus , 2012, ADHS.
[2] Nancy A. Lynch,et al. Hybrid I/O automata , 1995, Inf. Comput..
[3] Joël Ouaknine,et al. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems , 2003, Int. J. Found. Comput. Sci..
[4] Alberto L. Sangiovanni-Vincentelli,et al. Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System , 2008, HSCC.
[5] Pieter Collins. Semantics and Computability of the Evolution of Hybrid Systems , 2011, SIAM J. Control. Optim..
[6] Thomas A. Henzinger,et al. HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.
[7] Davide Bresolin,et al. Reachability computation for hybrid systems with Ariadne , 2008 .
[8] Kim G. Larsen,et al. Quantitative Refinement for Weighted Modal Transition Systems , 2011, MFCS.
[9] Thomas A. Henzinger,et al. Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.
[10] André Platzer,et al. KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) , 2008, IJCAR.
[11] Roberto Passerone,et al. A contract-based formalism for the specification of heterogeneous systems , 2008, 2008 Forum on Specification, Verification and Design Languages.
[12] Larry Wos,et al. What Is Automated Reasoning? , 1987, J. Autom. Reason..
[13] Stefan Ratschan,et al. Safety verification of hybrid systems by constraint propagation-based abstraction refinement , 2007, TECS.
[14] Nancy A. Lynch,et al. Hybrid I/O automata , 2003, Inf. Comput..
[15] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.
[16] Krishnendu Chatterjee,et al. Compositional Quantitative Reasoning , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
[17] Goran Frehse,et al. PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.
[18] Piotr Sankowski,et al. Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings , 2011, MFCS.
[19] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..