Deadlock-free output feedback controller design based on approximately abstracted observers
From MaRDI portal
Publication:1730325
DOI10.1016/j.nahs.2018.04.001zbMath1408.93062OpenAlexW2800504457WikidataQ129882692 ScholiaQ129882692MaRDI QIDQ1730325
Masashi Mizoguchi, Toshimitsu Ushio
Publication date: 6 March 2019
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.nahs.2018.04.001
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
BOCoSy: Small but Powerful Symbolic Output-Feedback Control ⋮ Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications ⋮ A novel general stability criterion of time-delay fractional-order nonlinear systems based on will deduction method ⋮ Learning-based symbolic abstractions for nonlinear control systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Approximate bisimulation: a bridge between computer science and control theory
- Approximately bisimilar symbolic models for nonlinear control systems
- A Notion of Robustness for Cyber-Physical Systems
- Towards Robustness for Cyber-Physical Systems
- An Input-Output Construction of Finite State <inline-formula> <tex-math notation="TeX">$\rho/\mu$</tex-math></inline-formula> Approximations for Control Design
- Control for Safety Specifications of Systems With Imperfect Information on a Partial Order
- A symbolic approach to the design of nonlinear networked control systems
- Abstracting and refining robustness for cyber-physical systems
- Estimator-based reactive synthesis under incomplete information
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
- Verification and Control of Hybrid Systems
- Output Observability of Systems Over Finite Alphabets With Linear Internal Dynamics
- An Approximate Simulation Approach to Symbolic Control
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximation Metrics for Discrete and Continuous Systems
- A Control-Oriented Notion of Finite State Approximation
- Algorithms for Omega-Regular Games with Imperfect Information
This page was built for publication: Deadlock-free output feedback controller design based on approximately abstracted observers
