Statistical Model Checking for Stochastic Hybrid Systems

被引：47

作者：

David, Alexandre ^{[1
]}

Larsen, Kim G. ^{[1
]}

Mikucionis, Marius ^{[1
]}

Poulsen, Danny Bogsted ^{[1
]}

Legay, Axel ^{[2
]}

Sedwards, Sean ^{[2
]}

Du, Dehui ^{[3
]}

机构：

[1] Aalborg Univ, Dept Comp Sci, Aalborg, Denmark

[2] INRIA Rennes, Bretagne Atlant, Rennes, France

[3] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 20062, Peoples R China

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2012年 / 92期

关键词：

D O I：

10.4204/EPTCS.92.9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how our race-based stochastic semantics extends to networks of hybrid systems, and indicate the integration technique applied for implementing this semantics in the UPPAAL-SMC simulation engine. We report on two applications of the resulting tool-set coming from systems biology and energy aware buildings.

引用

页码：122 / 136

页数：15

共 34 条

[1] Optimal paths in weighted timed automata [J].

Alur, R ;

La Torre, S ;

Pappas, GJ .

THEORETICAL COMPUTER SCIENCE, 2004, 318 (03) :297-322

[2]

Ballarini P., 2011, Proceedings of the 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST 2011), P143, DOI 10.1109/QEST.2011.24

[3] Biological rhythms - Circadian clocks limited by noise [J].

Barkai, N ;

Leibler, S .

NATURE, 2000, 403 (6767) :267-268

[4] Statistical abstraction and model-checking of large heterogeneous systems [J].

Basu A. ;

Bensalem S. ;

Bozga M. ;

Delahaye B. ;

Legay A. .

International Journal on Software Tools for Technology Transfer, 2012, 14 (01) :53-72

[5]

Basu A, 2010, LECT NOTES COMPUT SC, V6418, P330, DOI 10.1007/978-3-642-16612-9_25

[6]

Basu A, 2010, LECT NOTES COMPUT SC, V6117, P32, DOI 10.1007/978-3-642-13464-7_4

[7]

Behrmann G., 2001, Hybrid Systems: Computation and Control. 4th International Workshop, HSCC 2001. Proceedings (Lecture Notes in Computer Science Vol.2034), P147

[8]

Bulychev P., 2012, POULSEN REWRITE BASE

[9] Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach [J].

Bulychev, Peter ;

David, Alexandre ;

Larsen, Kim G. ;

Legay, Axel ;

Mikucionis, Marius .

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (78) :1-14

[10]

Bulychev P, 2012, LECT NOTES COMPUT SC, V7180, P168, DOI 10.1007/978-3-642-28717-6_15

← 1 2 3 4 →