CPS Model-Based Design, CPS Formal Methods
Date of this Version
Lecture Notes in Computer Science: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
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.
The original publication is available at www.springerlink.com
Mikhail Bernadsky, Raman Sharykin, and Rajeev Alur, "Structured Modeling of Concurrent Stochastic Hybrid Systems", Lecture Notes in Computer Science: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems 3253, 309-325. September 2004. http://dx.doi.org/10.1007/978-3-540-30206-3_22
Date Posted: 07 November 2005