Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book focuses on the observability of hybrid systems. It enables the reader to determine whether and how a hybrid system's state can be reconstructed from sometimes necessarily partial information. By explaining how available measurements can be used to deduce past and future behaviours of a system, the authors extend this study of observability to embrace the properties of diagnosability and predictability.H-systemsshows how continuous and discrete dynamics and their interaction affect the observability of this general class of hybrid systems and demonstrates that hybrid characteristics are not simply generalizations of well-known aspects of traditional dynamics. The authors identify conditions for state reconstruction, prediction and diagnosis of the occurrence of possibly faulty states. The formal approach to proving those properties for hybrid systems is accompanied by simple illustrative examples. For readers who are interested in the use of state estimation for controller design, the book also provides design methods for hybrid state observers and covers their application in some industrial cases.The book's tutorial approach to the various forms of observability of hybrid systems helps to make H-systemsof interest to academic researchers and graduate students working in control and to practitioners using control in an industrial environment.

Hybrid systems. --- Dynamic systems, Hybrid --- Hybrid dynamic systems --- System theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arithmetic to enclose the measurement in a bounded error sense. The developed methods are proven mathematically to provide a reliable verification for a wide class of safety critical systems.

Electrical engineering --- Verifikation --- Dynamische Systeme --- Intervall Arithmetik --- Diagnose --- Bounded Error --- Verification --- Dynamic Systems --- Interval Arithmetic --- Diagnosis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Fractales --- Fractals --- Fractals. --- #WBIB:dd.Lic.L.De Busschere --- 517.987 --- Measures. Representations of Boolean algebras. Metric theory of dynamic systems --- 517.987 Measures. Representations of Boolean algebras. Metric theory of dynamic systems

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Differential geometry. Global analysis --- Differentiable dynamical systems. --- Dynamique différentiable --- Dynamique différentiable --- Dynamic systems --- Differentiable dynamical systems --- Systèmes dynamiques

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

System identification --- Systèmes, Identification des --- System identification. --- Systèmes, Identification des --- EXPERIMENTAL DATA --- MATHEMATICAL MODELS --- SIGNALS --- Dynamic systems --- Monograph --- Mathematical models. --- Models, Mathematical --- Simulation methods --- Systèmes, Théorie des