Approximate Probabilistic Verification of Hybrid Systems

DOI10.1007/978-3-319-26916-0_6zbMath1412.92120arXiv1412.6953OpenAlexW243354212MaRDI QIDQ5376905

No author found.

Publication date: 21 May 2019

Published in: Hybrid Systems Biology (Search for Journal in Brave)

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

zbMATH Keywords

Markov chainsdynamical systemshybrid systemsstatistical model checking

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Systems biology, networks (92C42)

Related Items (1)

End-to-end statistical model checking for parametric ODE models

This page was built for publication: Approximate Probabilistic Verification of Hybrid Systems