Linear Time Logic Control of Discrete-Time Linear Systems
From MaRDI portal
Publication:5281987
DOI10.1109/TAC.2006.886494zbMATH Open1366.93413DBLPjournals/tac/TabuadaP06WikidataQ57582026 ScholiaQ57582026MaRDI QIDQ5281987FDOQ5281987
Authors: George Pappas, Paulo Tabuada 
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Discrete-time control/observation systems (93C55) Automated systems (robots, etc.) in control theory (93C85)
Cited In (38)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
- An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
- Robustly complete finite-state abstractions for verification of stochastic systems
- Quantitative Model Checking for a Controller Design
- Hierarchical hybrid symbolic robot motion planning and control
- Cooperative tasking for deterministic specification automata
- Approximately bisimilar symbolic models for nonlinear control systems
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Controller synthesis for safety and reachability via approximate bisimulation
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Time-constrained temporal logic control of multi-affine systems
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Low-complexity quantized switching controllers using approximate bisimulation
- Title not available (Why is that?)
- Bisimilarity enforcing supervisory control for deterministic specifications
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- Guaranteed global performance through local coordinations
- Formal controller synthesis from specifications given by discrete-time hybrid automata
- Symbolic models for control systems
- Temporal logic motion planning for dynamic robots
- A modal characterization of alternating approximate bisimilarity
- Model-based reinforcement learning for approximate optimal control with temporal logic specifications
- Optimal mixed discrete-continuous planning for linear hybrid systems
- Symbolic abstractions for nonlinear control systems via feedback refinement relation
- Symbolic control design of nonlinear systems with outputs
- Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets
- Specifications for decidable hybrid games
- Automated generation of dynamics-based runtime certificates for high-level control
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning
- Title not available (Why is that?)
- A constructive approach to reachability realization of discrete-time switched linear systems
- Finite abstraction of mixed monotone systems with discrete and continuous inputs
- A bounded model checking technique for discrete-time nonlinear systems
- Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes
This page was built for publication: Linear Time Logic Control of Discrete-Time Linear Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5281987)
