Filters








58,938 Hits in 6.1 sec

Compositional Abstraction for Stochastic Systems [chapter]

Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer
2009 Lecture Notes in Computer Science  
We propose to exploit three-valued abstraction to stochastic systems in a compositional way.  ...  We prove the correctness of our technique for parallel and symmetric composition and show that it yields lower bounds for minimal and upper bounds for maximal timed reachability probabilities.  ...  Interactive Markov chains, a formalism for compositional modeling systems embracing nondeterministic and stochastic behavior, have been thoroughly investigated in [12] .  ... 
doi:10.1007/978-3-642-04368-0_16 fatcat:v7h4hz7ahrhytanv2jxs4wussu

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

Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2020 arXiv   pre-print
We then construct infinite abstractions together with their corresponding stochastic simulation functions for a particular class of discrete-time nonlinear stochastic control systems.  ...  discrete-time stochastic systems.  ...  Compositional construction of infinite abstractions for interconnected discrete-time stochastic control systems is also proposed in [LSMZ17] .  ... 
arXiv:1808.00893v2 fatcat:hazbqzqrfjblfdxx54rrg4j7um

Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems [article]

Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 arXiv   pre-print
This paper is concerned with a compositional approach for constructing infinite abstractions of interconnected discrete-time stochastic control systems.  ...  In the first part of the paper, we derive dissipativity-type compositional reasoning for the quantification of the distance in probability between the interconnection of stochastic control subsystems and  ...  Compositional (in)finite abstractions for large-scale interconnected stochastic systems using small-gain type conditions are proposed in [LSZ18a] .  ... 
arXiv:1801.10505v2 fatcat:o3pdlu4u2nbs5h3esfpgoyelb4

Compositional Abstractions for Long-Run Properties of Stochastic Systems

Michael J.A. Smith
2011 2011 Eighth International Conference on Quantitative Evaluation of SysTems  
Stochastic process algebras help us to answer this sort of question by building a compositional model of the system, and using tools to analyse its underlying Markov chain.  ...  Because of this, we look for abstraction techniques that allow us to analyse a smaller model that safely bounds the properties of the original.  ...  ACKNOWLEDGEMENTS We would like to thank Jane Hillston, Joost-Pieter Katoen, and Perdita Stevens for their many insightful comments and feedback on the work in this paper.  ... 
doi:10.1109/qest.2011.37 dblp:conf/qest/Smith11a fatcat:xv2hzmd7tnbxvft2lgrftmvsk4

Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems [article]

Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 arXiv   pre-print
In this paper, we provide a compositional approach for constructing finite abstractions (a.k.a. finite Markov decision processes (MDPs)) of interconnected discrete-time stochastic switched systems.  ...  We also propose an approach to construct finite MDPs for a particular class of nonlinear stochastic switched systems.  ...  Compositional Abstractions of Interconnected Switched Systems.  ... 
arXiv:1912.11481v1 fatcat:cfsmqwa7ojhw3o3pdkwbkrqqxq

Compositional construction of finite state abstractions for stochastic control systems

Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar
2017 2017 IEEE 56th Annual Conference on Decision and Control (CDC)  
Given a network of stochastic control systems, we give conditions on the simultaneous existence of disturbance bisimilar abstractions to every component allowing for compositional abstraction of the network  ...  We have recently introduced a new relation, called (approximate) disturbance bisimulation for compositional symbolic abstraction to help scale controller synthesis for temporal logic to larger systems.  ...  Our results relate to recent results in [13] on compositional abstraction for stochastic systems.  ... 
doi:10.1109/cdc.2017.8263720 dblp:conf/cdc/MallikSSM17 fatcat:ep7acwollrg53itre65xnmfati

Compositional Construction of Finite State Abstractions for Stochastic Control Systems [article]

Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar
2017 arXiv   pre-print
Given a network of stochastic control systems, we give conditions on the simultaneous existence of disturbance bisimilar abstractions to every component allowing for compositional abstraction of the network  ...  We have recently introduced a new relation, called (approximate) disturbance bisimulation for compositional symbolic abstraction to help scale controller synthesis for temporal logic to larger systems.  ...  Our results relate to recent results in [13] on compositional abstraction for stochastic systems.  ... 
arXiv:1709.09546v1 fatcat:adeudgrccfcsxdqr22ueqqqchi

Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems [article]

Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, and Majid Zamani
2017 arXiv   pre-print
This paper is concerned with a compositional approach for constructing abstractions of interconnected discrete-time stochastic control systems.  ...  For this class of systems, we propose a computational scheme to construct abstractions together with their corresponding stochastic simulation functions.  ...  Abstract-This paper is concerned with a compositional approach for constructing abstractions of interconnected discretetime stochastic control systems.  ... 
arXiv:1709.10312v1 fatcat:5cmurbldevgr3jssectdibxmcy

