Polynomial-time optimal liveness enforcement for guidepath-based transport systems (Q2665316): Difference between revisions

@@ Property / cites work @@
+Design and operational issues in AGV-served manufacturing systems
+Normal rank
@@ Property / cites work @@
+Survey of research in the design and control of automated guided vehicle 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
@@ Property / cites work @@
+A linear-time algorithm for the feasibility of pebble motion on trees
+Normal rank
@@ Property / cites work @@
+On the state liveness of some classes of guidepath-based transport systems and its computational complexity
+Normal rank
@@ Property / cites work @@
+On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems
+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 @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock Prediction: Easy and Difficult Cases
@@ Property / cites work: Deadlock Prediction: Easy and Difficult Cases / rank @@
+Normal rank
@@ Property / cites work @@
+A note on finding the bridges of a graph
@@ Property / cites work: A note on finding the bridges of a graph / rank @@
+Normal rank