Claire J. Tomlin

According to our database1, Claire J. Tomlin authored at least 329 papers between 1996 and 2021.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2011, "For contributions to hybrid control systems with applications to Air Traffic Management, Unmanned Aerial Vehicles, and Systems Biology".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
A Successive-Elimination Approach to Adaptive Robotic Source Seeking.
IEEE Trans. Robotics, 2021

Visual Navigation Among Humans With Optimal Control as a Supervisor.
IEEE Robotics Autom. Lett., 2021

Efficient Dynamics Estimation With Adaptive Model Sets.
IEEE Robotics Autom. Lett., 2021

A Robust Control Framework for Human Motion Prediction.
IEEE Robotics Autom. Lett., 2021

A Hopf-Lax Formula in Hamilton-Jacobi Analysis of Reach-Avoid Problems.
IEEE Control. Syst. Lett., 2021

Analyzing Human Models that Adapt Online.
CoRR, 2021

FaSTrack: a Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking.
CoRR, 2021

Risk-sensitive safety analysis using Conditional Value-at-Risk.
CoRR, 2021

Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability.
CoRR, 2021

The Computation of Approximate Generalized Feedback Nash Equilibria.
CoRR, 2021

Feature Expansive Reward Learning: Rethinking Human Input.
Proceedings of the HRI '21: ACM/IEEE International Conference on Human-Robot Interaction, 2021

2020
Toward Distributed Energy Services: Decentralizing Optimal Power Flow With Machine Learning.
IEEE Trans. Smart Grid, 2020

Smarter Lions: Efficient Cooperative Pursuit in General Bounded Arenas.
SIAM J. Control. Optim., 2020

Design of an Electromagnetic Actuator for an Insect-Scale Spinning-Wing Robot.
IEEE Robotics Autom. Lett., 2020

An Insect-Scale Self-Sufficient Rolling Microrobot.
IEEE Robotics Autom. Lett., 2020

Confidence-aware motion prediction for real-time collision avoidance<sup>1</sup>.
Int. J. Robotics Res., 2020

Voronoi Progressive Widening: Efficient Online Solvers for Continuous Space MDPs and POMDPs with Provably Optimal Components.
CoRR, 2020

Gaussian Process-based Min-norm Stabilizing Controller for Control-Affine Systems with Uncertain Input Effects.
CoRR, 2020

Multi-Hypothesis Interactions in Game-Theoretic Motion Planning.
CoRR, 2020

Testing for Typicality with Respect to an Ensemble of Learned Distributions.
CoRR, 2020

Encoding Defensive Driving as a Dynamic Nash Game.
CoRR, 2020

DeepReach: A Deep Learning Approach to High-Dimensional Reachability.
CoRR, 2020

Approximate Solutions to a Class of Reachability Games.
CoRR, 2020

Dynamically Computing Adversarial Perturbations for Recurrent Neural Networks.
CoRR, 2020

Eyes-Closed Safety Kernels: Safety for Autonomous Systems Under Loss of Observability.
CoRR, 2020

Reinforcement Learning for Safety-Critical Control under Model Uncertainty, using Control Lyapunov Functions and Control Barrier Functions.
CoRR, 2020

Technical Report: Adaptive Control for Linearizable Systems Using On-Policy Reinforcement Learning.
CoRR, 2020

Generating Robust Supervision for Learning-Based Visual Navigation Using Hamilton-Jacobi Reachability.
Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Improving Input-Output Linearizing Controllers for Bipedal Robots via Reinforcement Learning.
Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Local Differential Privacy for Multi-Agent Distributed Optimal Power Flow.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Europe, 2020

pbSGD: Powered Stochastic Gradient Descent Methods for Accelerated Non-Convex Optimization.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Sparse Tree Search Optimality Guarantees in POMDPs with Continuous Observation Spaces.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Feedback Linearization for Uncertain Systems via Reinforcement Learning.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

An Iterative Quadratic Method for General-Sum Differential Games with Feedback Linearizable Dynamics.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Efficient Iterative Linear-Quadratic Approximations for Nonlinear Multi-Player General-Sum Differential Games.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

A Hamilton-Jacobi Reachability-Based Framework for Predicting and Analyzing Human Motion for Safe Planning.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Adaptive Control for Linearizable Systems Using On-Policy Reinforcement Learning.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Expert Selection in High-Dimensional Markov Decision Processes.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Optimal Control of Battery Fast Charging Based-on Pontryagin's Minimum Principle.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Hamilton-Jacobi Formulation for State-Constrained Optimal Control and Zero-Sum Game Problems.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Feedback-Control Based Adversarial Attacks on Recurrent Neural Networks.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Inference-Based Strategy Alignment for General-Sum Differential Games.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
Plug-and-Play Model Predictive Control for Load Shaping and Voltage Control in Smart Grids.
IEEE Trans. Smart Grid, 2019

Robust Sequential Trajectory Planning Under Disturbances and Adversarial Intruder.
IEEE Trans. Control. Syst. Technol., 2019

On Identification of Distribution Grids.
IEEE Trans. Control. Netw. Syst., 2019

A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems.
IEEE Trans. Autom. Control., 2019

Incorporating Safety Into Parametric Dynamic Movement Primitives.
IEEE Robotics Autom. Lett., 2019

Correction: Modeling differentiation-state transitions linked to therapeutic escape in triple-negative breast cancer.
PLoS Comput. Biol., 2019

Modeling differentiation-state transitions linked to therapeutic escape in triple-negative breast cancer.
PLoS Comput. Biol., 2019

Global Asymptotic Stability and Stabilization of Long Short-Term Memory Neural Networks with Constant Weights and Biases.
J. Optim. Theory Appl., 2019

On the Powerball Method: Variants of Descent Methods for Accelerated Optimization.
IEEE Control. Syst. Lett., 2019

Design of the First Insect-scale Spinning-wing Robot.
CoRR, 2019

Feedback Linearization for Unknown Systems via Reinforcement Learning.
CoRR, 2019

Efficient Iterative Linear-Quadratic Approximations for Nonlinear Multi-Player General-Sum Differential Games.
CoRR, 2019

New Wing Stroke and Wing Pitch Approaches for Milligram-scale Aerial Devices.
CoRR, 2019

An Insect-scale Untethered Laser-powered Jumping Microrobot.
CoRR, 2019

Design of the first sub-milligram flapping wing aerial vehicle.
CoRR, 2019

Regression-based Inverter Control for Decentralized Optimal Power Flow and Voltage Regulation.
CoRR, 2019

Fast Neural Network Verification via Shadow Prices.
CoRR, 2019

Blind identification of fully observed linear time-varying systems via sparse recovery.
Autom., 2019

Efficient Safe Learning for Robotic Systems in Unstructured Environments.
Proceedings of the 16th IEEE International Conference on Mobile Ad Hoc and Sensor Systems Workshops, 2019

Long-Short Term Memory Neural Network Stability and Stabilization using Linear Matrix Inequalities.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

Robust Trajectory Planning for a Multirotor against Disturbance based on Hamilton-Jacobi Reachability Analysis.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

A Classification-based Approach for Approximate Reachability.
Proceedings of the International Conference on Robotics and Automation, 2019

Removing Leaking Corners to Reduce Dimensionality in Hamilton-Jacobi Reachability.
Proceedings of the International Conference on Robotics and Automation, 2019

Efficient Computation of Feedback Control for Equality-Constrained LQR.
Proceedings of the International Conference on Robotics and Automation, 2019

Safely Probabilistically Complete Real-Time Planning and Exploration in Unknown Environments.
Proceedings of the International Conference on Robotics and Automation, 2019

Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning.
Proceedings of the International Conference on Robotics and Automation, 2019

A Scalable Framework For Real-Time Multi-Robot, Multi-Human Collision Avoidance.
Proceedings of the International Conference on Robotics and Automation, 2019

