Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems

[1]  Ameneh Nejati,et al.  Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach , 2020, IFAC-PapersOnLine.

[2]  Sadegh Soudjani,et al.  Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems , 2020, Eur. J. Control.

[3]  Abolfazl Lavaei,et al.  Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems , 2019, Autom..

[4]  Majid Zamani,et al.  Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[5]  Samuel Coogan,et al.  A Barrier Function Approach to Finite-Time Stochastic System Verification and Control , 2019, Autom..

[6]  Majid Zamani,et al.  Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations , 2019, Nonlinear Analysis: Hybrid Systems.

[7]  Majid Zamani,et al.  Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions , 2019, 2019 18th European Control Conference (ECC).

[8]  Samuel Coogan,et al.  Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions , 2019, 2019 IEEE Conference on Control Technology and Applications (CCTA).

[9]  Majid Zamani,et al.  Formal Synthesis of Stochastic Systems via Control Barrier Certificates , 2019, IEEE Transactions on Automatic Control.

[10]  Majid Zamani,et al.  Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach , 2019, Nonlinear Analysis: Hybrid Systems.

[11]  Majid Zamani,et al.  Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems , 2018, IEEE Transactions on Automatic Control.

[12]  Majid Zamani,et al.  Temporal Logic Verification of Stochastic Systems Using Barrier Certificates , 2018, ATVA.

[13]  Hai Lin,et al.  Privacy Verification in POMDPs via Barrier Certificates , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[14]  Sadegh Esmaeil Zadeh Soudjani,et al.  Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems , 2018, Autom..

[15]  Majid Zamani,et al.  From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes , 2017, HSCC.

[16]  Rafael Wisniewski,et al.  Stochastic safety analysis of stochastic hybrid systems , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[17]  Xuandong Li,et al.  Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates , 2017, ACM Trans. Embed. Comput. Syst..

[18]  Antoine Girard,et al.  Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models , 2017, IEEE Transactions on Automatic Control.

[19]  Alessandro Abate,et al.  Towards scalable synthesis of stochastic control systems , 2016, Discrete Event Dynamic Systems.

[20]  C. Belta,et al.  Formal Verification and Synthesis for Discrete-Time Stochastic Systems , 2015, IEEE Trans. Autom. Control..

[21]  Alessandro Abate,et al.  Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes , 2013, SIAM J. Appl. Dyn. Syst..

[22]  Björn S. Rüffer.  Monotone inequalities, dynamical systems, and paths in the positive orthant of Euclidean n-space , 2010 .

[23]  Fabian R. Wirth,et al.  Small gain theorems for large scale systems and construction of ISS Lyapunov functions , 2009, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[24]  John Lygeros,et al.  Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems , 2008, Autom..

[25]  George J. Pappas,et al.  A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates , 2007, IEEE Transactions on Automatic Control.

[26]  Dimitri P. Bertsekas,et al.  Stochastic optimal control : the discrete time case , 2007 .

[27]  Fabian R. Wirth,et al.  An ISS small gain theorem for general networks , 2005, Math. Control. Signals Syst..

[28]  Pablo A. Parrilo,et al.  Semidefinite programming relaxations for semialgebraic problems , 2003, Math. Program..

[29]  Pablo A. Parrilo,et al.  Introducing SOSTOOLS: a general purpose sum of squares programming solver , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[30]  Abolfazl Lavaei,et al.  Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques , 2019 .

[31]  Majid Zamani,et al.  Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach , 2019, IFAC-PapersOnLine.

[32]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems , 2009 .

[33]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .