A compositional modelling and verification framework for stochastic hybrid systems

DOI10.1007/s00165-017-0421-7zbMath1370.68220MaRDI QIDQ2403530

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

Publication date: 8 September 2017

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-017-0421-7

zbMATH Keywords

invariants; stochastic hybrid systems; deductive verification; stochastic hybrid CSP

Mathematics Subject Classification ID

93C83: Control/observation systems involving computers (process control, etc.)

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Uses Software

• PASS