A new simulation metric to determine safe environments and controllers for systems with unknown dynamics.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Combining Optimal Control and Learning for Visual Navigation in Novel Environments.
Proceedings of the 3rd Annual Conference on Robot Learning, 2019

Iterative Method using the Generalized Hopf Formula: Avoiding Spatial Discretization for Computing Solutions of Hamilton-Jacobi Equations for Nonlinear Systems.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Parallelizing LQR Computation Through Endpoint-Explicit Riccati Recursion.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Frequency Regulation using Sparse Learned Controllers in Power Grids with Variable Inertia due to Renewable Energy.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Reachability-Based Safety Guarantees using Efficient Initializations.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Closed-loop Model Selection for Kernel-based Models using Bayesian Optimization.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Distributed Model Predictive Control for Autonomous Droop-Controlled Inverter-Based Microgrids.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems.
Proceedings of the 2019 American Control Conference, 2019

2018
Secure State Estimation and Control for Cyber Security of the Nonlinear Power Systems.
IEEE Trans. Control. Netw. Syst., 2018

Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems.
IEEE Trans. Autom. Control., 2018

Online Learning to Approach a Person With No Regret.
IEEE Robotics Autom. Lett., 2018

Safe and Complete Real-Time Planning and Exploration in Unknown Environments.
CoRR, 2018

A Successive-Elimination Approach to Adaptive Robotic Sensing.
CoRR, 2018

The Parallelization of Riccati Recursion.
CoRR, 2018

A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets.
CoRR, 2018

Efficient Computation of Feedback Control for Constrained Systems.
CoRR, 2018

Data-Driven Decentralized Optimal Power Flow.
CoRR, 2018

Customized Local Differential Privacy for Multi-Agent Distributed Optimization.
CoRR, 2018

Forecasting-Based State Estimation for Three-Phase Distribution Systems with Limited Sensing.
CoRR, 2018

Classification-based Approximate Reachability with Guarantees Applied to Safe Trajectory Tracking.
CoRR, 2018

Context-Specific Validation of Data-Driven Models.
CoRR, 2018

Efficient path planning algorithms in reach-avoid problems.
Autom., 2018

Secure estimation based Kalman Filter for cyber-physical systems against sensor attacks.
Autom., 2018

Robust Tracking with Model Mismatch for Fast and Safe Planning: An SOS Optimization Approach.
Proceedings of the Algorithmic Foundations of Robotics XIII, 2018

Haptic Assistance via Inverse Reinforcement Learning.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Probabilistically Safe Robot Planning with Confidence-Based Human Predictions.
Proceedings of the Robotics: Science and Systems XIV, 2018

Some Local Stability Properties of an Autonomous Long Short-Term Memory Neural Network Model.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Milligram-Scale Micro Aerial Vehicle Design for Low-Voltage Operation.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Planning, Fast and Slow: A Framework for Adaptive Real-Time Safe Trajectory Planning.
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Plug and Play Distributed Model Predictive Control for Heavy Duty Vehicle Platooning and Interaction with Passenger Vehicles.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Frequency Regulation in Hybrid Power Dynamics with Variable and Low Inertia due to Renewable Energy.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

On the Analysis of Cyclic Drug Schedules for Cancer Treatment using Switched Dynamical Systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Estimation and Targeting of Residential Households for Hour-Ahead Demand Response Interventions - A Case Study in California.
Proceedings of the IEEE Conference on Control Technology and Applications, 2018

Coded Control over Lossy Networks.
Proceedings of the 2018 Annual American Control Conference, 2018

Budget-Constrained Multi-Armed Bandits With Multiple Plays.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Robust Adaptive Coverage Control for Robotic Sensor Networks.
IEEE Trans. Control. Netw. Syst., 2017

Variance-Constrained Risk Sharing in Stochastic Systems.
IEEE Trans. Autom. Control., 2017

Multiplayer Reach-Avoid Games via Pairwise Outcomes.
IEEE Trans. Autom. Control., 2017

Cost-Aware Path Planning Under Co-Safe Temporal Logic Specifications.
IEEE Robotics Autom. Lett., 2017

