Integrating Simulink Models into the Model Checker Cosmos
作者： Benoît Barbot , Béatrice Bérard , Yann Duplouy , Serge Haddad
DOI: 10.1007/978-3-319-91268-4_19
关键词:
摘要: We present an implementation for Simulink model executions in the statistical model-checker Cosmos. take profit of this hybrid modeling and simulations combining Petri nets models.
archives-ouvertes.fr
springer.com
sci-hub.se 参考文章(15)
Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin, HASL: A new approach for performance evaluation and model checking from concepts to experimentation Performance Evaluation. ,vol. 90, pp. 53- 77 ,(2015) , 10.1016/J.PEVA.2015.04.003
Paolo Ballarini, Marie Duflot, Applications of an expressive statistical model checking approach to the analysis of genetic circuits Theoretical Computer Science. ,vol. 599, pp. 4- 33 ,(2015) , 10.1016/J.TCS.2015.05.018
Y. S. Chow, Herbert Robbins, ON THE ASYMPTOTIC THEORY OF FIXED-WIDTH SEQUENTIAL CONFIDENCE INTERVALS FOR THE MEAN. Annals of Mathematical Statistics. ,vol. 36, pp. 457- 462 ,(1965) , 10.1007/978-1-4612-5110-1_19
Wassily Hoeffding, Probability Inequalities for sums of Bounded Random Variables Journal of the American Statistical Association. ,vol. 58, pp. 13- 30 ,(1963) , 10.1007/978-1-4612-0865-5_26
Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic, Translating discrete-time simulink to lustre ACM Transactions in Embedded Computing Systems. ,vol. 4, pp. 779- 818 ,(2005) , 10.1145/1113830.1113834
C. J. CLOPPER, E. S. PEARSON, THE USE OF CONFIDENCE OR FIDUCIAL LIMITS ILLUSTRATED IN THE CASE OF THE BINOMIAL Biometrika. ,vol. 26, pp. 404- 413 ,(1934) , 10.1093/BIOMET/26.4.404
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet, Non-standard semantics of hybrid systems modelers Journal of Computer and System Sciences. ,vol. 78, pp. 877- 910 ,(2012) , 10.1016/J.JCSS.2011.08.009
Olivier Bouissou, Alexandre Chapoutot, An operational semantics for Simulink's simulation engine Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems - LCTES '12. ,vol. 47, pp. 129- 138 ,(2012) , 10.1145/2248418.2248437
A. Wald, Sequential Tests of Statistical Hypotheses Annals of Mathematical Statistics. ,vol. 16, pp. 256- 298 ,(1945) , 10.1007/978-1-4612-0919-5_18
Aditya Agrawal, Gyula Simon, Gabor Karsai, Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations Electronic Notes in Theoretical Computer Science. ,vol. 109, pp. 43- 56 ,(2004) , 10.1016/J.ENTCS.2004.02.055