In this paper we propose a novel automaton-based architecture to build a diagnoser, based on which an efficient distributed diagnostic method consisting of local computation and communication is presented. The method proposed here is highly scalable and robust to partial failures of the overall diagnoser.
This paper applies a known approach for approximating controlled stochastic diffusion to hybrid systems. Stochastic hybrid systems are approximated by locally consistent Markov decision processes that preserve local mean and covariance. A randomized switching policy is introduced for approximating the dynamics on the switching boundaries. The validity of… (More)
Modelling and analysis of biochemical systems such as sugar cataract development (SCD) are critical because they can provide new insights into systems, which cannot be easily tested with experiments; however, they are challenging problems due to the highly coupled chemical reactions that are involved. The authors present a stochastic hybrid system (SHS)… (More)
Modeling and analysis of chemical reactions are critical problems because they can provide new insights into the complex interactions between systems of reactions and chemicals. One such set of chemical reactions defines the creation of biodiesel from soybean oil and methanol. Modeling and analyzing the biodiesel creation process is a challenging problem… (More)
Fault detection and isolation is a key component of any safety-critical system. Although diagnosis methods based on discrete event systems have been recognized as a promising framework, they cannot be easily applied to systems with complex continuous dynamics. This paper presents a novel approach for discrete event system diagnosis of continuous systems… (More)
Stochastic hybrid system models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of safety properties of such systems is a critical problem because of the interaction between the discrete and continuous stochastic dynamics. In this paper, we propose a probabilistic method… (More)
This paper presents a novel framework for hierarchical control of piecewise linear hybrid dynamical systems. The main characteristic of this class of hybrid systems is that the continuous dynamics are described by linear difference equations, the discrete dynamics by finite automata, and the interaction between the continuous and the discrete part is… (More)