Blind Identification of Fully Observed Discrete-Time Linear Time-Varying Systems via Sparse Recovery.
CoRR, 2017

Safe and Resilient Multi-vehicle Trajectory Planning Under Adversarial Intruder.
CoRR, 2017

Incentive Design in Human-in-the-Loop Cyber-Physical Systems: A Case Study on Demand Response in California.
CoRR, 2017

MBMF: Model-Based Priors for Model-Free Reinforcement Learning.
CoRR, 2017

Eliciting Private User Information for Residential Demand Response.
CoRR, 2017

A Multi-Armed Bandit Approach for Online Expert Selection in Markov Decision Processes.
CoRR, 2017

Provably Safe and Robust Drone Routing via Sequential Path Planning: A Case Study in San Francisco and the Bay Area.
CoRR, 2017

Countering Feedback Delays in Multi-Agent Learning.
Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017

Fully Decentralized Policies for Multi-Agent Systems: An Information Theoretic Approach.
Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017

Exact and efficient Hamilton-Jacobi guaranteed safety analysis via system decomposition.
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

Estimating Treatment Effects of a Residential Demand Response Program Using Non-experimental Data.
Proceedings of the 2017 IEEE International Conference on Data Mining Workshops, 2017

How peer effects influence energy consumption.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Hedging strategies for load-serving entities in wholesale electricity markets.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Eliciting private user information for residential demand response.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Identification of nonlinear sparse networks using sparse Bayesian learning.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

FaSTrack: A modular framework for fast and guaranteed safe motion planning.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

A hybrid framework for multi-vehicle collision avoidance.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Goal-driven dynamics learning via Bayesian optimization.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Hamilton-Jacobi reachability: A brief overview and recent advances.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Stability analysis of wholesale electricity markets under dynamic consumption models and real-time pricing.
Proceedings of the 2017 American Control Conference, 2017

Quantitative comparison of data-driven and physics-based models for commercial building HVAC systems.
Proceedings of the 2017 American Control Conference, 2017

Secure state estimation for nonlinear power systems under cyber attacks.
Proceedings of the 2017 American Control Conference, 2017

Secure state estimation for Cyber Physical Systems with sparse malicious packet drops.
Proceedings of the 2017 American Control Conference, 2017

Safe sequential path planning under disturbances and imperfect information.
Proceedings of the 2017 American Control Conference, 2017

A sequential approximation framework for coded distributed optimization.
Proceedings of the 55th Annual Allerton Conference on Communication, 2017

A model predictive control approach to flow pacing for TCP.
Proceedings of the 55th Annual Allerton Conference on Communication, 2017

2016
Reconstruction of Gene Regulatory Networks Based on Repairing Sparse Low-Rank Matrices.
IEEE ACM Trans. Comput. Biol. Bioinform., 2016

Guest Editorial Special Section on Human-Centered Automation.
IEEE Trans Autom. Sci. Eng., 2016

Approximation Algorithms for Optimization of Combinatorial Dynamical Systems.
IEEE Trans. Autom. Control., 2016

Model Comparison of a Data-Driven and a Physical Model for Simulating HVAC Systems.
CoRR, 2016

On the Powerball Method.
CoRR, 2016

On the Inverse Power Flow Problem.
CoRR, 2016

Control of Supermarket Refrigeration Systems via Online Combinatorial Optimization.
CoRR, 2016

On Identification of Sparse Multivariable ARX Model: A Sparse Bayesian Learning Approach.
CoRR, 2016

On Identification of Dynamical Structure Functions: A Sparse Bayesian Learning Approach.
CoRR, 2016

Using Neural Networks for Fast Reachable Set Computations.
CoRR, 2016

Secure Estimation for Unmanned Aerial Vehicles against Adversarial Cyber Attacks.
CoRR, 2016

Guaranteeing Safety and Liveness of Unmanned Aerial Vehicle Platoons on Air Highways.
CoRR, 2016

