Structured Modeling of Concurrent Stochastic Hybrid Systems

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Model-Based Design
CPS Formal Methods
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Bernadsky, Mikhail
Sharykin, Raman
Contributor
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.

Advisor
Date of presentation
2004-09-22
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T22:30:43.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
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
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: http://dx.doi.org/10.1007/b100824
Recommended citation
Collection