In this work, we propose a compositional framework for the construction of control barrier
functions for networks of continuous-time stochastic hybrid systems enforcing complex logic …

In this letter, we propose a compositional framework for the construction of control barrier
certificates for large-scale stochastic switched systems accepting multiple control barrier …

This paper addresses the design of safety certificates for stochastic systems, with a focus on
ensuring long-term safety through fast real-time control. In stochastic environments, set …

Hyperproperties are system properties that require quantification over multiple execution
traces of a system. Hyperproperties can express several specifications of interest for cyber …

In this paper, we propose a compositional framework for the construction of control barrier
functions for networks of continuous-time stochastic control systems. The proposed scheme …

Synthesis of controllers for stochastic control systems ensuring safety constraints has gained
considerable attention in the last few years. In this paper, we consider the problem of …

Hyperproperties are system properties that require quantification over multiple execution
traces of a system. Hyperproperties can express several specifications of interest for cyber …

Research problems studied in classical control theory usually involve checking complex
continuousspace mathematical models against simple properties such as stability or …

Recent employments of SMT solvers within the Lyapunov function synthesis provided
effective tools for automated construction of Lyapunov functions alongside with sound …

This dissertation is concerned with the formal analysis of complex control systems via
inductive approaches using barrier certificates. In general, safety-critical applications such …