Understanding deadlock and livelock behaviors in hybrid control systems (Q924105): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.nahs.2008.12.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2171235575
@@ Property / OpenAlex ID: W2171235575 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid I/O automata.
@@ Property / cites work: Hybrid I/O automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical properties of hybrid automata
@@ Property / cites work: Dynamical properties of hybrid automata / rank @@
+Normal rank
@@ Property / cites work @@
+On Simulations and Bisimulations of General Flow Systems
+Normal rank
@@ Property / cites work @@
+Q4400449
@@ Property / cites work: Q4400449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552483
@@ Property / cites work: Q4552483 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional abstractions of hybrid control systems
+Normal rank
@@ Property / cites work @@
+Modularity for timed and hybrid systems
@@ Property / cites work: Modularity for timed and hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817527
@@ Property / cites work: Q4817527 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Zeno behaviors in a class of hybrid systems
+Normal rank
@@ Property / cites work @@
+On the regularization of Zeno hybrid automata
@@ Property / cites work: On the regularization of Zeno hybrid automata / rank @@
+Normal rank
@@ Property / cites work @@
+Zeno hybrid systems
@@ Property / cites work: Zeno hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Set invariance in control
@@ Property / cites work: Set invariance in control / rank @@
+Normal rank
@@ Property / cites work @@
+Box invariance in biologically-inspired dynamical systems
+Normal rank
@@ Property / cites work @@
+Q4953376
@@ Property / cites work: Q4953376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953393
@@ Property / cites work: Q4953393 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families 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 @@
+Robust Test Generation and Coverage for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Robot navigation functions on manifolds with boundary
+Normal rank
@@ Property / cites work @@
+Q4791844
@@ Property / cites work: Q4791844 / rank @@
+Normal rank