Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492): Difference between revisions

@@ 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/978-3-540-70545-1_17
+Normal rank
@@ Property / OpenAlex ID @@
+W3021664313
@@ Property / OpenAlex ID: W3021664313 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings.
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552457
@@ Property / cites work: Q4552457 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Dynamic Logic for Verifying Parametric Hybrid Systems
+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 @@
+Q4417974
@@ Property / cites work: Q4417974 / rank @@
+Normal rank
@@ Property / cites work @@
+The Image Computation Problem in Hybrid Systems Model Checking
+Normal rank
@@ Property / cites work @@
+Systematic Simulation Using Sensitivity Analysis
@@ Property / cites work: Systematic Simulation Using Sensitivity Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Program invariants as fixedpoints
@@ Property / cites work: Program invariants as fixedpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Differential Invariants of Hybrid Systems as Fixedpoints
+Normal rank
@@ Property / cites work @@
+Conflict resolution for air traffic management: a study in multiagent hybrid systems
+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 @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3--5, 2007. Proceedings.
+Normal rank