Deductive stability proofs for ordinary differential equations (Q2233505): Difference between revisions

@@ Property / cites work @@
+Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
+Normal rank
@@ Property / cites work @@
+The twisting tennis racket
@@ Property / cites work: The twisting tennis racket / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210476
@@ Property / cites work: Q4210476 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of networked and embedded control systems.
+Normal rank
@@ Property / cites work @@
+Q5472808
@@ Property / cites work: Q5472808 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal proof in Coq of Lasalle's invariance principle
+Normal rank
@@ Property / cites work @@
+Verification of Hybrid Systems
@@ Property / cites work: Verification of Hybrid Systems / rank @@
+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 @@
+Q3224358
@@ Property / cites work: Q3224358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5440982
@@ Property / cites work: Q5440982 / rank @@
+Normal rank
@@ Property / cites work @@
+The dynamical systems approach to differential equations
+Normal rank
@@ Property / cites work @@
+Type Classes and Filters for Mathematical Analysis in Isabelle/HOL
+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 @@
+Switching in systems and control
@@ Property / cites work: Switching in systems and control / rank @@
+Normal rank
@@ Property / cites work @@
+Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
+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 complete uniform substitution calculus for differential dynamic logic
+Normal rank
@@ Property / cites work @@
+Logical Foundations of Cyber-Physical Systems
@@ Property / cites work: Logical Foundations of Cyber-Physical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Equation Invariance Axiomatization
@@ Property / cites work: Differential Equation Invariance Axiomatization / 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 @@
+Q2817906
@@ Property / cites work: Q2817906 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to existence and liveness for differential equations
+Normal rank
@@ Property / cites work @@
+Local stability analysis using simulations and sum-of-squares programming
+Normal rank