Verification of Switched Stochastic Systems via Barrier Certificates*
暂无分享,去创建一个
[1] M. Yor. DIFFUSIONS, MARKOV PROCESSES AND MARTINGALES: Volume 2: Itô Calculus , 1989 .
[2] Majid Zamani,et al. Formal Synthesis of Stochastic Systems via Control Barrier Certificates , 2019, IEEE Transactions on Automatic Control.
[3] Russ Tedrake,et al. Finite-time regional verification of stochastic non-linear systems , 2011, Int. J. Robotics Res..
[4] Nils Klarlund,et al. Mona: Monadic Second-Order Logic in Practice , 1995, TACAS.
[5] B. Øksendal. Stochastic differential equations : an introduction with applications , 1987 .
[6] H. Kushner. ON THE STABILITY OF STOCHASTIC DYNAMICAL SYSTEMS. , 1965, Proceedings of the National Academy of Sciences of the United States of America.
[7] Jianghai Hu,et al. A numerical approximation scheme for reachability analysis of stochastic hybrid systems with state-dependent switchings , 2007, 2007 46th IEEE Conference on Decision and Control.
[8] Edmund M. Clarke,et al. dReal: An SMT Solver for Nonlinear Theories over the Reals , 2013, CADE.
[9] Paulo Tabuada,et al. Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .
[10] Alexandre Duret-Lutz,et al. Spot 2 . 0 — a framework for LTL and ω-automata manipulation , 2016 .
[11] H. Kushner. Stochastic Stability and Control , 2012 .
[12] Majid Zamani,et al. Temporal Logic Verification of Stochastic Systems Using Barrier Certificates , 2018, ATVA.
[13] Rafael Wisniewski,et al. Stochastic safety analysis of stochastic hybrid systems , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).
[14] George J. Pappas,et al. A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates , 2007, IEEE Transactions on Automatic Control.
[15] Xenofon D. Koutsoukos,et al. Computational Methods for Verification of Stochastic Hybrid Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[16] John Lygeros,et al. Reachability Questions in Piecewise Deterministic Markov Processes , 2003, HSCC.
[17] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[18] Christel Baier,et al. Principles of model checking , 2008 .
[19] Giuseppe De Giacomo,et al. Synthesis for LTL and LDL on Finite Traces , 2015, IJCAI.
[20] Giuseppe De Giacomo,et al. Linear Temporal Logic and Linear Dynamic Logic on Finite Traces , 2013, IJCAI.
[21] Vijay Kumar,et al. Automated composition of motion primitives for multi-robot systems from safe LTL specifications , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.