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

@@ Property / describes a project that uses @@
+TuLiP
@@ Property / describes a project that uses: TuLiP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PESSOA
@@ Property / describes a project that uses: PESSOA / 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.1007/s10626-019-00297-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2986389262
@@ Property / OpenAlex ID: W2986389262 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126785508
@@ Property / Wikidata QID: Q126785508 / rank @@
+Normal rank
@@ 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