Compositional abstractions of interconnected discrete-time stochastic control systems

Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani
2017 2017 IEEE 56th Annual Conference on Decision and Control (CDC)  
This paper is concerned with a compositional approach for constructing abstractions of interconnected discretetime stochastic control systems.  ...  For this class of systems, we propose a computational scheme to construct abstractions together with their corresponding stochastic simulation functions.  ...  Abstract-This paper is concerned with a compositional approach for constructing abstractions of interconnected discretetime stochastic control systems.  ... 
doi:10.1109/cdc.2017.8264180 dblp:conf/cdc/LavaeiSMZ17 fatcat:3qsja5yz6vc7lges4oy346o54y

Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach [article]

Ameneh Nejati, Majid Zamani
2020 arXiv   pre-print
This paper provides a compositional scheme based on dissipativity approaches for constructing finite abstractions of continuous-time continuous-space stochastic control systems.  ...  In this respect, we first leverage dissipativity-type compositional conditions for the compositional quantification of the distance between the interconnection of continuous-time continuous-space stochastic  ...  Compositional Abstractions of Interconnected Systems.  ... 
arXiv:2005.01970v1 fatcat:uv6vv4arqbdujasqzkgqdi24qu

From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes

Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2018 Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18  
This paper is concerned with a compositional approach for constructing finite Markov decision processes of interconnected discretetime stochastic control systems.  ...  In the first part of the paper, we derive dissipativity-type compositional conditions for quantifying the error between the interconnection of stochastic control subsystems and that of their abstractions  ...  COMPOSITIONAL ABSTRACTIONS FOR INTERCONNECTED SYSTEMS In this section, we analyze networks of stochastic control subsystems and show how to construct their abstractions together with the corresponding  ... 
doi:10.1145/3178126.3178135 dblp:conf/hybrid/LavaeiSZ18 fatcat:vgx2rc4qi5gfpe5yyhk62ehlpa

Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations [article]

Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 arXiv   pre-print
We then focus on a class of stochastic nonlinear dynamical systems and construct their abstractions using both model order reduction and space discretization in a unified framework.  ...  We propose a compositional approach for constructing abstractions of general Markov decision processes using approximate probabilistic relations.  ...  There have been also several results on the construction of (in)finite abstractions for stochastic systems.  ... 
arXiv:1906.02930v1 fatcat:yl3sf6z3o5hc3l3loqwite3rbu

Approximate bisimulation for a class of stochastic hybrid systems

A.A. Julius, A. Girard, G.J. Pappas
2006 2006 American Control Conference  
We develop a notion of approximate bisimulation for a class of stochastic hybrid systems, namely, the jump linear stochastic systems (JLSS).  ...  The idea is based on the construction of the so called stochastic bisimulation function, which quantify the distance between two jump linear stochastic systems.  ...  See, for example, [14] , [21] , [3] , [28] . Similarly, there is also an approximate abstraction theory for purely discrete stochastic systems.  ... 
doi:10.1109/acc.2006.1657467 fatcat:kvjsrvzggncrpb747j2kone3ey

Stochastic Process Algebras: Integrating Qualitative and Quantitative Modelling [chapter]

J. Hillstonat, H. Hermanns, U. Herzog, V. Mertsiotakis, M. Rettelbach
1995 IFIP Advances in Information and Communication Technology  
Like other stochastic extensions of existing system description techniques, they offer exciting possibilities for integrating qualitative and quantitative analysis.  ...  lntroduction Stochastic process algebras (SPA) have emerged from work over the last fi ve years investigating the use of process algebras for performance modelling.  ...  Like other stochastic extensions of existing system description techniques, they offer exciting possibilities for integrating qualitative and quantitative analysis.  ... 
doi:10.1007/978-0-387-34878-0_36 fatcat:ihjctt7n25blfcv73lsw6albpu

From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes [article]

Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2017 arXiv   pre-print
This paper is concerned with a compositional approach for constructing finite Markov decision processes of interconnected discrete-time stochastic control systems.  ...  In the first part of the paper, we derive dissipativity-type compositional conditions for quantifying the error between the interconnection of stochastic control subsystems and that of their abstractions  ...  Compositional Abstractions for Interconnected Systems In this section, we analyze networks of stochastic control subsystems and show how to construct their abstractions together with the corresponding  ... 
arXiv:1712.07793v1 fatcat:tmpmnybqmfhi5jayzlz5klb7tm
« Previous Showing results 1 — 15 out of 58,938 results