Resource-aware networked control systems under temporal logic specifications

DOI10.1007/S10626-019-00297-7MaRDI QIDQ2177771zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

• Title not available (Why is no real title available?)
• scientific article; zbMATH DE number 1796123 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• A new method for stabilization of networked control systems with random delays
• Cross-entropy temporal logic motion planning
• Decentralized Supervisory Control of Networks of Nonlinear Control Systems
• Design of Symbolic Controllers for Networked Control Systems
• Guaranteed global performance through local coordinations
• Interior path following primal-dual algorithms. II: Convex quadratic programming
• Linear temporal logic vehicle routing with applications to multi-UAV mission planning
• Multi-agent planning under local LTL specifications and event-based synchronization
• Planning Algorithms
• Predictive control for linear and hybrid systems
• Receding Horizon Temporal Logic Planning
• Self-Triggered Feedback Control Systems With Finite-Gain ${\cal L}_{2}$ Stability
• Temporal logic model predictive control
• Temporal logic motion planning for dynamic robots
• Traffic Network Control From Temporal Logic Specifications

Cited in

(3)

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

Describes a project that uses

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)