Robust Sequential Path Planning Under Disturbances and Adversarial Intruder.
CoRR, 2016

Safe Sequential Path Planning of Multi-Vehicle Systems Under Presence of Disturbances and Imperfect Information.
CoRR, 2016

Minimizing Regret on Reflexive Banach Spaces and Learning Nash Equilibria in Continuous Zero-Sum Games.
CoRR, 2016

Event Detection and Localization in Distribution Grids with Phasor Measurement Units.
CoRR, 2016

Cooperative pursuit with Voronoi partitions.
Autom., 2016

Sparse network identifiability via Compressed Sensing.
Autom., 2016

Minimizing Regret on Reflexive Banach Spaces and Nash Equilibria in Continuous Zero-Sum Games.
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

Real-Time Distribution Grid State Estimation with Limited Sensors and Load Forecasting.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Residential demand response targeting using machine learning with observational data.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Ensuring safety for sampled data systems: An efficient algorithm for filtering potentially unsafe input signals.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Multi-vehicle collision avoidance via hamilton-jacobi reachability and mixed integer programming.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Fast reachable set approximations via state decoupling disturbances.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

A model of phenotypic state dynamics initiates a promising approach to control heterogeneous malignant cell populations.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Learning quadrotor dynamics using neural network for flight control.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Optimal mode-switching and control synthesis for floating offshore wind turbines.
Proceedings of the 2016 American Control Conference, 2016

Building model identification during regular operation - empirical results and challenges.
Proceedings of the 2016 American Control Conference, 2016

A Bayesian perspective on Residential Demand Response using smart meter data.
Proceedings of the 54th Annual Allerton Conference on Communication, 2016

2015
Performance Evaluation and Optimization of Communication Infrastructure for the Next Generation Air Transportation System.
IEEE Trans. Parallel Distributed Syst., 2015

Automation-Assisted Capture-the-Flag: A Differential Game Approach.
IEEE Trans. Control. Syst. Technol., 2015

Accelerating Submovement Decomposition With Search-Space Reduction Heuristics.
IEEE Trans. Biomed. Eng., 2015

Secure Estimation based Kalman Filter for Cyber-Physical Systems against Adversarial Attacks.
CoRR, 2015

The Hedge Algorithm on a Continuum.
Proceedings of the 32nd International Conference on Machine Learning, 2015

Reach-avoid problems with time-varying dynamics, targets and constraints.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Towards online reachability analysis with temporal-differencing.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Safe sequential path planning of multi-vehicle systems via double-obstacle Hamilton-Jacobi-Isaacs variational inequality.
Proceedings of the 14th European Control Conference, 2015

Temporal-difference learning for online reachability analysis.
Proceedings of the 14th European Control Conference, 2015

Exact and efficient Hamilton-Jacobi reachability for decoupled systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Safe platooning of unmanned aerial vehicles via reachability.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Retrieving common dynamics of gene regulatory networks under various perturbations.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Iterative function separation for gene regulatory function identification.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Indirect load control for electricity market risk management via risk-limiting dynamic contracts.
Proceedings of the American Control Conference, 2015

Adaptively constrained stochastic model predictive control applied to security constrained optimal power flow.
Proceedings of the American Control Conference, 2015

Heterogeneity in cancer dynamics: A convex formulation to dissect dynamic trajectories and infer LTV models of networked systems.
Proceedings of the American Control Conference, 2015

A mean field equilibrium for a model of interbank lending.
Proceedings of the American Control Conference, 2015

2014
Hybrid Communication Protocols and Control Algorithms for NextGen Aircraft Arrivals.
IEEE Trans. Intell. Transp. Syst., 2014

On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem.
IEEE Trans. Autom. Control., 2014

High Confidence Networked Control for Next Generation Air Transportation Systems.
IEEE Trans. Autom. Control., 2014

Guest Editorial Special Issue on Control of Cyber-Physical Systems.
IEEE Trans. Autom. Control., 2014

Reaction-diffusion systems in protein networks: Global existence and identification.
Syst. Control. Lett., 2014

A sampling-based approach to scalable constraint satisfaction in linear sampled-data systems - Part I: Computation.
CoRR, 2014

Practical Comparison of Optimization Algorithms for Learning-Based MPC with Linear Models.
CoRR, 2014

Exact reconstruction of gene regulatory networks using compressive sensing.
BMC Bioinform., 2014

A practical reachability-based collision avoidance algorithm for sampled-data systems: Application to ground robots.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Evasion of a team of dubins vehicles from a hidden pursuer.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Reconstruction of gene regulatory networks with hidden nodes.
Proceedings of the 13th European Control Conference, 2014

A design of neural decoder by reducing discrepancy between Manual Control (MC) and Brain Control (BC).
Proceedings of the 13th European Control Conference, 2014

Utility learning model predictive control for personal electric loads.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Inverse covariance estimation from data with missing values using the Concave-Convex Procedure.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Design of a neural decoder by sensory prediction and error correction.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

A path defense approach to the multiplayer reach-avoid game.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Plug-and-play model predictive control for electric vehicle charging and voltage control in smart grids.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Reachability-based safe learning with Gaussian processes.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Convexity verification for a hybrid chance constrained method in stochastic control problems.
Proceedings of the American Control Conference, 2014

Dynamic contracts with partial observations: Application to indirect load control.
Proceedings of the American Control Conference, 2014

Multiplayer reach-avoid games via low dimensional solutions and maximum matching.
Proceedings of the American Control Conference, 2014

Direct load control for electricity market risk management via risk-limiting dynamic contracts.
Proceedings of the 52nd Annual Allerton Conference on Communication, 2014

Contract design for frequency regulation by aggregations of commercial buildings.
Proceedings of the 52nd Annual Allerton Conference on Communication, 2014

2013
Stochastic system controller synthesis for reachability specifications encoded by random sets.
Autom., 2013

A stochastic games framework for verification and control of discrete time stochastic hybrid systems.
Autom., 2013

Provably safe and robust learning-based model predictive control.
Autom., 2013

One-shot computation of reachable sets for differential games.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Regularization-based identification for level set equations.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Infinitesimal interconnection variation in nonlinear networked systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

A probabilistic approach to planning and control in autonomous urban driving.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Optimal load management system for Aircraft Electric Power distribution.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Low-rank representation of neural activity and detection of submovements.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Identification of surface tension in mean curvature flow.
Proceedings of the American Control Conference, 2013

Evasion as a team against a faster pursuer.
Proceedings of the American Control Conference, 2013

Optimal control of partially observable discrete time stochastic hybrid systems for safety specifications.
Proceedings of the American Control Conference, 2013

Energy management via pricing in LQ dynamic games.
Proceedings of the American Control Conference, 2013

On efficiency in mean field differential games.
Proceedings of the American Control Conference, 2013

A dynamic VCG mechanism for random allocation spaces.
Proceedings of the 51st Annual Allerton Conference on Communication, 2013

2012
A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks.
IEEE ACM Trans. Comput. Biol. Bioinform., 2012

A Hierarchical Flight Planning Framework for Air Traffic Management.
Proc. IEEE, 2012

Reducing Transient and Steady State Electricity Consumption in HVAC Using Learning-Based Model-Predictive Control.
Proc. IEEE, 2012

Optimization-based Inference for Temporally Evolving Networks with Applications in Biology.
J. Comput. Biol., 2012

Statistical Results on Filtering and Epi-convergence for Learning-Based Model Predictive Control
CoRR, 2012

Energy-Efficient Building HVAC Control Using Hybrid System LBMPC
CoRR, 2012

On efficient sensor scheduling for linear dynamical systems.
Autom., 2012

On optimal control of non-autonomous switched systems with a fixed mode sequence.
Autom., 2012

Quantitative methods for comparing different HVAC control schemes.
Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, 2012

Reducing Conservativeness in Safety Guarantees by Learning Disturbances Online: Iterated Guaranteed Safe Online Learning.
Proceedings of the Robotics: Science and Systems VIII, 2012

