Stochastic hybrid systems have received significant attentions as a relevant modeling
framework describing many systems, from engineering to the life sciences: they enable the …

The standard way of applying particle filtering to stochastic hybrid systems is to make use of
hybrid particles, where each particle consists of two components, one assuming Euclidean …

Standard algorithms in tracking and other state-space models assume identical and
synchronous sampling rates for the state and measurement processes. However, real …

We propose a discrete-time model for a stochastic hybrid system (SHS) in which the
continuous state evolution is described by stochastic difference equations and the discrete …

Hybrid systems consist of both continuous state evolutions and discrete state (or mode)
transitions. In many hybrid systems, mode transitions are governed by guard conditions that …

Many state estimation and control algorithms require knowledge of how probability
distributions propagate through dynamical systems. However, despite hybrid dynamical …

The state space representation of active resident space objects can be posed in the form of
a stochastic hybrid system. Satellite maneuvers may be accounted for according to control …

Target tracking is an element of systems that performs tasks such as surveillance,
navigation, aviation and obstacle avoidance. It is generally difficult to represent different …

Numerous satellites with electric propulsion perform long duration maneuvers during their
orbit acquisition phase. This poses a challenge to space object cataloging activities if no …

Abstract We introduce Runtime Verification with Particle Filtering (RVPF), a powerful and
versatile method for controlling the tradeoff between uncertainty and overhead in runtime …