Cascading failures in complex networks have attracted widespread attention in recent years.
In this paper, a cascade model is proposed to analyze the potential overloads of nodes and …

We consider the problem of enforcing safety in multi‐input systems with distinct input delays
via the use of Control Barrier Functions (CBFs). For systems with input delay (s), a popular …

In this paper, we develop safe reinforcement-learning-based controllers for systems tasked
with accomplishing complex missions that can be expressed as linear temporal logic …

Decision analysis and risk analysis have grown up around a set of organizing questions:
what might go wrong, how likely is it to do so, how bad might the consequences be, what …

Decision analysis and risk analysis have grown up around a set of organizing questions:
what might go wrong, how likely is it to do so, how bad might the consequences be, what …

Traffic circles, also known as roundabouts, are a modern way to improve traffic situations
and in particular, the traffic flow which leads to a decrease in the number of accidents and air …

Autonomous systems gain more and more interest in research and society. However, they
bring new challenges in safeguarding these systems. This contribution orders those new …

The ubiquity of dynamical systems in society has brought the subject matter of their safety to
the fore. From small personal drones to autonomous vehicles and jumbo jets, the safety of …