A hierarchical method for stochastic motion planning in uncertain environments.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Time-optimal multi-stage motion planning with guaranteed collision avoidance via an open-loop game formulation.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Guaranteed Safe Online Learning via Reachability: tracking a ground target using a quadrotor.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Learning-based model predictive control on a quadrotor: Onboard implementation and experimental results.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Investigating Communication Infrastructure of Next Generation Air Traffic Management.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Verification and control of hybrid systems using reachability analysis with machine learning.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

A general, open-loop formulation for reach-avoid games.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

A hybrid method for chance constrained control in uncertain environments.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Multiphase mixed-integer optimal control framework for aircraft conflict avoidance.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Data-driven graph reconstruction using compressive sensing.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Pursuit, evasion and defense in the plane.
Proceedings of the American Control Conference, 2012

Identifying models of HVAC systems using semiparametric regression.
Proceedings of the American Control Conference, 2012

Extensions of learning-based model predictive control for real-time application to a quadrotor helicopter.
Proceedings of the American Control Conference, 2012

Incentive design for efficient building quality of service.
Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011
Mathematical Models to Help Understand Developmental Biology and Cancer.
Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

Versatile spectral methods for point set matching.
Pattern Recognit. Lett., 2011

Applications of hybrid reachability analysis to robotic aerial vehicles.
Int. J. Robotics Res., 2011

Robust Adaptive Coverage for Robotic Sensor Networks.
Proceedings of the Robotics Research, 2011

Guaranteed safe online learning of a bounded system.
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011

Closed-loop belief space planning for linear, Gaussian systems.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011

A differential game approach to planning in adversarial scenarios: A case study on capture-the-flag.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Reachability-based synthesis of feedback policies for motion planning under bounded disturbances.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011

A stochastic reach-avoid problem with random obstacles.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

On feedback design and risk allocation in chance constrained control.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Discrete time stochastic hybrid dynamical games: Verification & controller synthesis.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Guaranteed decentralized pursuit-evasion in the plane with multiple pursuers.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Inference of temporally evolving network dynamics with applications in biological systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Decentralized Spacing Control of a String of Multiple Vehicles Over Lossy Datalinks.
IEEE Trans. Control. Syst. Technol., 2010

Mobile Sensor Network Control Using Mutual Information Methods and Particle Filters.
IEEE Trans. Autom. Control., 2010

Nonparametric identification of regulatory interactions from spatial and temporal gene expression data.
BMC Bioinform., 2010

Sensor Placement for Improved Robotic Navigation.
Proceedings of the Robotics: Science and Systems VI, 2010

Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010

A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

On the optimal solutions of the infinite-horizon linear sensor scheduling problem.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

On sensor scheduling of linear dynamical systems with error bounds.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Trajectory generation for aircraft subject to dynamic weather uncertainty.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A numerical method for the optimal control of switched systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Robust reach-avoid controller synthesis for switched nonlinear systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Computer-aided drug discovery for pathway and genetic diseases.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

An ODE model for the HER2/3-AKT signaling pathway in cancers that overexpress HER2.
Proceedings of the American Control Conference, 2010

2009
Monotone Piecewise Affine Systems.
IEEE Trans. Autom. Control., 2009

Design and Analysis of Hybrid Systems, with Applications to Robotic Aerial Vehicles.
Proceedings of the Robotics Research - The 14th International Symposium, 2009

Stanford Testbed of Autonomous Rotorcraft for Multi-Agent Control.
Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009

Aerodynamics and control of autonomous quadrotor helicopters in aggressive maneuvering.
Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

Statistics for sparse, high-dimensional, and nonparametric system identification.
Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

Trajectory optimization in convex underapproximations of safe regions.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

System identification of hunchback protein patterning in early drosophila embryogenesis.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Classification of Physical Interactions between Two Subjects.
Proceedings of the Sixth International Workshop on Wearable and Implantable Body Sensor Networks, 2009

