3 papers
eess.SY2020
Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
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 log…
eess.SY2020
Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach
Ameneh Nejati, Majid Zamani
This paper provides a compositional scheme based on dissipativity approaches for constructing finite abstractions of continuous-time continuous-space stochastic control systems. Th…
eess.SY2020
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
In this paper, we propose a compositional framework for the construction of control barrier certificates for large-scale stochastic switched systems accepting multiple control barr…