Linear Time Logic Control of Discrete-Time Linear Systems

DOI10.1109/TAC.2006.886494zbMath1366.93413DBLPjournals/tac/TabuadaP06WikidataQ57582026 ScholiaQ57582026MaRDI QIDQ5281987

George J. Pappas, Paulo Tabuada

Publication date: 27 July 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Automated systems (robots, etc.) in control theory (93C85) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (35)

Quantitative Model Checking for a Controller Design ⋮ Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability ⋮ Finite abstraction of mixed monotone systems with discrete and continuous inputs ⋮ Linear temporal logic vehicle routing with applications to multi-UAV mission planning ⋮ Finite abstractions with robustness margins for temporal logic-based control synthesis ⋮ A constructive approach to reachability realization of discrete-time switched linear systems ⋮ Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ Abstraction-based synthesis for stochastic systems with omega-regular objectives ⋮ Symbolic models for control systems ⋮ Symbolic abstractions for nonlinear control systems via feedback refinement relation ⋮ Formal controller synthesis from specifications given by discrete-time hybrid automata ⋮ Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions ⋮ Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach ⋮ Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems ⋮ Automated generation of dynamics-based runtime certificates for high-level control ⋮ Cooperative Tasking for Deterministic Specification Automata ⋮ Optimal mixed discrete-continuous planning for linear hybrid systems ⋮ Model-based reinforcement learning for approximate optimal control with temporal logic specifications ⋮ Controller synthesis for safety and reachability via approximate bisimulation ⋮ Symbolic models for nonlinear time-delay systems using approximate bisimulations ⋮ Specifications for decidable hybrid games ⋮ Bisimilarity enforcing supervisory control for deterministic specifications ⋮ A modal characterization of alternating approximate bisimilarity ⋮ An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications ⋮ Control synthesis for stochastic systems given automata specifications defined by stochastic sets ⋮ Time-constrained temporal logic control of multi-affine systems ⋮ Low-complexity quantized switching controllers using approximate bisimulation ⋮ Guaranteed global performance through local coordinations ⋮ Hierarchical Hybrid Symbolic Robot Motion Planning and Control ⋮ Symbolic control design of nonlinear systems with outputs ⋮ Approximately bisimilar symbolic models for nonlinear control systems ⋮ Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes ⋮ Temporal logic motion planning for dynamic robots ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Robustly complete finite-state abstractions for verification of stochastic systems

This page was built for publication: Linear Time Logic Control of Discrete-Time Linear Systems