Industrial processes are hybrid systems, when they involve both discrete and continuous
variables. Discrete variables contain valuable and easily comprehensible information …

This paper proposes a method to track the system mode and diagnose a hybrid system
without building an entire diagnoser off-line. The method is supported by a hybrid automaton …

In this work a mathematical model to simulate malware spreading is proposed. Specifically,
it is an individual-based model whose dynamic is governed by means of a particular type of …

This work proposes a common framework for Fault Detection and Isolation of discrete and
parametric faults in hybrid systems using Hybrid Possible Conflicts, HPCs. Fault detection is …

近年来, 随着计算能力的不断提高, 数据驱动的建模方法受到了广泛的关注,
对单模式系统进行定量分析的建模方法获得了诸多研究. 然而, 实际应用中大多数系统为多模式 …

Structural diagnosability analysis relies on determining over-constrained subsystems in the
system model, which allow to detect and isolate faults. One way to find such subsystems is to …

This chapter focuses on the use of the hybrid automaton framework to develop a method for
diagnosing hybrid systems. A hybrid automaton models the behavior of the system through a …

Model-based fault isolation and identification in hybrid systems is computationally expensive
or even unfeasible for complex systems due to the presence of uncertainty concerning the …

Consistency-based diagnosis is a model-based diagnosis approach for the artificial
intelligence community which relies upon models of correct behaviour and allows automatic …

Abstract Possible Conflicts (PCs) are those minimally redundant subsystems, computed
offline, that can be used for consistency-based diagnosis of physical systems. In this work …