Deadlock-free output feedback controller design based on approximately abstracted observers
type: Item
instance of: scholarly article
title: Deadlock-free output feedback controller design based on approximately abstracted observers
zbMATH Open document ID: 1408.93062
author: Masashi Mizoguchi
author: Toshimitsu Ushio
published in: Nonlinear Analysis. Hybrid Systems
publication date: 2019-03-06T00:00:00Z
Mathematics Subject Classification ID: 93B52
Mathematics Subject Classification ID: 93B50
Mathematics Subject Classification ID: 93A30
Mathematics Subject Classification ID: 93B07
zbMATH DE Number: 7032447
zbMATH Keywords: symbolic control
zbMATH Keywords: abstraction
zbMATH Keywords: observer
zbMATH Keywords: alternating simulation relation
zbMATH Keywords: approximate contractive relation
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: j.nahs.2018.04.001
OpenAlex ID: W2800504457
cites work: Q3224358
cites work: Verification and Control of Hybrid Systems
cites work: Q3992568
cites work: Approximation Metrics for Discrete and Continuous Systems
cites work: Approximate bisimulation: a bridge between computer science and control theory
cites work: Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
cites work: Approximately bisimilar symbolic models for nonlinear control systems
cites work: An Approximate Simulation Approach to Symbolic Control
cites work: Q5692280
cites work: Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
cites work: A symbolic approach to the design of nonlinear networked control systems
cites work: Abstracting and refining robustness for cyber-physical systems
cites work: A Notion of Robustness for Cyber-Physical Systems
cites work: Towards Robustness for Cyber-Physical Systems
cites work: Algorithms for Omega-Regular Games with Imperfect Information
cites work: Estimator-based reactive synthesis under incomplete information
cites work: Control for Safety Specifications of Systems With Imperfect Information on a Partial Order
cites work: A Control-Oriented Notion of Finite State Approximation
cites work: An Input-Output Construction of Finite State $\rho/\mu$ Approximations for Control Design
cites work: Output Observability of Systems Over Finite Alphabets With Linear Internal Dynamics
Wikidata QID: Q129882692
DOI: 10.1016/J.NAHS.2018.04.001
Recommended article: On abstraction-based controller design with output feedback
Recommended article: Output dead-beat controllers and function dead-beat observers for linear periodic discrete-time systems†
Recommended article: Output deadbeat control using state feedback of discrete-time multivariable systems
Recommended article: Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
Recommended article: Deadbeat algorithms for output controllers in discrete-time multivariable systems
Recommended article: Output feedback stabilization of bilinear systems using dead-beat observers
Recommended article: Output feedback control for constrained pure-feedback systems: a non-recursive and transformational observer based approach
Recommended article: Observer-based output feedback controller design of piecewise discrete-time linear systems
Recommended article: Observer based output feedback control of linear systems with input and output delays
Recommended article: Observer-based output feedback control of discrete-time linear systems with input and output delays
description: scientific article; zbMATH DE number 7032447