Computing differential invariants of hybrid systems as fixed points (Q1039853): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-009-0079-8
@@ Property / DOI: 10.1007/s10703-009-0079-8 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PHAVer
@@ Property / describes a project that uses: PHAVer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KeYmaera
@@ Property / describes a project that uses: KeYmaera / 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-009-0079-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2106606898
@@ Property / OpenAlex ID: W2106606898 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552457
@@ Property / cites work: Q4552457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417974
@@ Property / cites work: Q4417974 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational techniques for hybrid system verification
+Normal rank
@@ Property / cites work @@
+Program invariants as fixedpoints
@@ Property / cites work: Program invariants as fixedpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Verification of cooperating traffic agents
@@ Property / cites work: Verification of cooperating traffic agents / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Systematic Simulation Using Sensitivity Analysis
@@ Property / cites work: Systematic Simulation Using Sensitivity Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945221
@@ Property / cites work: Q4945221 / 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 @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / 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 @@
+Semidefinite programming relaxations for semialgebraic problems
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / 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 Image Computation Problem in Hybrid Systems Model Checking
+Normal rank
@@ Property / cites work @@
+Computing Differential Invariants of Hybrid Systems as Fixedpoints
+Normal rank
@@ Property / cites work @@
+KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+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 @@
+Conflict resolution for air traffic management: a study in multiagent hybrid systems
+Normal rank
@@ Property / DOI @@
+.1007/S10703-009-0079-8
@@ Property / DOI: 10.1007/S10703-009-0079-8 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1039853