We introduce a novel framework for the stability analysis of discrete-time linear switching
systems with switching sequences constrained by an automaton. The key element of the …

Many cyber-physical systems can naturally be formulated as switched systems with
constrained switching. This includes systems where one of the signals in the feedback loop …

This paper presents a new robust data-driven predictive control scheme for unknown linear
time-invariant systems by using input-state-output or input-output data based on whether the …

In this note, a novel conception called virtual clock, which is defined by an artificial timer over
a finite cycle, is introduced for stability analysis of discrete-time switched linear systems …

This paper presents novel stabilizability conditions for switched linear systems with arbitrary
and uncontrollable underlying switching signals. We distinguish and study two particular …

We study optimization-based criteria for the stability of switching systems, known as path-
complete Lyapunov functions, and ask the question “can we decide algorithmically when a …

We propose a novel framework for the Lyapunov analysis of an important class of hybrid
systems, inspired by the theory of symbolic dynamics and earlier results on the restricted …

This letter studies the feedback stabilization problem for a class of discrete-time switched
systems. The goal is the design, via semidefinite optimization techniques, of feedback …

Abstract Inspired by Switching Systems and Automata theory, we investigate how
combinatorial analysis techniques can be performed on a hybrid automaton in order to …

A Path-Complete Lyapunov Function is an algebraic criterion composed of a finite number of
functions, called pieces, and a directed, labeled graph defining Lyapunov inequalities …