Safety verification for regime-switching jump diffusions via barrier certificates (Q6052173): Difference between revisions

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