Output Observability of Systems Over Finite Alphabets With Linear Internal Dynamics
From MaRDI portal
Abstract: We consider a class of systems over finite alphabets with linear internal dynamics, finite-valued control inputs and finitely quantized outputs. We motivate the need for a new notion of observability and propose three new notions of output observability, thereby shifting our attention to the problem of state estimation for output prediction. We derive necessary and sufficient conditions for a system to be output observable, algorithmic procedures to verify these conditions, and a construction of finite memory output observers when certain conditions are met. We conclude with simple illustrative examples.
Recommendations
- Output observability of generalized linear systems
- Observability of linear systems with saturated outputs
- Output observers for linear infinite-dimensional control systems
- A Framework for Robust Stability of Systems Over Finite Alphabets
- scientific article; zbMATH DE number 6936858
- Partial observability of finite dimensional linear systems
- Finite-Time Stabilizability, Detectability, and Dynamic Output Feedback Finite-Time Stabilization of Linear Systems
- Observability of linear differential-algebraic systems: a survey
- Exact observability of diagonal systems with a finite-dimensional output operator
- Observability of linear discrete-time systems of algebraic and difference equations
Cited in
(4)- Deadlock-free output feedback controller design based on approximately abstracted observers
- Exact observability of diagonal systems with a finite-dimensional output operator
- BOCoSy: Small but Powerful Symbolic Output-Feedback Control
- Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications
This page was built for publication: Output Observability of Systems Over Finite Alphabets With Linear Internal Dynamics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4559500)
