A compositional modelling and analysis framework for stochastic hybrid systems.
Saved in:
| Title: | A compositional modelling and analysis framework for stochastic hybrid systems. |
|---|---|
| Authors: | Hahn, Ernst, Hartmanns, Arnd, Hermanns, Holger, Katoen, Joost-Pieter |
| Source: | Formal Methods in System Design; Oct2013, Vol. 43 Issue 2, p191-232, 42p |
| Subject Terms: | HYBRID systems, MEASUREMENT errors, CALCULUS, SYNTAX in programming languages, STOCHASTIC systems, MODEST (Computer program language), EMBEDDED computer systems, COMPUTER software |
| Abstract: | The theory of hybrid systems is well-established as a model for real-world systems consisting of continuous behaviour and discrete control. In practice, the behaviour of such systems is also subject to uncertainties, such as measurement errors, or is controlled by randomised algorithms. These aspects can be modelled and analysed using stochastic hybrid systems. In this paper, we present HModest, an extension to the Modest modelling language-which is originally designed for stochastic timed systems without complex continuous aspects-that adds differential equations and inclusions as an expressive way to describe the continuous system evolution. Modest is a high-level language inspired by classical process algebras, thus compositional modelling is an integral feature. We define the syntax and semantics of HModest and show that it is a conservative extension of Modest that retains the compositional modelling approach. To allow the analysis of HModest models, we report on the implementation of a connection to recently developed tools for the safety verification of stochastic hybrid systems, and illustrate the language and the tool support with a set of small, but instructive case studies. [ABSTRACT FROM AUTHOR] |
| Copyright of Formal Methods in System Design is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Complementary Index |
Full Text Finder 
Nájsť tento článok vo Web of Science Be the first to leave a comment!