From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems

DOI10.1109/TAC.2022.3159190MaRDI QIDQ6075988zbMATH OpenOpenAlexFDO

Authors Abolfazl Lavaei, Majid Zamani

Publication date 21 September 2023

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

Full work available at URL https://doi.org/10.1109/tac.2022.3159190

zbMATH Keywords

compositional synthesisdwell-timefinite Markov decision processeslarge-scale stochastic switched systemsmultiple storage functionsmultiple supply rates

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Cited in

(9)

• Automated verification and synthesis of stochastic hybrid systems: a survey
• Finite-step approximately bi-similar symbolic model for switched systems
• Finite-step alternating approximately bi-similar symbolic model for Markov jump systems
• A dissipativity-based iterative learning control framework for first-order hyperbolic systems
• Context-triggered games for reactive synthesis over stochastic systems via control barrier certificates
• Abstraction-based synthesis of stochastic hybrid systems
• Efficient strategy synthesis for switched stochastic systems with distributional uncertainty
• Compositional abstraction synthesis for interconnected switched systems with incrementally non-passive modes
• Iterative learning control for parabolic PDE systems via dissipativity analysis

This page was built for publication: From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems

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