Quantifier-free encoding of invariants for hybrid systems (Q479826): Difference between revisions

@@ Property / describes a project that uses @@
+SpaceEx
@@ Property / describes a project that uses: SpaceEx / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyDI
@@ Property / describes a project that uses: HyDI / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-013-0202-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2074838304
@@ Property / OpenAlex ID: W2074838304 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62041149
@@ Property / Wikidata QID: Q62041149 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4953376
@@ Property / cites work: Q4953376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849590
@@ Property / cites work: Q2849590 / rank @@
+Normal rank
@@ Property / cites work @@
+Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming
+Normal rank
@@ Property / cites work @@
+Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction
+Normal rank
@@ Property / cites work @@
+Requirements Validation for Hybrid Systems
@@ Property / cites work: Requirements Validation for Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification in continuous time by discrete reasoning
+Normal rank
@@ Property / cites work @@
+Q4247790
@@ Property / cites work: Q4247790 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
+Normal rank
@@ Property / cites work @@
+Q5714448
@@ Property / cites work: Q5714448 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of nonlinear hybrid systems
@@ Property / cites work: Algorithmic analysis of nonlinear hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: From verification to falsification by combining motion planning and discrete search
+Normal rank
@@ Property / cites work @@
+The Image Computation Problem in Hybrid Systems Model Checking
+Normal rank
@@ Property / cites work @@
+On the decidability of continuous time specification formalisms
+Normal rank
@@ Property / cites work @@
+Abstractions for hybrid systems
@@ Property / cites work: Abstractions for hybrid systems / rank @@
+Normal rank