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 …

A multiagent system should be capable of fast and flexible decision-making to successfully
manage the uncertainty, variability, and dynamic change encountered when operating in the …

An approach for formally verifying the safety of automated vehicles is proposed. Due to the
uniqueness of each traffic situation, we verify safety online, ie, during the operation of the …

The interconnection between two (or more) physical systems is always accompanied by
transfer phenomena (material, energy, information) such as transport and propagation …

It is becoming increasingly clear that bistability (or, more generally, multistability) is an
important recurring theme in cell signaling. Bistability may be of particular relevance to …

We study the stability properties of linear time-varying systems in continuous time whose
system matrix is Metzler with zero row sums. This class of systems arises naturally in the …

Lyapunov's second theorem is an essential tool for stability analysis of differential equations.
The paper provides an analog theorem for incremental stability analysis by lifting the …

We provide a review of recent work on formal methods for autonomous driving. Formal
methods have been traditionally used to specify and verify the behavior of computer …

The region of attraction of the Lyapunov asymptotic stability at the origin is defined to be a
ball centered at the origin, which is clearly simply connected and also bounded in the local …

Stabilization and optimal control is studied for state space systems with nonnegative
coefficients (positive systems). In particular, we show that a stabilizing distributed feedback …