Finite abstractions with robustness margins for temporal logic-based control synthesis
From MaRDI portal
Publication:313326
DOI10.1016/J.NAHS.2016.02.002zbMATH Open1344.93046OpenAlexW2305588532MaRDI QIDQ313326FDOQ313326
Publication date: 9 September 2016
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.nahs.2016.02.002
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
Sensitivity (robustness) (93B35) Synthesis problems (93B50) Adaptive control/observation systems (93C40) Control/observation systems with incomplete information (93C41) Sampled-data control/observation systems (93C57)
Cites Work
- Introduction to functional differential equations
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- A Lyapunov approach to incremental stability properties
- On synthesizing robust discrete controllers under modeling uncertainty
- Verification and Control of Hybrid Systems
- Title not available (Why is that?)
- Forward completeness, unboundedness observability, and their Lyapunov characterizations
- Approximately bisimilar symbolic models for nonlinear control systems
- Approximation Metrics for Discrete and Continuous Systems
- A Framework for Robust Stability of Systems Over Finite Alphabets
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Temporal logic motion planning for dynamic robots
- Robust discrete synthesis against unspecified disturbances
- A symbolic approach to the design of nonlinear networked control systems
- Limited-information control of hybrid systems via reachable set propagation
- Abstracting and refining robustness for cyber-physical systems
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
- Synthesis of Reactive(1) designs
- Linear Time Logic Control of Discrete-Time Linear Systems
- Computing Abstractions of Nonlinear Systems
- Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Receding Horizon Temporal Logic Planning
- A Control-Oriented Notion of Finite State Approximation
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
- Title not available (Why is that?)
- Robustness of temporal logic specifications for continuous-time signals
Cited In (13)
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Abstraction-based synthesis for stochastic systems with omega-regular objectives
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
- 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
- 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
Uses Software
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)
