Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems

DOI10.1109/TAC.2020.2975812OpenAlexW3007404411MaRDI QIDQ5853946

Sadegh Soudjani, Majid Zamani, Abolfazl Lavaei

Publication date: 12 March 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1808.00893

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (5)

Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach ⋮ Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations ⋮ Compositional construction of control barrier functions for continuous-time stochastic hybrid systems ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations

This page was built for publication: Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems