On the construction of barrier certificates: a dynamic programming perspective

DOI10.1016/J.AUTOMATICA.2026.113263MaRDI QIDQ7392270zbMATH OpenFDO

Authors Shaoyuan Li, Xiang Yin, Yu Chen

Publication date 2026

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.AUTOMATICA.2026.113263

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Cites work

• A barrier function approach to finite-time stochastic system verification and control
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Formal Synthesis of Stochastic Systems via Control Barrier Certificates
• Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach
• k-Inductive Barrier Certificates for Stochastic Systems
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Secure-by-construction synthesis for control systems
• Stochastic Lyapunov-barrier functions for robust probabilistic reach-avoid-stay specifications
• Stochastic stability and control
• Temporal logic verification of stochastic systems using barrier certificates
• Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem

This page was built for publication: On the construction of barrier certificates: a dynamic programming perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7392270)