Safety Verification for Probabilistic Hybrid Systems

0351300 - ÚI 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Zhang, L. - She, Z. - Ratschan, Stefan - Hermanns, H. - Hahn, E.M.
Safety Verification for Probabilistic Hybrid Systems.
CAV 2010. Computer Aided Verification. Berlin: Springer, 2010 - (Touili, T.; Cook, B.; Jackson, P.), s. 196-211. Lecture Notes in Computer Science, 6174. ISBN 978-3-642-14294-9. ISSN 0302-9743.
[CAV 2010. International conference on Computer Aided Verification /55./. Edinburgh (GB), 15.07.2010-19.07.2010]
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: verification * hybrid dynamical systems
Kód oboru RIV: IN - Informatika

Citováno: 10

--- ABATE, A. - KATOEN, J.P. - MEREACRE, A. Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems. HSCC 11: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL. 2011, p. 83-92. [WOS]
--- FRANZLE, M. - TEIGE, T. - EGGERS, A. Satisfaction Meets Expectations Computing Expected Values of Probabilistic Hybrid Systems with SMT. INTEGRATED FORMAL METHODS. ISSN 0302-9743, 2010, vol. 6396, p. 168-182. [WOS]
--- ASSOURAMOU, J. - DESHARNAIS, J. Continuous Time and/or Continuous Distributions. COMPUTER PERFORMANCE ENGINEERING. ISSN 0302-9743, 2010, vol. 6342, p. 99-114. [WOS]
--- WOGNSEN, E.R. - HANSEN, R.R. - LARSEN, K.G. Battery-Aware Scheduling of Mixed Criticality Systems. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II. ISSN 0302-9743, 2014, vol. 8803, p. 208-222. [WOS]
--- MULLER, A. - MITSCH, S. - RETSCHITZEGGER, W. - SCHWINGER, W. A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2014. ISSN 0302-9743, 2014, vol. 8793, p. 368-379. [WOS]
--- TEIGE, T. - FRANZLE, M. GENERALIZED CRAIG INTERPOLATION FOR STOCHASTIC BOOLEAN SATISFIABILITY PROBLEMS WITH APPLICATIONS TO PROBABILISTIC STATE REACHABILITY AND REGION STABILITY. LOGICAL METHODS IN COMPUTER SCIENCE. ISSN 1860-5974, 2012, vol. 8, no. 2. [WOS]
--- FANG, H.X. - ZHU, H.B. - SHI, J.Q. An Object-Oriented Language for Modeling of Hybrid Systems. 2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE). ISSN 1530-2059, 2015, p. 1-9. [WOS]
--- NASTI, L. - MILAZZO, P. A Hybrid Automata model of social networking addiction. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. ISSN 2352-2208, NOV 2018, vol. 100, SI, p. 215-229. [WOS]
--- HUANG, C. - CHEN, X. - LIN, W. - YANG, Z.F. - LI, X.D. Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS. ISSN 1539-9087, OCT 2017, vol. 16, SI. [WOS]
--- WANG, S.L. - ZHAN, N.J. - ZHANG, L.J. A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems. FORMAL ASPECTS OF COMPUTING. ISSN 0934-5043, JUL 2017, vol. 29, no. 4, p. 751-775. [WOS]

Trvalý link: http://hdl.handle.net/11104/0191084