In this paper, we study the robustness of safety properties of a linear dynamical system with
respect to model uncertainties. Our paper involves three parts. In the first part, we provide …

Networked control systems (NCS) are widely used in real world applications because of
their advantages, such as remote operability and reduced installation costs. However, they …

In this work, we perform safety analysis of linear dynamical systems with uncertainties.
Instead of computing a conservative overapproximation of the reachable set, our approach …

Autonomous Systems offer hope towards moving away from mechanized, unsafe, manual,
often inefficient practices. The last decade has seen several small, but important, steps …

Zonotopes are a useful set representation for bounded time reach set computation of affine
hybrid systems because of their closure under Minkowski sum and matrix multiplication …

Computing reachable sets is a de facto approach used in many formal verification methods
for hybrid systems. But exact computation of the reachable set is an in-tractable problem for …

Due to various and complex phenomena in hybrid dynamical systems, the control of these
types of systems has faced a challenge. Space systems also have hybrid dynamics due to …

Computing reachable sets is a de facto approach used in many formal verification methods
for hybrid systems. But exact computation of the reachable set is an intractable problem for …

به دلیل وجود پدیده‌های مختلف و پیچیده در سیستم‌های دینامیکی هیبرید، امر کنترل این نوع از
سیستم‌ها با چالش مواجه شده است. سیستم‌های فضایی نیز به دلیل ماموریت‌ها و حالت‌های عملیاتی …‎