Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11424-017-6226-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2587102134
@@ Property / OpenAlex ID: W2587102134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953376
@@ Property / cites work: Q4953376 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Counterexample-guided predicate abstraction of hybrid systems
+Normal rank
@@ Property / cites work @@
+Decidability of the Reachability for a Family of Linear Vector Fields
+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 @@
+Constraint-Based Approach for Analysis of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Computing Differential Invariants of Hybrid Systems as Fixedpoints
+Normal rank
@@ Property / cites work @@
+Barrier certificates revisited
@@ Property / cites work: Barrier certificates revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive Verification of Continuous Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Verification and synthesis using real quantifier elimination
+Normal rank
@@ Property / cites work @@
+A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example
+Normal rank
@@ Property / cites work @@
+Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants
+Normal rank
@@ Property / cites work @@
+Q2722048
@@ Property / cites work: Q2722048 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Non-linear loop invariant generation using Gröbner bases
+Normal rank
@@ Property / cites work @@
+Logical Analysis of Hybrid Systems
@@ Property / cites work: Logical Analysis of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic abstraction of non-linear systems using change of bases transformations
+Normal rank
@@ Property / cites work @@
+A Differential Operator Approach to Equational Differential Invariants
+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 @@
+Fixed point for set-valued mappings satisfying an implicit relation in partially ordered metric spaces
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic invariant generation for hybrid systems using ideal fixed points
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Compositional safety analysis using barrier certificates
+Normal rank
@@ Property / cites work @@
+Length of Polynomial Ascending Chains and Primitive Recursiveness.
+Normal rank
@@ Property / cites work @@
+Q4023642
@@ Property / cites work: Q4023642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5719565
@@ Property / cites work: Q5719565 / rank @@
+Normal rank
@@ Property / cites work @@
+Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
+Normal rank