publication venue for
- Compositional Verification for Large-Scale Systems via Closure Certificates 2024
- Data-Driven Controller Synthesis via Co-Buchi Barrier Certificates With Formal Guarantees 2024
- Revealing Decision Conservativeness Through Inverse Distributionally Robust Optimization 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
- 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