Departmental Papers (CIS)

Document Type

Conference Paper

Date of this Version

September 2004


Postprint version. Published in Lecture Notes in Computer Science, Volume 3253, Formal Techniques, Modeling and Analysis of Timed Systems, 2004, pages 309-325.
Publisher URL:


We propose a modeling language for structured specification of interacting components with both hybrid and stochastic dynamics. The behavior of a stochastic hybrid agent is described using a hybrid automaton whose dynamics is specified by stochastic differential equations and probabilistic jumps. Stochastic hybrid agents interact with other agents using shared variables. The operations of parallel composition, instantiation and hiding are defined to allow hierarchical descriptions of complex agents. We report on a stochastic extension of the modeling environment CHARON for hybrid systems, a simulation tool, and case studies using the tool.



Date Posted: 07 November 2005