Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs
Abstract
References
- Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs
Recommendations
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes
HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)This paper is concerned with a compositional approach for constructing finite Markov decision processes of interconnected discrete-time stochastic control systems. The proposed approach leverages the interconnection topology and a notion of so-called ...
Compositional construction of infinite abstractions for networks of stochastic control systems
AbstractThis paper is concerned with a compositional approach for constructing infinite abstractions of interconnected discrete-time stochastic control systems. The proposed approach uses the interconnection matrix and joint dissipativity-type ...
Compositional finite abstractions for large-scale stochastic switched systems
SNR '19: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoTIn this paper, we provide for the first time a compositional methodology for the construction of finite MDPs for networks of stochastic switched systems. The proposed technique leverages sufficient small-gain type conditions to establish the ...
Comments
Information & Contributors
Information
Published In
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Poster
- Research
- Refereed limited
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 107Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in