Resource-aware networked control systems under temporal logic specifications

DOI10.1007/S10626-019-00297-7zbMath1441.93102OpenAlexW2986389262WikidataQ126785508 ScholiaQ126785508MaRDI QIDQ2177771

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

zbMATH Keywords

event and self-triggered controltemporal logic control

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Attainable sets, reachability (93B03) Temporal logic (03B44) Networked control (93B70)

Uses Software

• PESSOA
• TuLiP

Cites Work

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

This page was built for publication: Resource-aware networked control systems under temporal logic specifications