In this work, probabilistic reachability over a finite horizon is investigated for a class of
discrete time stochastic hybrid systems with control inputs. A suitable embedding of the …

This paper is about state estimation for uncertain continuous-time systems. We introduce a
method for designing interval observers that ensures guaranteed bounds on the estimated …

… In this context, a set of possible estimates of the parameters may be determined (approximated
by, eg vector intervals, ellipsoids, or zonotopes), and diagnosis can then be achieved by …

In this paper, we address the problem of local search for the falsification of hybrid automata
with affine dynamics. Namely, given a sequence of locations and a maximum simulation time…

This paper deals with fault diagnosis for a class of nonlinear continuous-time systems based
on an interval extension of continuous-time parity equations. The parity equations are …

Fault diagnosis involves the detection, location and identification of faults. The objective of
this work is detection of faults in a synchronous generator (SG) using the parity space …

A novel descriptor observer structure is proposed in the context of discrete-time descriptor
linear systems. On the basis of this new structure, the characterization of conditioned-invariant …

By the thrust ability diagram of the dynamic positioning vessel we mean the set of all 3-dimensional
vectors (F X , F Y , M Z ) constituted by surge and sway forces and the rotating yaw …

… Some of the more recent proposals include the zonotope [66], slab cut ball (SCB) [67], and
velocity-aligned discrete oriented polytope (VADOP) [26]. Since it has been shown that the …

To enable formal verification of a dynamical system, given by a set of differential equations,
it is abstracted by a finite state model. This allows for application of methods for model …