Finite abstractions with robustness margins for temporal logic-based control synthesis
From MaRDI portal
Publication:313326
DOI10.1016/j.nahs.2016.02.002zbMath1344.93046OpenAlexW2305588532MaRDI QIDQ313326
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
Sensitivity (robustness) (93B35) Control/observation systems with incomplete information (93C41) Adaptive control/observation systems (93C40) Sampled-data control/observation systems (93C57) Synthesis problems (93B50)
Related Items (11)
Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives ⋮ Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability ⋮ Abstraction-based synthesis for stochastic systems with omega-regular objectives ⋮ 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 stutter bisimulation for abstraction and controller synthesis with disturbance ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Automated formal synthesis of provably safe digital controllers for continuous plants ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Synthesis of Reactive(1) designs
- Robustness of temporal logic specifications for continuous-time signals
- Approximately bisimilar symbolic models for nonlinear control systems
- Temporal logic motion planning for dynamic robots
- Introduction to functional differential equations
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Robust discrete synthesis against unspecified disturbances
- On synthesizing robust discrete controllers under modeling uncertainty
- 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
- Verification and Control of Hybrid Systems
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- A Framework for Robust Stability of Systems Over Finite Alphabets
- A Lyapunov approach to incremental stability properties
- Linear Time Logic Control of Discrete-Time Linear Systems
- Approximation Metrics for Discrete and Continuous 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
- Forward completeness, unboundedness observability, and their Lyapunov characterizations
This page was built for publication: Finite abstractions with robustness margins for temporal logic-based control synthesis
