### publication venue for

- Compositional Construction of Abstractions for Infinite Networks of Switched Systems 2020
- Compositional Verification of Initial-State Opacity for Switched Systems 2020
- Construction of continuous abstractions for discrete-time time-delay systems 2020
- Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes 2020
- Fixed-Time Nash Equilibrium Seeking in Non-Cooperative Games 2020
- Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression 2020
- Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks 2020
- A tractable formulation for multi-period linearized optimal power flow in presence of thermostatically controlled loads 2019
- Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations 2019
- CODES: Cooperative Data-Enabled Extremum Seeking for Multi-Agent Systems 2019
- Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions 2019
- Convex Optimization over Sequential Linear Feedback Policies with Continuous-time Chance Constraints 2019
- First-Order Optimization Algorithms with Resets and Hamiltonian flows 2019
- Global Synchronization of Clocks in Directed Rooted Acyclic Graphs: A Hybrid Systems Approach 2019
- Hybrid Robust Optimal Resource Allocation with Momentum 2019
- Inducing Uniform Asymptotic Stability in Non-Autonomous Accelerated Optimization Dynamics via Hybrid Regularization 2019
- Quasi-Stochastic Approximation and Off-Policy Reinforcement Learning 2019
- Verification of Switched Stochastic Systems via Barrier Certificates 2019
- A Fast Reference Governor for the Constrained Control of Linear Discrete-time Systems with Parametric Uncertainties 2018
- A Feedback-Based Regularized Primal-Dual Gradient Method for Time-Varying Nonconvex Optimization 2018
- A Semismooth Predictor Corrector Method for Real-Time Constrained Parametric Optimization with Applications in Model Predictive Control 2018
- Asynchronous and Distributed Tracking of Time-Varying Fixed Points 2018
- Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach 2018
- Compositional abstraction for interconnected systems over Riemannian manifolds: A small-gain approach 2018
- Hybrid Extremum Seeking for Black-Box Optimization in Hybrid Plants: An Analytical Framework 2018
- Inner Approximation of Minkowski Sums: A Union-Based Approach and Applications to Aggregated Energy Resources 2018
- Joint Actuator-sensor Design for Stochastic Linear Systems 2018
- Optimal Distributed Energy Storage Management Using Relaxed Dantzig-Wolfe Decomposition 2018
- Stochastic hybrid inclusions applied to global almost sure optimization on manifolds 2018
- A Class of Distributed Adaptive Pricing Mechanisms for Societal Systems with Limited Information 2017
- Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems 2017
- Compositional abstraction of interconnected control systems under dynamic interconnection topology 2017
- Computationally-Efficient Constrained Control of the State-of-Charge of a Li-ion Battery Cell 2017
- Distinguished Vector Fields over Smooth Manifolds with Applications to Ensemble Control 2017
- Engineering Inertial and Primary-frequency Response for Distributed Energy Resources 2017
- Hybrid Gradient Descent for Robust Global Optimization on the Circle 2017
- Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach 2017
- On the Invariance Feedback Entropy of Linear Perturbed Control Systems 2017
- Optimal Continuous State POMDP Planning with Semantic Observations 2017
- An Explicit Reference Governor for the Robust Constrained Control of Nonlinear Systems 2016
- Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems 2016
- Controlling a Rigid Formation from a Triangle 2016
- Design of Distributed Controllers Seeking Optimal Power Flow Solutions Under Communication Constraints 2016
- Distributed Robust Stochastic Learning in Asynchronous Networks of Sampled-Data Systems 2016
- Littlewood-Offord Theory and Controllability of Random Structures 2016
- Optimal Power Flow for Distribution Systems Under Uncertain Forecasts 2016
- Periodic Behavior of a Diffusion Model over Directed Graphs 2016
- Robust Constrained Model Predictive Control with Persistent Model Adaptation 2016
- Symbolic Synthesis with Average Performance Guarantees 2016
- A Virtual Target Approach for Trajectory Optimization of a General Class of Constrained Vehicles 2015
- Construction of Approximations of Stochastic Control Systems: A Compositional Approach 2015
- Control of Euler-Lagrange systems subject to constraints: An Explicit Reference Governor approach 2015
- Counter-Example Guided Synthesis of Control Lyapunov Functions for Switched Systems 2015
- Diffusion Control in Multi-Agent Networks 2015
- Dynamics of a Driven Stirling Engine 2015
- Event-triggered based on-line optimization for a class of nonlinear systems 2015
- A Hybrid Seeking Approach for Robust Learning in Multi-Agent Systems 2014
- Compositional Approximations of Interconnected Stochastic Hybrid Systems 2014
- Finite Abstractions of Networked Control Systems 2014
- Iterative Computation of Polyhedral Invariants Sets for Polynomial Dynamical Systems 2014
- Reverse and Forward Engineering of Frequency Control in Power Networks 2014
- A Trajectory Splicing Approach to Concretizing Counterexamples for Hybrid Systems 2013
- Bisimilar finite abstractions of stochastic control systems 2013
- Coarse Resistance Tree Methods For Stochastic Stability Analysis 2013
- Equilibrium and Dynamics of Local Voltage Control in Distribution Systems 2013
- Extremum Seeking for Multi-Population Games 2013
- Fast Convergence in Semi-Anonymous Potential Games 2013
- A H-infinity Loopshaping Approach for Autonomous Bio-Inspired Visual Navigation in Three-Dimensional Urban Environments 2012
- A Shahshahani Gradient Based Extremum Seeking Scheme 2012
- Achieving Pareto Optimality Through Distributed Learning 2012
- Approximate Markovian abstractions for linear stochastic systems 2012
- Comparison of Feedforward and Model Predictive Control of Wind Turbines Using LIDAR 2012
- Computing minimum lap-time trajectories for a single-track car with load transfer 2012
- Constrained Motion Planning for Multiple Vehicles on SE(3) 2012
- Multi-Blade Coordinate and Direct Techniques for Asymptotic Disturbance Rejection in Wind Turbines 2012
- Trajectory Optimization for Vehicles in a Constrained Environment 2012
- A Lyapunov approach in incremental stability 2011
- Dynamics exploration and aggressive maneuvering of a Longitudinal Vectored Thrust VTOL aircraft 2011
- Least squares temporal difference actor-critic methods with applications to robot motion control 2011
- Lie Group Projection Operator Approach: Optimal Control on TSO(3) 2011
- Reachability Set Subspace Computation for Nonlinear Systems using Sampling Methods 2011
- Simultaneous Numerical Optimization for Data Association and Parameter Estimation 2011
- Dynamics exploration of a single-track rigid car model with load transfer 2010
- Impulse Optimization for Data Association 2010
- On Stability Analysis of Systems Featuring a Multiplicative Combination of Nonlinear and Linear Time-Invariant Feedback 2010
- Optimal Control on Non-Compact Lie Groups: A Projection Operator Approach 2010
- Towards backstepping design for incremental stability 2010
- A probabilistic approach for control of a stochastic system from LTL specifications 2009
- Analytical Reachability Results for a Class of Nonlinear Systems with Ellipsoidal Initial Sets 2009
- Development and Exploration of a Rigid Motorcycle Model 2009
- Metrics on the space of bounded Keplerian orbits and space situational awareness 2009
- On the Periodically Driven Inverted Pendulum 2009
- On the curvature of the trajectory manifold of nonlinear systems 2008
- Convergence of a class of multi-agent systems in probabilistic framework 2007
- Distributed minimum cost multicasting with lossless source coding and network coding 2007
- Distributed optimization in wireless networks using broadcast advantage 2007
- Dynamics of symplectic subvolumes 2007
- Optimization based rate control for multicast with network coding: A multipath formulation 2007
- A barrier function method for the optimization of trajectory functionals with constraints 2006
- Controlling the mobility of network nodes using decentralized extremum seeking 2006
- Globally optimal feedback control law of the underactuated Heisenberg system by generating functions 2006
- Model inversion architectures for settle time applications with uncertainty 2006
- Receding horizon control under uncertainty using optimal input design and the unscented transform 2006
- Formulation of a Hamiltonian Cauchy problem for solving optimal feedback control problems 2005
- Trajectory manifold exploration for the PVTOL aircraft 2005
- Using Kolmogorov-Smirnov tests to detect track-loss in the absence of truth data 2005
- Achievable motorcycle trajectories 2004
- Detecting track-loss for the probabilistic data association filter in the absence of truth data 2004
- Obstacle avoidance with sensor uncertainty for small unmanned aircraft 2004
- Quasi-steady state approximation of the dynamics of a planar motorcycle 2004
- Robust control of tape transport systems with no tension sensor 2004
- Stability analysis of an adaptive torque controller for variable speed wind turbines 2004
- Aggressive maneuvering of a thrust vectored flying wing: A receding horizon approach 2000
- Relaxing the optimality condition in receding horizon control 2000
- The trajectory manifold of a nonlinear control system 1998