Finite abstractions with robustness margins for temporal logic-based control synthesis
From MaRDI portal
(Redirected from Publication:313326)
Recommendations
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Robust control for signal temporal logic specifications using discrete average space robustness
- Robust abstractions for control synthesis: completeness via robustness for linear-time properties
- On synthesizing robust discrete controllers under modeling uncertainty
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
Cites work
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- scientific article; zbMATH DE number 2209335 (Why is no real title available?)
- A Control-Oriented Notion of Finite State Approximation
- A Framework for Robust Stability of Systems Over Finite Alphabets
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- A Lyapunov approach to incremental stability properties
- A symbolic approach to the design of nonlinear networked control systems
- Abstracting and refining robustness for cyber-physical systems
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Approximation Metrics for Discrete and Continuous Systems
- Computing Abstractions of Nonlinear Systems
- Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis
- Forward completeness, unboundedness observability, and their Lyapunov characterizations
- Introduction to functional differential equations
- Limited-information control of hybrid systems via reachable set propagation
- Linear Time Logic Control of Discrete-Time Linear Systems
- On synthesizing robust discrete controllers under modeling uncertainty
- Receding Horizon Temporal Logic Planning
- Robust discrete synthesis against unspecified disturbances
- Robustness of temporal logic specifications for continuous-time signals
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
- Synthesis of Reactive(1) designs
- Temporal logic motion planning for dynamic robots
- Verification and Control of Hybrid Systems
Cited in
(15)- Abstraction-based synthesis for stochastic systems with omega-regular objectives
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
- Robust control for signal temporal logic specifications using discrete average space robustness
- Robust stutter bisimulation for abstraction and controller synthesis with disturbance
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- Automated formal synthesis of provably safe digital controllers for continuous plants
- Formal controller synthesis from specifications given by discrete-time hybrid automata
- Flexible computational pipelines for robust abstraction-based control synthesis
- Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- Refinements of behavioural abstractions for the supervisory control of hybrid systems
This page was built for publication: Finite abstractions with robustness margins for temporal logic-based control synthesis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q313326)
