Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2007.03.055
@@ Property / DOI: 10.1016/j.tcs.2007.03.055 / rank @@
-Normal rank
@@ Property / author @@
+Sergio Yovine
@@ Property / author: Sergio Yovine / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Charon
@@ Property / describes a project that uses: Charon / 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 @@
+SPeeDI
@@ Property / describes a project that uses: SPeeDI / 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.1016/j.tcs.2007.03.055
+Normal rank
@@ Property / OpenAlex ID @@
+W2155815558
@@ Property / OpenAlex ID: W2155815558 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953376
@@ Property / cites work: Q4953376 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953375
@@ Property / cites work: Q4953375 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems V. 5th international Hybrid systems workshop held in Notre Dame, IN, USA, September 11--13, 1997. Proceedings
+Normal rank
@@ Property / cites work @@
+Hybrid systems II. 2nd workshop, Mathematical Sciences Institute (MSI), Cornell University, Ithaka, NY, USA, October 28--30, 1994. Proceedings.
+Normal rank
@@ Property / cites work @@
+On some relations between dynamical systems and transition systems
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Q4806207
@@ Property / cites work: Q4806207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484488
@@ Property / cites work: Q4484488 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552459
@@ Property / cites work: Q4552459 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736573
@@ Property / cites work: Q4736573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953379
@@ Property / cites work: Q4953379 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249564
@@ Property / cites work: Q4249564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953384
@@ Property / cites work: Q4953384 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28--30, 2001. Proceedings
+Normal rank
@@ Property / cites work @@
+Reachability Analysis Using Polygonal Projections
@@ Property / cites work: Reachability Analysis Using Polygonal Projections / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems
@@ Property / cites work: Hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / 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 @@
+Q4067388
@@ Property / cites work: Q4067388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953393
@@ Property / cites work: Q4953393 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3954445
@@ Property / cites work: Q3954445 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23--25, 2000. Proceedings
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q3264374
@@ Property / cites work: Q3264374 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4658726
@@ Property / cites work: Q4658726 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25--27, 2002. Proceedings
+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. 2nd international workshop, HSCC '99. Berg en Dal, the Netherlands, March 29--31, 1999. Proceedings
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2007.03.055
@@ Property / DOI: 10.1016/J.TCS.2007.03.055 / rank @@
+Normal rank