We provide an exact solution to two performance problems-one of disturbance attenuation
and one of windowed variance minimization-subject to exponential stability. Considered are …

An essential introduction to the analysis and verification of control system software The
verification of control system software is critical to a host of technologies and industries, from …

This paper studies the problem of output regulation for a class of switched nonlinear
systems. Sufficient conditions for the problem to be solved are presented in terms of the …

This study considers the output regulation problem of switched discrete‐time linear systems
via dual design of error feedback and a switching law. The authors consider the case that …

The output regulation problem for a class of switched non-linear systems is addressed in this
study. First of all, the authors adopt the multiple Lyapunov function method to design a …

The problem of output regulation for a class of cascade switched nonlinear systems is
investigated in this paper. Sufficient conditions for the problem to be solvable are given …

This paper addresses the output regulation problem for switched linear systems. When each
regulation equation has their own solution, we give a sufficient condition for the output …

A receding-horizon-type LQG control problem for switched linear systems is proposed and
applied to the case of Markov switching. The objective is to determine a linear dynamic …

We address a discrete-time LQG control problem over a fixed performance window and
apply a receding-horizon type control strategy, resulting in an exact solution to the problem …

Among the various critical systems that are worth to be formally analyzed, a wide set
consists of controllers for dynamical systems. Those programs typically execute an infinite …