Verification of Hyperproperties for Uncertain Dynamical Systems via Barrier Certificates

no code implementations • 12 May 2021 • Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

These verification conditions are then discharged by synthesizing so-called augmented barrier certificates, which provide certain safety guarantees for the underlying system.

Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against $ω$-Regular Specifications

no code implementations • 3 Mar 2021 • Mahathi Anand, Abolfazl Lavaei, Majid Zamani

This paper is concerned with a compositional scheme for the construction of control barrier certificates for interconnected discrete-time stochastic systems.

From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems

no code implementations • 18 Jan 2021 • Mahathi Anand, Abolfazl Lavaei, Majid Zamani

This paper is concerned with a compositional approach for the construction of control barrier certificates for large-scale interconnected stochastic systems while synthesizing hybrid controllers against high-level logic properties.