It has been widely recognized nowadays the importance of introducing mathematical
models that take into account possible sudden changes in the dynamical behavior of a high …

Safety critical and high-integrity systems, such as industrial plants and economic systems
can be subject to abrupt changes-for instance due to component or interconnection failure …

This paper introduces a class of stochastic hybrid models for the analysis of closed-loop
control systems implemented with NASA's Recoverable Computer System (RCS). Such …

It has been observed that atmospheric neutrons can produce single-event upsets in digital
flight control hardware. Potentially, they can reduce system performance and introduce a …

The main goal of this paper is to describe and validate a specific hybrid dynamical model for
NASA's recoverable computer system subjected to simulated random upsets. The system is …

A control system with a fault recovery mechanism in the feedback loop and with faults
occurring in a non-deterministic manner can be modeled as a class of hybrid systems, ie, a …

This paper addresses the asymptotic and mean square stability of a class of linear stochastic
hybrid systems. The systems of interest are composed of a high-level supervisor that drives …

Safety-critical, real-time applications make use of fault-tolerant digital control systems to
achieve their performance goals. Even though these digital control systems are fault …

The behavior of a general hybrid system in discrete-time can be represented by a nonlinear
difference equation x (k+ 1)= F k (x (k), thetas (k)), where thetas (k) is assumed to be a finite …

This paper analyzes the stability of hierarchical jump linear systems where the supervisor is
driven by a Markovian stochastic process and by the values of the supervised jump linear …