Graph-theoretic topological control of biological genetic networks.
Proceedings of the American Control Conference, 2009

2008
Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design.
IEEE Trans. Control. Syst. Technol., 2008

An Adjoint-Based Parameter Identification Algorithm Applied to Planar Cell Polarity Signaling.
IEEE Trans. Autom. Control., 2008

Guest Editorial - Special Issue on Systems Biology.
IEEE Trans. Autom. Control., 2008

Lump-Sum Markets for Air Traffic Flow Control With Competitive Airlines.
Proc. IEEE, 2008

Locally optimal decomposition for autonomous obstacle avoidance with the Tunnel-MILP algorithm.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Convergence properties of a decentralized Kalman filter.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Decentralized cooperative collision avoidance for acceleration constrained vehicles.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Reachability calculations for automated aerial refueling.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Topology based control of biological genetic networks.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Optimal discovery of a stochastic genetic network.
Proceedings of the American Control Conference, 2008

2007
Conjugate Points in Formation Constrained Optimal Multi-Agent Coordination: A Case Study.
SIAM J. Control. Optim., 2007

Stability Analysis of Explicit Congestion Control Protocols.
IEEE Commun. Lett., 2007

A New Hybrid State Estimator for Systems with Limited Mode Changes.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Convergence of Lump-Sum Markets with Price-Anticipating Agents.
Proceedings of the American Control Conference, 2007

Autonomous Automobile Trajectory Tracking for Off-Road Driving: Controller Design, Experimental Validation and Racing.
Proceedings of the American Control Conference, 2007

Solving the aircraft routing problem using network flow algorithms.
Proceedings of the American Control Conference, 2007

2006
Adjoint-based control of a new eulerian network model of air traffic flow.
IEEE Trans. Control. Syst. Technol., 2006

Efficient Market-Based Air Traffic Flow Control with Competing Airlines.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Tractable Algorithm for Open Loop Stochastic Control.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Automatic Parameter Identification via the Adjoint Method, with Application to Understanding Planar Cell Polarity.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Mutual Information Methods with Particle Filters for Mobile Sensor Network Control.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005
A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games.
IEEE Trans. Autom. Control., 2005

Session Overview Robot Design and Control.
Proceedings of the Robotics Research: Results of the 12th International Symposium, 2005

Multi-agent quadrotor testbed control design: integral sliding mode vs. reinforcement learning.
Proceedings of the 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2005

Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

2004
Decentralized overlapping control of a formation of unmanned aerial vehicles.
Autom., 2004

Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Inference Methods for Autonomous Stochastic Linear Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

2003
Computational techniques for the verification of hybrid systems.
Proceedings of the IEEE, 2003

Overapproximating Reachable Sets by Hamilton-Jacobi Projections.
J. Sci. Comput., 2003

Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata.
Proceedings of the Hybrid Systems: Computation and Control, 2003

Computation of an over-approximation of the backward reachable set using subsystem level set functions.
Proceedings of the 7th European Control Conference, 2003

Observability criteria and estimator design for stochastic linear hybrid systems.
Proceedings of the 7th European Control Conference, 2003

2002
Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction.
Proceedings of the High Performance Computing, 2002

2001
Safety verification of conflict resolution manoeuvres.
IEEE Trans. Intell. Transp. Syst., 2001

Addressing Multiobjective Control: Safety and Performance through Constrained Optimization.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

2000
Level Set Methods for Computation in Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999
Controllers for reachability specifications for hybrid systems.
Autom., 1999

Computing Controllers for Nonlinear Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

1998
Synthesizing Controllers for Nonlinear Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1997
SmartATMS: A Simulator for Air Traffic Management Systems.
Proceedings of the 29th conference on Winter simulation, 1997

Generation of conflict resolution manoeuvres for air traffic management.
Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97, 1997

Multiobjective Hybrid Controller Synthesis.
Proceedings of the Hybrid and Real-Time Systems, 1997

1996
Hybrid Control Models of Next Generarion AIr Traffic Management.
Proceedings of the Hybrid Systems IV, 1996


  Loading...