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

zbMATH Keywords

event and self-triggered controltemporal logic control

Mathematics Subject Classification ID

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)

• A temporal logic-based hierarchical network connectivity controller
• Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints
• Specification and Analysis of Network Resource Requirements of Control Systems

Uses Software

• PESSOA
• TuLiP

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)