@inproceedings{7a005cbddada4619aabb0317d9a3686a,
title = "Specification and analysis of distributed object-based stochastic hybrid systems",
abstract = "In practice, many stochastic hybrid systems are not autonomous: they are objects that communicate with other objects by exchanging messages through an asynchronous medium such as a network. Issues such as: how to compositionally specify distributed object-based stochastic hybrid systems (OBSHS), how to formally model them, and how to verify their properties seem therefore quite important. This paper addresses these issues by: (i) defining a mathematical model for such systems that can be naturally regarded as a generalized stochastic hybrid system (GSHS) in the sense of [6]; (ii) proposing a formal OBSHS specification language in which system transitions are specified in a modular way by probabilistic rewrite rules; and (iii) showing how these systems can be subjected to statistical model checking analysis to verify their probabilistic temporal logic properties.",
author = "Jos{\'e} Meseguer and Raman Sharykin",
year = "2006",
doi = "10.1007/11730637_35",
language = "English (US)",
isbn = "3540331700",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "460--475",
booktitle = "Hybrid Systems",
note = "9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006 ; Conference date: 29-03-2006 Through 31-03-2006",
}