On the state liveness of some classes of guidepath-based transport systems and its computational complexity (Q2173958): Difference between revisions

@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / 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.automatica.2019.108777
+Normal rank
@@ Property / OpenAlex ID @@
+W2997363357
@@ Property / OpenAlex ID: W2997363357 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+On-line compositional controller synthesis for AGV
+Normal rank
@@ Property / cites work @@
+Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems
+Normal rank
@@ Property / cites work @@
+On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems
+Normal rank
@@ Property / cites work @@
+On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems
+Normal rank
@@ Property / cites work @@
+Graph puzzles, homotopy, and the alternating group
+Normal rank