Departmental Papers (CIS)

Document Type

Conference Paper

Subject Area

CPS Model-Based Design, CPS Formal Methods

Date of this Version

September 2004

Publication Title

Lecture Notes in Computer Science: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Volume

3253

First Page

309

Last Page

325

DOI

10.1007/978-3-540-30206-3_22

Comments

From the Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004

Abstract

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.

Permission Statement

The original publication is available at www.springerlink.com

Share

COinS
 

Date Posted: 07 November 2005