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

DOI10.1109/TAC.2020.2975812MaRDI QIDQ5853946zbMATH OpenOpenAlexFDO

Authors Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani

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)

Cited in

(12)

• 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
• Abstraction-based synthesis for stochastic systems with omega-regular objectives
• Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
• Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
• Abstraction for Stochastic Systems by Erlang’s Method of Stages
• Compositional Construction of Approximate Abstractions of Interconnected Control Systems
• Unsafe probabilities and risk contours for stochastic processes using convex optimization
• Sum-of-squares certificates for almost-sure reachability of stochastic polynomial systems
• Compositional performance certification of interconnected systems using ADMM

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5853946)