Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959): Difference between revisions

@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
+Normal rank
@@ Property / cites work @@
+Q5614853
@@ Property / cites work: Q5614853 / rank @@
+Normal rank
@@ Property / cites work @@
+Set invariance in control
@@ Property / cites work: Set invariance in control / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretic methods in control
@@ Property / cites work: Set-theoretic methods in control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+The solution of minimaximin problems
@@ Property / cites work: The solution of minimaximin problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247790
@@ Property / cites work: Q4247790 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5703200
@@ Property / cites work: Q5703200 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving the Correctness of Multiprocess Programs
@@ Property / cites work: Proving the Correctness of Multiprocess Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5839061
@@ Property / cites work: Q5839061 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid automata: an insight into the discrete abstraction of discontinuous systems
+Normal rank
@@ Property / cites work @@
+On Taylor Model Based Integration of ODEs
@@ Property / cites work: On Taylor Model Based Integration of ODEs / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Liveness Properties of Concurrent Programs
+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 @@
+Differential-algebraic Dynamic Logic for Differential-algebraic Programs
+Normal rank
@@ Property / cites work @@
+Computing Differential Invariants of Hybrid Systems as Fixedpoints
+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 @@
+Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
+Normal rank
@@ Property / cites work @@
+Some undecidable problems involving elementary functions of a real variable
+Normal rank
@@ Property / cites work @@
+An invariant-based approach to the design of hybrid control systems
+Normal rank
@@ Property / cites work @@
+Deductive Verification of Continuous Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Level-Set Method for Polynomial System Reachable Set Estimation
+Normal rank