### publication venue for

- 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**This work was supported by a NASA Space Technology Research Fellowship, grant #NNX12AM40H. 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
- Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems 2020
- Compositional Synthesis of Symbolic Models for Infinite Networks 2020
- Fixed-Time Newton-Like Extremism Seeking 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
- Optimal sensor design for secure cyber-physical systems 2019
- DEES: A Class of Data-Enabled Robust Feedback Algorithms for Real-Time Optimization 2019
- Global Optimization on the Sphere: A Stochastic Hybrid Systems Approach 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 First-order Prediction-Correction Algorithm for Time-varying (Constrained) Optimization 2017
- 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
- Distributed Extremism Seeking in Multi-Agent Systems with Arbitrary Switching Graphs 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
- A Hybrid Systems Approach for Distributed Nonsmooth Optimization in Asynchronous Multi-Agent Sampled-Data Systems 2016
- A hybrid systems approach to global synchronization and coordination of multi-agent sampled-data systems**Research supported in part by NSF grant number ECCS-1232035 and AFOSR grant number FA9550-15-1-0155. 2015