Almost Sure Stabilization of Continuous-Time Semi-Markov Jump Systems via an Earliest Deadline First Scheduling Controller

This article addresses the almost surely exponential (ASE) stabilization problem of continuous-time semi-Markov jump systems (s-MJSs) by a stochastic scheduling controller. A scheduling control method based on an earliest deadline first (EDF) algorithm is proposed, where the blank time (no controller added) could exist but be smaller. Sufficient conditions for the existence of such a scheduling controller are given with solvable forms. Two special situations on Markovian and renewal process switchings are further investigated. The utility and superiority of the given methods are shown by applying a practical example.