Safety Verification for Probabilistic Hybrid Systems

0388817 - ÚI 2013 RIV GB eng J - Článek v odborném periodiku
Zhang, J. - She, Z. - Ratschan, Stefan - Hermanns, H. - Hahn, E.M.
Safety Verification for Probabilistic Hybrid Systems.
European Journal of Control. Roč. 18, č. 6 (2012), s. 572-587. ISSN 0947-3580. E-ISSN 1435-5671
Grant CEP: GA MŠMT OC10048; GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: model checking * hybrid systems * formal verification
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.250, rok: 2012

Citováno: 7

--- KOUTSOUKOS, X. "Safety Verification for Probabilistic Hybrid Systems". EUROPEAN JOURNAL OF CONTROL. ISSN 0947-3580, NOV-DEC 2012, vol. 18, no. 6, p. 588-590. [WOS]
--- LAHIJANIAN, M. - ANDERSSON, S.B. - BELTA, C. Formal Verification and Synthesis for Discrete-Time Stochastic Systems. IEEE TRANSACTIONS ON AUTOMATIC CONTROL. ISSN 0018-9286, AUG 2015, vol. 60, no. 8, p. 2031-2045. [WOS]
--- WEI, X.M. - DONG, Y.W. - YE, H. QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model. PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING. 2015, p. 103-110. [WOS]
--- SPROSTON, J. Verification and Control of Probabilistic Rectangular Hybrid Automata. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015). ISSN 0302-9743, 2015, vol. 9268, p. 1-9. [WOS]
--- CLARKE, E.M. - WANG, Q.S. 2(5) Years of Model Checking. PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014. ISSN 0302-9743, 2015, vol. 8974, p. 26-40. [WOS]
--- SPROSTON, J. Verification and control for probabilistic hybrid automata with finite bisimulations. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. ISSN 2352-2208, FEB 2019, vol. 103, p. 46-61. [WOS]
--- LAL, R. - PRABHAKAR, P. Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems. 2018 56TH ANNUAL ALLERTON CONFERENCE ON COMMUNICATION, CONTROL, AND COMPUTING (ALLERTON). ISSN 2474-0195, 2018, p. 848-855. [WOS]

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