Abstract
We propose a novel modelling concept for stochastic control on systems which are hierarchically composed of subsystems with discrete states and stochastic continuous time. The global control structure (called decision tree) is based on the model hierarchy and can be defined by an interleaving of local control with concurrency. For model specification we review the language LARES which comprises an object-oriented modelling design in order to specify modular and hierarchically structured stochastic systems. In order to embed the control structure into the LARES framework we describe the language extension LARES.de. The main focus of the paper is a transformation to a Markov Decision Process induced by an agent-based view on the control structure. This defines the concrete language semantics and makes state-based system optimization accessible.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
