publication venue for
- Constructing MDP Abstractions Using Data With Formal Guarantees 2023
- Safety Verification of Stochastic Systems: A Repetitive Scenario 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
- Extremum Seeking Under Persistent Gradient Deception: A Switching Systems Approach 2022
- Feedback-Based Optimization With Sub-Weibull Gradient Errors and Intermittent Updates 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
- Online Projected Gradient Descent for Stochastic Optimization With Decision-Dependent Distributions 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
- Saddle-Flow Dynamics for Distributed Feedback-Based Optimization 2019
- On the Convergence of the Inexact Running Krasnosel'skii-Mann Method 2019
- A convex relaxation for model predictive control of a class of Hammerstein systems 2019