Structured modeling of concurrent stochastic hybrid systems

DOI10.1007/978-3-540-30206-3_22MaRDI QIDQ5464755zbMATH OpenOpenAlexFDO

Authors Mikhail Bernadsky, Raman Sharykin, Rajeev Alur

Publication date 19 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100824, https://repository.upenn.edu/cgi/viewcontent.cgi?article=1173&context=cis_papers

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A compositional modelling and analysis framework for stochastic hybrid systems
• A compositional modelling and verification framework for stochastic hybrid systems
• Stochastic programs and hybrid automata for (biological) modeling
• Extending hybrid CSP with probability and stochasticity
• Modular specification of hybrid systems in Charon

Cited in

(18)

• A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems
• A compositional modelling and analysis framework for stochastic hybrid systems
• A compositional modelling and verification framework for stochastic hybrid systems
• Modeling stochastic hybrid systems
• Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process
• Stochastic programs and hybrid automata for (biological) modeling
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Hierarchical hybrid modeling of embedded systems
• Modular specification of hybrid systems in Charon
• A model of distributed object-based stochastic hybrid systems
• Modelling implicit communication in multi-agent systems with hybrid input/output automata
• Extending hybrid CSP with probability and stochasticity
• Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Stochastic hybrid systems: a powerful framework for complex, large scale applications
• Comparing two approaches to include stochasticity in hybrid automata
• A formal mathematical framework for modeling probabilistic hybrid systems

Describes a project that uses

Uses Software

• MoDeST

This page was built for publication: Structured modeling of concurrent stochastic hybrid systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5464755)