Compositional Verification of Continuous-Discrete Systems

Huuck, Ralf; Lukoschus, Ben; Frehse, Goran; Engell, Sebastian

doi:10.1007/3-540-45426-8_13

Search citation statements

Order By: Relevance

Paper Sections

Select...

Discrete State Automaton1

Citation Types

Supporting

Mentioning

Contrasting

Publication Types

Select...

Book2

Article1

Other1

Relationship

Self Cite0

Independent4

Authors

Journals

Cited by 4 publications

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The proposed discrete state automaton is a graphic description of a sequence of events changing the dynamical behavior of the HDS system [23].…”

Section: Discrete State Automatonmentioning

confidence: 99%

Fault diagnosis for hybrid systems based on a bank of linear observers and a discrete automaton

Gara

Saad

2020

SN Appl. Sci.

View full text Add to dashboard Cite

This paper presents a fault diagnosis approach for a four-tank system considered as a hybrid dynamical system. The proposed diagnosis approach is based on a hybrid observer composed of a discrete automaton and a bank of linear observers. An automaton is used to improve the performance of the proposed method. For this study, we considered sensor, parametric and discrete faults. Simulation results showed the efficiency of the proposed diagnosis approach to detect and to localize the considered faults, despite the hybrid behaviors of the studied system.

show abstract

“…The proposed discrete state automaton is a graphic description of a sequence of events changing the dynamical behavior of the HDS system [23].…”

Section: Discrete State Automatonmentioning

confidence: 99%