Statistical model checking for cyber-physical systems

155Citations
Citations of this article
55Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Statistical Model Checking is useful in situations where it is either inconvenient or impossible to build a concise representation of the global transition relation. This happens frequently with cyber-physical systems: Two examples are verifying Stateflow-Simulink models and in reasoning about biochemical reactions in Systems Biology. The main problem with Statistical Model Checking is caused by rare events. We describe how Statistical Model Checking works and demonstrate the problem with rare events. We then describe how Importance Sampling with the Cross-Entropy Technique can be used to address this problem. © 2011 Springer-Verlag.

Cite

CITATION STYLE

APA

Clarke, E. M., & Zuliani, P. (2011). Statistical model checking for cyber-physical systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6996 LNCS, pp. 1–12). https://doi.org/10.1007/978-3-642-24372-1_1

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free