publication venue for

• Co-Buchi Control Barrier Certificates for Stochastic Control Systems 2024
• Compositional Verification for Large-Scale Systems via Closure Certificates 2024
• Data-Driven Controller Synthesis via Co-Buchi Barrier Certificates With Formal Guarantees 2024
• Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates 2024
• Safety Verification of Stochastic Systems: A Set-Erosion Approach 2024
Abstraction-Based Verification of Approximate Preopacity for Control Systems 2023
Constructing MDP Abstractions Using Data With Formal Guarantees 2023
Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees 2023
Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates 2023
Formal Abstraction of General Stochastic Systems via Noise Partitioning 2023
Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning 2023
Forward Invariance in Neural Network Controlled Systems 2023
Promises of Deep Kernel Learning for Control Synthesis 2023
Safety Verification of Stochastic Systems: A Repetitive Scenario Approach 2023
Systematic Design of Discrete-Time Control Barrier Functions Using Maximal Output Admissible Sets 2023
Toward Minimal Data Rate Enforcing Regular Safety Properties: An Invariance Entropy Approach 2023
Analysis of Time-Distributed Model Predictive Control When Using a Regularized Primal-Dual Gradient Optimizer 2022
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach 2022
A Scenario Approach for Synthesizing k-Inductive Barrier Certificates 2022
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach 2022
Excitation Conditions for Uniform Exponential Stability of the Cooperative Gradient Algorithm Over Weakly Connected Digraphs 2022
Formal Control Synthesis for Stochastic Neural Network Dynamic Models 2022
Learning-Accelerated ADMM for Distributed DC Optimal Power Flow 2022
Modular Computation of Restoration Entropy for Networks of Systems: A Dissipativity Approach 2022
Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates 2022
On the H-Property for Step-Graphons and Edge Polytopes 2022
Structural Averaged Controllability of Linear Ensemble Systems 2022
Economic Dispatch With Distributed Energy Resources: Co-Optimization of Transmission and Distribution Systems 2021
Optimal Spacecraft Guidance With Asynchronous Measurements and Noisy Impulsive Controls 2021
Verification of Approximate Opacity via Barrier Certificates 2021
Stabilizing Formation Systems With Nonholonomic Agents 2021
Symbolic Models for a Class of Impulsive Systems 2021
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions 2021
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems 2020
Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems 2020
Optimal Control of Sampled Linear Systems With Control-Linear Noise 2020
Compositional construction of control barrier certificates for large-scale stochastic switched systems 2020
Compositional Synthesis of Symbolic Models for Networks of Switched Systems 2019
... more