Reachability analysis consists in computing the set of states that are reachable by a
dynamical system from all initial states and for all admissible inputs and parameters. It is a …

In recent years, cyber-physical systems (CPS) have been to many vital areas, including
medical devices, smart cars, industrial systems, energy grid, etc. As these systems …

This paper is concerned with the distributed set-membership filtering problem for a class of
general discrete-time nonlinear systems under event-triggered communication protocols …

This paper investigates interval estimation methods for discrete-time linear time-invariant
systems. We propose a novel interval estimation method by integrating robust observer …

The surge of interest in applications of deep neural networks has led to a surge of interest in
verification methods for such architectures. In summer 2020, the first international …

In this paper, the zonotopic state estimation is investigated for discrete-time switched
positive systems under asynchronism. Taking into account the particularity of the positive …

We introduce sparse polynomial zonotopes, a new set representation for formal verification
of hybrid systems. Sparse polynomial zonotopes can represent nonconvex sets and are …

This paper studies the set-membership state estimation (SMSE) problem for a class of
complex networks under the event-triggered mechanism, where the external unknown-but …

This paper presents methods for using zonotopes and constrained zonotopes to improve the
practicality of a wide variety of set-based operations commonly used in control theory. The …

This paper considers the problem of set-membership estimation for discrete-time linear time-
varying descriptor systems subject to unknown but bounded disturbance and noise. We …