Pegasus: sound continuous invariant generation (Q2147687): Difference between revisions

@@ Property / cites work @@
+Q4023101
@@ Property / cites work: Q4023101 / rank @@
+Normal rank
@@ Property / cites work @@
+Vector Lyapunov Functions
@@ Property / cites work: Vector Lyapunov Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Conic abstractions for hybrid systems
@@ Property / cites work: Conic abstractions for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Fast LCF-Style Proof Reconstruction for Z3
@@ Property / cites work: Fast LCF-Style Proof Reconstruction for Z3 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic
+Normal rank
@@ Property / cites work @@
+Q5472808
@@ Property / cites work: Q5472808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Ideals, Varieties, and Algorithms
@@ Property / cites work: Ideals, Varieties, and Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Barrier certificates revisited
@@ Property / cites work: Barrier certificates revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of parametric barrier functions for dynamical systems using interval analysis
+Normal rank
@@ Property / cites work @@
+\(n-1\) independent first integrals for linear differential systems in \(\mathbb{R}^n\) or \(\mathbb{C}^n\)
+Normal rank
@@ Property / cites work @@
+A new algorithm for finding rational first integrals of polynomial vector fields
+Normal rank
@@ Property / cites work @@
+Bellerophon: tactical theorem proving for hybrid systems
+Normal rank
@@ Property / cites work @@
+KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Reachability Analysis for Solvable Dynamical Systems
+Normal rank
@@ Property / cites work @@
+A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
+Normal rank
@@ Property / cites work @@
+Q2756510
@@ Property / cites work: Q2756510 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint-Based Approach for Analysis of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q5440982
@@ Property / cites work: Q5440982 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation-guided lyapunov analysis for hybrid dynamical systems
+Normal rank
@@ Property / cites work @@
+Q2709206
@@ Property / cites work: Q2709206 / rank @@
+Normal rank
@@ Property / cites work @@
+Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
+Normal rank
@@ Property / cites work @@
+Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Invariant algebraic surfaces of the Lorenz system
@@ Property / cites work: Invariant algebraic surfaces of the Lorenz system / rank @@
+Normal rank
@@ Property / cites work @@
+Computing closed form solutions of first order ODEs using the Prelle- Singer procedure
+Normal rank
@@ Property / cites work @@
+First integrals of autonomous systems of differential equations and the Prelle-Singer procedure
+Normal rank
@@ Property / cites work @@
+Q4282674
@@ Property / cites work: Q4282674 / rank @@
+Normal rank
@@ Property / cites work @@
+ModelPlex: verified runtime validation of verified cyber-physical system models
+Normal rank
@@ Property / cites work @@
+Q4942663
@@ Property / cites work: Q4942663 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential dynamic logic for hybrid systems
@@ Property / cites work: Differential dynamic logic for hybrid systems / 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 @@
+A Differential Operator Approach to Equational Differential Invariants
+Normal rank
@@ Property / cites work @@
+Logics of Dynamical Systems
@@ Property / cites work: Logics of Dynamical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A complete uniform substitution calculus for differential dynamic logic
+Normal rank
@@ Property / cites work @@
+Computing differential invariants of hybrid systems as fixed points
+Normal rank
@@ Property / cites work @@
+KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
+Normal rank
@@ Property / cites work @@
+Real World Verification
@@ Property / cites work: Real World Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Equation Invariance Axiomatization
@@ Property / cites work: Differential Equation Invariance Axiomatization / rank @@
+Normal rank
@@ Property / cites work @@
+Q3849114
@@ Property / cites work: Q3849114 / 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 @@
+Elementary First Integrals of Differential Equations
+Normal rank
@@ Property / cites work @@
+Generating invariants for non-linear hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4011324
@@ Property / cites work: Q4011324 / 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 @@
+Stability theory by Liapunov's direct method
@@ Property / cites work: Stability theory by Liapunov's direct method / rank @@
+Normal rank
@@ Property / cites work @@
+Validating numerical semidefinite programming solvers for polynomial invariants
+Normal rank
@@ Property / cites work @@
+Q4341368
@@ Property / cites work: Q4341368 / rank @@
+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 @@
+Q4280774
@@ Property / cites work: Q4280774 / rank @@
+Normal rank
@@ Property / cites work @@
+On the nonexistence of rational first integrals for nonlinear systems and semiquasihomogeneous systems
+Normal rank
@@ Property / cites work @@
+Proving properties of continuous systems: Qualitative simulation and temporal logic
+Normal rank
@@ Property / cites work @@
+Q4003793
@@ Property / cites work: Q4003793 / rank @@
+Normal rank
@@ Property / cites work @@
+A Method for Invariant Generation for Polynomial Continuous Systems
+Normal rank
@@ Property / cites work @@
+Vector barrier certificates and comparison systems
+Normal rank
@@ Property / cites work @@
+Verification and synthesis using real quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4418865
@@ Property / cites work: Q4418865 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstractions for hybrid systems
@@ Property / cites work: Abstractions for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Box Invariants
@@ Property / cites work: Generating Box Invariants / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736610
@@ Property / cites work: Q4736610 / 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 @@
+Q2848690
@@ Property / cites work: Q2848690 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear programming relaxation based approach for generating barrier certificates of hybrid systems
+Normal rank
@@ Property / cites work @@
+An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
+Normal rank
@@ Property / cites work @@
+Integrability of dynamical systems: algebra and analysis
+Normal rank
@@ Property / cites work @@
+Extracting and representing qualitative behaviors of complex systems in phase space
+Normal rank