Output Observability of Systems Over Finite Alphabets With Linear Internal Dynamics

Fan, Donglei; Tarraf, Danielle C.

doi:10.1109/tac.2018.2793463

Cited by 4 publications

(2 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There is a rich history of output-feedback control design for continuous dynamical systems w.r.t. classical control objectives (such as stability or tracking) based on observer design [13,24], with recent extensions to systems with finite external alphabets [6] and estimator-based abstractions for control with partial-information [5,8,15]. In the context of temporal-logic control of finite-state systems, output-feedback control gives rise to games of incomplete information [3,5,19].…”

Section: Introductionmentioning

confidence: 99%

On Abstraction-Based Controller Design With Output Feedback

Majumdar¹,

Özay²,

Schmuck³

2020

Preprint

View full text Add to dashboard Cite

We consider abstraction-based design of output-feedback controllers for dynamical systems with a finite set of inputs and outputs against specifications in linear-time temporal logic. The usual procedure for abstraction-based controller design (ABCD) first constructs a finite-state abstraction of the underlying dynamical system, and second, uses reactive synthesis techniques to compute an abstract state-feedback controller on the abstraction. In this context, our contribution is two-fold: (I) we define a suitable relation between the original system and its abstraction which characterizes the soundness and completeness conditions for an abstract state-feedback controller to be refined to a concrete output-feedback controller for the original system, and (II) we provide an algorithm to compute a sound finite-state abstraction fulfilling this relation.Our relation generalizes feedback-refinement relations from ABCD with state-feedback. Our algorithm for constructing sound finitestate abstractions is inspired by the simultaneous reachability and bisimulation minimization algorithm of Lee and Yannakakis. We lift their idea to the computation of an observation-equivalent system and show how sound abstractions can be obtained by stopping this algorithm at any point. Additionally, our new algorithm produces a realization of the topological closure of the input/output behavior of the original system if it is finite-state realizable. Require2: EXP Γ ← ∅; 3: EXP X ← { H (c), q, c | q ∈ Cover ∧ c = q ∧ c ∩ X 0 ∅}; 4: EXP F ← ∅; 5: while EXP Γ { q, c | ∃ν . ν, q, c ∈ EXP X } do

show abstract

Section: Introductionmentioning

confidence: 99%

On Abstraction-Based Controller Design With Output Feedback

Majumdar¹,

Özay²,

Schmuck³

2020

Preprint

View full text Add to dashboard Cite

show abstract

“…There is a rich history of output-feedback control design for continuous dynamical systems w.r.t. classical control objectives (such as stability or tracking) based on observer design [13,25], with recent extensions to systems with finite external alphabets [6] and estimator-based abstractions for control with partial-information [5,8,16]. In the context of temporal-logic control of finite-state systems, output-feedback control gives rise to games of incomplete information [3,5,20].…”

mentioning

confidence: 99%

On abstraction-based controller design with output feedback

Majumdar

Özay

Schmuck

2020

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

View full text Add to dashboard Cite

We consider abstraction-based design of output-feedback controllers for dynamical systems with a finite set of inputs and outputs against specifications in linear-time temporal logic. The usual procedure for abstraction-based controller design (ABCD) first constructs a finite-state abstraction of the underlying dynamical system, and second, uses reactive synthesis techniques to compute an abstract state-feedback controller on the abstraction. In this context, our contribution is twofold: (I) we define a suitable relation between the original system and its abstraction which characterizes the soundness and completeness conditions for an abstract state-feedback controller to be refined to a concrete output-feedback controller for the original system, and (II) we provide an algorithm to compute a sound finite-state abstraction fulfilling this relation. Our relation generalizes feedback-refinement relations from ABCD with state-feedback. Our algorithm for constructing sound finite-state abstractions is inspired by the simultaneous reachability and bisimulation minimization algorithm of Lee and Yannakakis. We lift their idea to the computation of an observation-equivalent system and show how sound abstractions can be obtained by stopping this algorithm at any point. Additionally, our new algorithm produces a realization of the topological closure of the input/output behavior of the original system if it is finite-state realizable.

show abstract

A finite state output-feedback controller for constrained linear systems with quantized output

Fan

Tarraf

2016

2016 IEEE 55th Conference on Decision and Control (CDC)

View full text Add to dashboard Cite

Output Observability of Systems Over Finite Alphabets With Linear Internal Dynamics

Cited by 4 publications

References 23 publications

On Abstraction-Based Controller Design With Output Feedback

On Abstraction-Based Controller Design With Output Feedback

On abstraction-based controller design with output feedback

A finite state output-feedback controller for constrained linear systems with quantized output

Contact Info

Product

Resources

About