Resource-aware networked control systems under temporal logic specifications (Q2177771): Difference between revisions

@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Predictive Control for Linear and Hybrid Systems
@@ Property / cites work: Predictive Control for Linear and Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Design of Symbolic Controllers for Networked Control Systems
+Normal rank
@@ Property / cites work @@
+Traffic Network Control From Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Temporal logic motion planning for dynamic robots
@@ Property / cites work: Temporal logic motion planning for dynamic robots / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic model predictive control
@@ Property / cites work: Temporal logic model predictive control / rank @@
+Normal rank
@@ Property / cites work @@
+Linear temporal logic vehicle routing with applications to multi-UAV mission planning
+Normal rank
@@ Property / cites work @@
+Guaranteed global performance through local coordinations
+Normal rank
@@ Property / cites work @@
+A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Planning Algorithms
@@ Property / cites work: Planning Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Cross-entropy temporal logic motion planning
@@ Property / cites work: Cross-entropy temporal logic motion planning / rank @@
+Normal rank
@@ Property / cites work @@
+Interior path following primal-dual algorithms. II: Convex quadratic programming
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+Reliable Robust Path Planning with Application to Mobile Robots
+Normal rank
@@ Property / cites work @@
+Decentralized Supervisory Control of Networks of Nonlinear Control Systems
+Normal rank
@@ Property / cites work @@
+Multi-agent planning under local LTL specifications and event-based synchronization
+Normal rank
@@ Property / cites work @@
+Self-Triggered Feedback Control Systems With Finite-Gain ${\cal L}_{2}$ Stability
+Normal rank
@@ Property / cites work @@
+Receding Horizon Temporal Logic Planning
@@ Property / cites work: Receding Horizon Temporal Logic Planning / rank @@
+Normal rank
@@ Property / cites work @@
+A new method for stabilization of networked control systems with random delays
+Normal rank