Journal Publications[J42] Approximately symbolic models for a class of continuous-time nonlinear systems via a control interface [J41] Constrained Attitude Maneuvers on SO(3): Rotation Space Sampling, Planning and Low-Level Control [J40] Adaptive Robot Navigation with Collision Avoidance Subject to 2nd-order Uncertain Dynamics [J39] Symbolic Abstractions for Nonlinear Control Systems via Feedback Refinement Relation [J38] Constrained Stabilization on the n−Sphere [J37] Scalable Time-constrained Planning of Multi-robot Systems [J36] A hybrid control approach for the satisfaction of linear temporal logic specifications [J35] Obstacle Avoidance via Hybrid Feedback [J34] Satisfaction of linear temporal logic specifications through recurrence tools for hybrid systems [J33] Asymptotic Tracking of Nonsmooth Feedback Stabilizable Unknown Systems with Prescribed Transient Response [J32] Funnel-based Feedback Control Laws for Signal Temporal Logic Specifications [J31] Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks [J30] Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks [J29] Finite Horizon Discrete Models for Multi-Agent Systems with Coupled Dynamics [J28] Variational Principles for Optimal Control of Left-Invariant Multi-Agent Systems with Asymmetric Formation Constraints [J27] A Robust Nonlinear MPC Framework for Control of Underwater Vehicle Manipulator Systems under High-Level Tasks [J26] Robust Trajectory Tracking Control for Underctuated Autonomous Underwater Vehicles in Uncertain Environments [J25] Synthesizing communication plans for reachability and safety specifications [J24] Abstractions of Varying Decentralization Degree for Reachability of Coupled Multi-Agent Systems [J23] Robust Self-Triggered MPC with Adaptive Prediction Horizon for Perturbed Nonlinear Systems [J22] A symbolic approach to the self-triggered design for networked control systems [J21] Closed-Form Barrier Functions for Multi-Agent Ellipsoidal Systems with Uncertain Lagrangian Dynamics [J20] Decentralized Abstractions For Multi-Agent Systems Under Coupled Constraints [J19] Motion Feasibility Conditions for Multi-Agent Control Systems on Lie Groups [J18] Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems [J17] Decentralized Tube-Based Robust Model Predictive Control for Uncertain Nonlinear Multi-Agent Systems [J16] Feedback Control Strategies for Multi-Agent Systems under a Fragment of Signal Temporal Logic Tasks [J15] Control Barrier Functions for Multi-Agent Systems under Conflicting Local Signal Temporal Logic Tasks [J14] Robust Control for Signal Temporal Logic Specifications using Discrete Average Space Robustness [J13] Robust Formation Control in SE(3) for Tree-Graph Structures with Prescribed Transient and Steady State Performance [J12] Robust Cooperative Manipulation without Force/Torque Measurements: Control Design and Experiments [J11] Simultaneous Task Allocation and Planning for Temporal Logic Goals in Heterogeneous Multi-Robot System [J10] On the Timed Temporal Logic Planning of Coupled Multi-Agent Systems [J9] Control Barrier Functions for Signal Temporal Logic Tasks [J8] Robust Decentralized Navigation of Multi-Agent Systems with Collision Avoidance and Connectivity Maintenance Using Model Predictive Controllers [J7] Aperiodic Sampled-Data Control via Explicit Transmission Mapping: A Set Invariance Approach [J6] Timed Abstractions for Distributed Cooperative Manipulation [J5] Compositional abstraction refinement for control synthesis [J4] Robustness and Invariance of Connectivity Maintenance Control for Multi-Agent Systems [J3] Task and Motion Coordination for Heterogeneous Multi-agent Systems with Loosely-coupled Local Tasks [J2] Event-Triggered Intermittent Sampling for Nonlinear Model Predictive Control [J1] Multi-Agent Planning Under Local LTL Specifications and Event-Based Synchronization Peer Reviewed Conference Publications[C64] Fast Model Predictive Image-Based Visual Servoing for Quadrotors [C63] Decentralized Nonlinear MPC for Robust Cooperative Manipulation by Heterogeneous Aerial-Ground Robots [C62] Augmenting Control Policies with Motion Planning for Robust and Safe Multi-robot Navigation [C61] Sampling-based Motion Planning for Uncertain High-dimensional Systems via Adaptive Control [C60] Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications [C59] Construction of Control Barrier Function and C^2 Reference Trajectory for Constrained Attitude Maneuvers [C58] Smooth Feedback Construction Over Spherical Polytopes [C57] Symbolic Supervisory Control of Periodic Event-Triggered Control Systems [C56] Symbolic Abstractions for Periodic Event-triggered Linear Control Systems [C55] Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications [C54] Energy-Optimal Cooperative Manipulation via Provable Internal Force Regulation [C53] Adaptive Cooperative Manipulation with Rolling Contacts [C52] Decentralized Formation Control for Multiple Quadrotors under Unidirectional Communication Constraints [C51] Approximately symbolic models for a class of continuous-time nonlinear systems [C50] Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems [C49] Asymptotic Stability of Uncertain Lagrangian Systems with Prescribed Transient Response [C48] Adaptive Leader-Follower Coordination of Lagrangian Multi-Agent Systems under Transient Constraints [C47] Robust Trajectory Tracking Control for Underactuated Autonomous Underwater Vehicles [C46] Design and Experimental Validation of Tube-Based MPC for Timed-constrained Robot Planning [C45] Human-In-The-Loop Control Synthesis for Multi-Agent Systems under Hard and Soft Metric Interval Temporal Logic Specifications [C44] Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems [C43] Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks [C42] A Hybrid Controller for Obstacle Avoidance in an n-dimensional Euclidean Space [C41] Realtime L1-fault-and-state estimation for multi-agent systems [C40] Robust Tube-based Model Predictive Control for Timed Constrained Robot Navigation [C39] Reconfigurable Motion Planning and Control in Obstacle Cluttered Environments under Timed Temporal Tasks [C38] A Tube-based Nonlinear MPC Scheme for Underwater Vehicle Manipulator Systems in Interaction with Compliant Environments [C37] Energy-aware Networked Control Systems Under Temporal Logic Specifications [C36] Event-triggered Feedback Control for Signal Temporal Logig Tasks [C35] Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic Specifications [C34] Optimal Control of Left-Invariant Multi-Agent Systems with Asymmetric Formation Constraints [C33] Communication-based Decentralized Cooperative Object Transportation Using Nonlinear Model Predictive Control [C32] Decentralized Control of Uncertain Multi-Agent Systems with Connectivity Maintenance and Collision Avoidance [C31] Improving Multi-Robot Behavior Using Learning-Based Receding Horizon Task Allocation [C30] Auctioning over Probabilistic Options for Temporal Logic-Based Multi-Robot Cooperation under Uncertainty [C29] Human-in-the-Loop Mixed-Initiative Control under Temporal Tasks [C28] A Hybrid Barrier Certificate Approach to Satisfy Linear Temporal Logic Specifications [C27] Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks [C26] Prescribed Performance Control for Signal Temporal Logic Specifications [C25] Position and Orientation Based Formation Control of Multiple Rigid Bodies with Collision Avoidance and Connectivity Maintenance [C24] Decentralized Abstractions and Timed Constrained Planning of a General Class of Coupled Multi-Agent Systems [C23] Robust Decentralized Abstractions for Multiple Mobile Manipulators [C22] Multi-Objective Search for Optimal Multi-Robot Planning with Finite LTL Specifications and Resource Constraints [C21] Decentralized Motion Planning with Collision Avoidance for a Team of UAVs under High Level Goals [C20] Distributed Cooperative Manipulation under Timed Temporal Specifications [C19] A Hybrid Systems Framework for Multi Agent Task Planning and Control [C18] Cooperative Planning Synthesis for Coupled Multi-Agent Systems Under Timed Temporal Specifications [C17] Compositional Abstraction Refinement for Control Synthesis under Lasso-Shaped Specifications [C16] Robust Motion Planning Employing Signal Temporal Logic [C15] Multi-Agent Motion Planning and Object Transportation under High Level Goals [C14] Online Abstractions for Interconnected Multi-Agent Control Systems [C13] Robust Distance-Based Formation Control of Multiple Rigid Bodies with Orientation Alignment [C12] Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications [C11] Probabilistic Plan Synthesis for Coupled Multi-Agent Systems [C10] Abstraction Refinement and Plan Revision For Control Synthesis Under High Level Specifications [C9] Using Progress Sets on Non-Deterministic Transition Systems for Multiple UAV Motion Planning [C8] A Nonlinear Model Predictive Control Scheme for Cooperative
Manipulation with Singularity and Collision Avoidance [C7] Decomposition of Finite LTL Specifications for Efficient Multi-Agent Planning [C6] Cooperative Task Planning Synthesis for Multi-Agent Systems Under Timed Temporal Specifications [C5] Synthesizing Least-Limiting Guidelines for Safety of Semi-Autonomous Systems [C4] Abstractions of Varying Decentralization Degree for Coupled Multi-Agent Systems [C3] Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications [C2] Decentralized Abstractions for Feedback Interconnected Multi-Agent Systems [C1] Robust Connectivity Analysis for Multi-Agent Systems |