This work shows an approach to achieve output consensus among heterogeneous agents in
a multi-agent environment where each agent is subject to input constraints. The …

We consider the problem of set invariance verification in black-box nonlinear systems
without analytic dynamical models. A data-driven set invariance verification approach …

In this letter, we consider the problem of invariant set computation for black-box switched
linear systems using merely a finite set of observations of system trajectories. In particular …

The potential offered by the abundance of sensors, actuators, and communications in the
Internet of Things (IoT) era is hindered by the limited computational capacity of local nodes …

Control Barrier Functions (CBF) have provided a very versatile framework for the synthesis
of safe control architectures for a wide class of nonlinear dynamical systems. Typically, CBF …

In this article, based on polynomial differential inclusions, we propose a heuristic iterative
approach for estimating the domains of attraction for nonpolynomial systems. First, we use …

We consider the problem of computing the maximal invariant set of discrete-time black-box
nonlinear systems without analytic dynamical models. Under the assumption that the system …

We study asymptotic stability of continuous-time systems with mode-dependent guaranteed
dwell time. These systems are reformulated as special cases of a general class of mixed …

For safety-critical systems, the safety constraints are required to be satisfied through control
design. To describe and apply system safety constraints, controlled invariant set (CIS) and …

We consider the problem of computing the maximal invariant set of discrete-time linear
systems subject to a class of non-convex constraints that admit quadratic relaxations. These …