publication venue for

• Attitude Trajectory Optimization and Momentum Conservation with Control Moment Gyroscopes 2023
• Influence of Discretization in Dynamically Embedded Model Predictive Control 2023
• A spectral small-gain condition for input-to-state stability of infinite networks 2020
• Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems 2020
• Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach 2020
Data-Driven Verification under Signal Temporal Logic Constraints 2020
Optimal actuator design for minimizing the worst-case control energy 2017
A New Perspective to Synchronization in Networks of Coupled Oscillators: Reverse Engineering and Convex Relaxation 2015
Abstraction Predictive Control for Chaotic Spacecraft Orbit Design 2015
Eigenvalues for a Two-Lag Linear Delay Differential Equation∗∗Portions of this work were performed with support from DARPA, AFRL, and HRL, under contract FA8650–11–C–7158. Approved for Public Release, Distribution Unlimited. 2015
Maneuver Detection and Reconstruction of Stationkeeping Spacecraft at GEO using the Optimal Control-Based Estimator 2015
Weighted Composition Operators for Learning Nonlinear Dynamics 2024
Compositional Synthesis of Controllers via Co-Biichi Barrier Certificates 2024
Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Networks 2024
Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations 2024
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model 2024
Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates 2024
immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX 2024
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes 2024
Formally Verified Neural Network Control Barrier Certificates for Unknown Systems 2023
Secure-by-Construction Controller Synthesis via Control Barrier Functions 2023
Synthesis of Controllers for Partially-Observable Systems: A Data-Driven Approach 2023
USING ARTIFICIAL POTENTIAL FIELDS TO MODEL DRIVER SITUATIONAL AWARENESS 2022
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems 2021
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates 2021
Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems 2020
Compositional Synthesis of Symbolic Models for Infinite Networks 2020
Granger Causality Based Hierarchical Time Series Clustering for State Estimation 2020
Synthesis of Stochastic Systems with Partial Information via Control Barrier Functions 2020
Wind Tunnel Testing of an Optimal Feedback/feedfoward Control Law for Wind Turbines 2020
Set stability of infinite networks: ISS small-gain theory and its applications 2020
Optimal sensor design for secure cyber-physical systems 2019
Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach 2019
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems 2018
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach 2018
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks 2018
A Linear Programming-based Iterative Approach to Stabilizing Polynomial Dynamics 2017
Active Power Control of Waked Wind Farms 2017
Compositional abstractions of networks of stochastic hybrid systems: A dissipativity approach 2017
Control of Fully Actuated Unmanned Aerial Vehicles with Actuator Saturation 2017
Detectability of Nondeterministic Finite Transition Systems 2017
Lyapunov Function Synthesis - Infeasibility and Farkas' Lemma 2017
Model Predictive Control for Track Following and Disturbance Rejection in a Tape Drive System 2017
Models used for the simulation and control of a segmented ultralight morphing rotor 2017
State-controlling Sets for Conjunctive Boolean Networks 2017
On the Formation Rejoin Problem 2016
... more