Extending Hybrid CSP with Probability and Stochasticity

DOI10.1007/978-3-319-25942-0_6zbMath1369.68264arXiv1509.01660OpenAlexW1805131879MaRDI QIDQ5351874

Naijun Zhan, Yu Peng, Shu-Ling Wang, Li-jun Zhang

Publication date: 31 August 2017

Published in: Dependable Software Engineering: Theories, Tools, and Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1509.01660

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

A compositional modelling and verification framework for stochastic hybrid systems

This page was built for publication: Extending Hybrid CSP with Probability and Stochasticity