Resource-aware networked control systems under temporal logic specifications
DOI10.1007/S10626-019-00297-7zbMATH Open1441.93102OpenAlexW2986389262WikidataQ126785508 ScholiaQ126785508MaRDI QIDQ2177771FDOQ2177771
Authors: Kazumune Hashimoto, Dimos V. Dimarogonas
Publication date: 6 May 2020
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-019-00297-7
Recommendations
- Specification and Analysis of Network Resource Requirements of Control Systems
- Temporal logic model predictive control
- Time-constrained temporal logic control of multi-affine systems
- Temporal logic model predictive control for discrete-time systems
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
Attainable sets, reachability (93B03) Discrete event control/observation systems (93C65) Temporal logic (03B44) Networked control (93B70)
Cites Work
- Predictive control for linear and hybrid systems
- Title not available (Why is that?)
- Self-Triggered Feedback Control Systems With Finite-Gain ${\cal L}_{2}$ Stability
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning
- Multi-agent planning under local LTL specifications and event-based synchronization
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Planning Algorithms
- Interior path following primal-dual algorithms. II: Convex quadratic programming
- Temporal logic motion planning for dynamic robots
- Receding Horizon Temporal Logic Planning
- Title not available (Why is that?)
- A new method for stabilization of networked control systems with random delays
- Guaranteed global performance through local coordinations
- Temporal logic model predictive control
- Reliable robust path planning with application to mobile robots
- Design of Symbolic Controllers for Networked Control Systems
- Decentralized Supervisory Control of Networks of Nonlinear Control Systems
- Traffic Network Control From Temporal Logic Specifications
- Cross-entropy temporal logic motion planning
Cited In (3)
Uses Software
This page was built for publication: Resource-aware networked control systems under temporal logic specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2177771)