Generating invariants for non-linear hybrid systems (Q2355695): Difference between revisions

@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769581
@@ Property / cites work: Q2769581 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint-Based Approach for Analysis of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Box Invariants
@@ Property / cites work: Generating Box Invariants / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
+Normal rank
@@ Property / cites work @@
+Q4385444
@@ Property / cites work: Q4385444 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for real algebra -- the quadratic case and beyond
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic
+Normal rank
@@ Property / cites work @@
+Q5457277
@@ Property / cites work: Q5457277 / rank @@
+Normal rank
@@ Property / cites work @@
+Cutting to the Chase Solving Linear Integer Arithmetic
+Normal rank
@@ Property / cites work @@
+dReal: An SMT Solver for Nonlinear Theories over the Reals
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+HySAT: An efficient proof engine for bounded model checking of hybrid systems
+Normal rank
@@ Property / cites work @@
+Applications of MetiTarski in the Verification of Control and Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Computing Differential Invariants of Hybrid Systems as Fixedpoints
+Normal rank
@@ Property / cites work @@
+Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods
+Normal rank
@@ Property / cites work @@
+Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Transcendental inductive invariants generation for non-linear differential and hybrid systems
+Normal rank
@@ Property / cites work @@
+Endomorphisms for Non-trivial Non-linear Loop Invariant Generation
+Normal rank
@@ Property / cites work @@
+Automatic invariant generation for hybrid systems using ideal fixed points
+Normal rank
@@ Property / cites work @@
+Constructing invariants for hybrid systems
@@ Property / cites work: Constructing invariants for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317677
@@ Property / cites work: Q5317677 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2770573
@@ Property / cites work: Q2770573 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complete Proof Theory of Hybrid Systems
@@ Property / cites work: The Complete Proof Theory of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Logical Analysis of Hybrid Systems
@@ Property / cites work: Logical Analysis of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
+Normal rank
@@ Property / cites work @@
+Automatic abstraction of non-linear systems using change of bases transformations
+Normal rank
@@ Property / cites work @@
+Conflict resolution for air traffic management: a study in multiagent hybrid systems
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
+Normal rank