related documents

• Backward Control Barrier Certificates  Conference Proceeding
• Bayesian Diagnosability and Active Fault Identification  Conference Proceeding
• Complete Decentralization of Linear Quadratic Gaussian Control for the Discrete Wave Equation  Conference Proceeding
• Controlled Supermartingale Functions for Stochastic Differential Equations: Inference and Applications  Conference Proceeding
• Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes  Conference Proceeding
• Data-Driven Verification of Dynamical Systems via Closure Certificates  Conference Proceeding
• Interpolation-Inspired Closure Certificates  Conference Proceeding
• Neural Barrier Certificates for Stochastic Control Systems  Conference Proceeding
• Objective Improvement Algorithm for Controller Synthesis in Uncertain Environments  Conference Proceeding
• Trajectory-based Barrier Certificates for Monotone Systems  Conference Proceeding