Safety verification for regime-switching jump diffusions via barrier certificates

DOI10.1016/j.nahs.2023.101401zbMath1524.60186OpenAlexW4383505846MaRDI QIDQ6052173

Zhikun She, Kairong Liu

Publication date: 21 September 2023

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2023.101401

zbMATH Keywords

Markovian switchingstochastic hybrid systemsfailure analysisbarrier certificatesLévy jump

Mathematics Subject Classification ID

Processes with independent increments; Lévy processes (60G51) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03) Jump processes on general state spaces (60J76)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hybrid switching diffusions. Properties and applications
• Semidefinite programming relaxations for semialgebraic problems
• Robust stability and controllability of stochastic differential delay equations with Markovian switching.
• Unbounded-time safety verification of stochastic differential dynamics
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Stochastic stability and control
• A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
• A barrier function approach to finite-time stochastic system verification and control
• Control barrier functions for stochastic systems
• Stock Trading: An Optimal Selling Rule
• Feynman–Kac formulas for regime-switching jump diffusions and their applications
• Accurate hybridization of nonlinear systems
• Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
• Stability of Regime-Switching Jump Diffusions
• Optimal Control of Switching Diffusions with Application to Flexible Manufacturing Systems
• Lévy Processes and Stochastic Calculus
• Matrix Analysis
• Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems
• Almost Sure and Moment Exponential Stability of Regime-Switching Jump Diffusions
• On the Complexity of SOS Programming and Applications in Control Systems
• Discrete-Time Markov Chains
• Analysis and Verification of Input-to-State Stability for Nonautonomous Discrete-Time Switched Systems via Semidefinite Programming
• Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
• Pre- and Post-Processing Sum-of-Squares Programs in Practice
• Formal Synthesis of Stochastic Systems via Control Barrier Certificates
• Analysis of Power System Dynamics Subject to Stochastic Power Injections
• Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Handbook of Hybrid Systems Control
• Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
• Polynomial Level-Set Method for Polynomial System Reachable Set Estimation
• Optimal portfolio for an insider in a market driven by Lévy processes§

This page was built for publication: Safety verification for regime-switching jump diffusions via barrier certificates