Abstract The framework of Linear Parameter Varying (LPV) systems concerns linear
dynamical systems whose state-space representations depend on exogenous nonstationary …

Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and
control theory towards designing safety-critical systems. Instead of following the time-tested …

This paper concerns the asynchronously switched control problem for a class of switched
linear systems with average dwell time (ADT) in both continuous-time and discrete-time …

This paper is concerned with H∞ filtering for a class of switched linear systems in discrete-
time domain. A more general class of switching signals, the persistent dwell-time (PDT) …

Switched dynamical systems can be found in many practical electronic circuits, such as
various kinds of power converters, chaos generators, etc. This paper is concerned with the …

In this paper we consider the class of discrete-time switched systems switching between p
autonomous positive subsystems. First, sufficient conditions for testing stability, based on the …

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 …

In this note, the model reduction problem for a class of discrete-time switched linear
parameter varying systems under average dwell time switching is investigated. A …

This paper investigates the secure state estimation problem for cyber–physical systems
(CPSs) under sparse actuator and sensor attacks. By introducing the notion of orthogonal …

We introduce the framework of path-complete graph Lyapunov functions for approximation
of the joint spectral radius. The approach is based on the analysis of the underlying switched …