Claire J. Tomlin
Orcid: 0000-0003-3192-3185Affiliations:
- University of California, Berkeley, USA
According to our database1,
Claire J. Tomlin
authored at least 437 papers
between 1996 and 2024.
Collaborative distances:
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 Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on orcid.org
-
on id.loc.gov
-
on isni.org
On csauthors.net:
Bibliography
2024
A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets.
IEEE Trans. Autom. Control., February, 2024
Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker.
CoRR, 2024
PaRCE: Probabilistic and Reconstruction-Based Competency Estimation for Safe Navigation Under Perception Uncertainty.
CoRR, 2024
Certifiable Deep Learning for Reachability Using a New Lipschitz Continuous Value Function.
CoRR, 2024
Effects of dynamic power electronic load models on power systems analysis using ZIP-E loads.
CoRR, 2024
Intent Demonstration in General-Sum Dynamic Games via Iterative Linear-Quadratic Approximations.
CoRR, 2024
The computation of approximate feedback Stackelberg equilibria in multi-player nonlinear constrained dynamic games.
CoRR, 2024
Proceedings of the Explainable Artificial Intelligence, 2024
Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024
Safety filters for black-box dynamical systems by learning discriminating hyperplanes.
Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024
Hacking predictors means hacking cars: Using sensitivity analysis to identify trajectory prediction vulnerabilities for autonomous driving security.
Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024
Optimality Guarantees for Particle Belief Approximation of POMDPs (Abstract Reprint).
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Stranger Danger! Identifying and Avoiding Unpredictable Pedestrians in RL-based Social Robot Navigation.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
Proceedings of the Twelfth International Conference on Learning Representations, 2024
Safe Connectivity Maintenance of Underactuated Multi-Agent Networks in Dynamic Oceanic Environments.
Proceedings of the European Control Conference, 2024
2023
Efficient Computation of State-Constrained Reachability Problems Using Hopf-Lax Formulae.
IEEE Trans. Autom. Control., November, 2023
IEEE Trans. Autom. Control., September, 2023
Online and offline learning of player objectives from partial observations in dynamic games.
Int. J. Robotics Res., September, 2023
SIAM J. Optim., March, 2023
Real-Time Robust Receding Horizon Planning Using Hamilton-Jacobi Reachability Analysis.
IEEE Trans. Robotics, February, 2023
J. Artif. Intell. Res., 2023
Constraint-Guided Online Data Selection for Scalable Data-Driven Safety Filters in Uncertain Robotic Systems.
CoRR, 2023
A Forward Reachability Perspective on Robust Control Invariance and Discount Factors in Reachability Analysis.
CoRR, 2023
Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents.
CoRR, 2023
Learning Players' Objectives in Continuous Dynamic Games from Partial State Observations.
CoRR, 2023
Proceedings of the Learning for Dynamics and Control Conference, 2023
Proceedings of the Learning for Dynamics and Control Conference, 2023
Operating with Inaccurate Models by Integrating Control-Level Discrepancy Information into Planning.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
Proceedings of the European Control Conference, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Out of Distribution Detection via Domain-Informed Gaussian Process State Space Models.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Scenario-Game ADMM: A Parallelized Scenario-Based Solver for Stochastic Noncooperative Games.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Cost Inference for Feedback Dynamic Games from Noisy Partial State Observations and Incomplete Trajectories.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
IEEE Trans. Control. Syst. Technol., 2022
IEEE Trans. Autom. Control., 2022
Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots.
IEEE Robotics Autom. Lett., 2022
Int. J. Robotics Res., 2022
Towards Cyber-Physical Systems Robust to Communication Delays: A Differential Game Approach.
IEEE Control. Syst. Lett., 2022
Generalized Optimality Guarantees for Solving Continuous Observation POMDPs through Particle Belief MDP Approximation.
CoRR, 2022
Navigation between states in ecological communities by taking shortcuts, with application to control.
CoRR, 2022
CoRR, 2022
Proceedings of the 2022 International Conference on Robotics and Automation, 2022
Proceedings of the 2022 International Conference on Robotics and Automation, 2022
Proceedings of the International Conference on Machine Learning, 2022
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
On the Computational Consequences of Cost Function Design in Nonlinear Optimal Control.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
2021
IEEE Trans. Robotics, 2021
IEEE Trans. Control. Syst. Technol., 2021
FaSTrack: A Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking.
IEEE Trans. Autom. Control., 2021
IEEE Robotics Autom. Lett., 2021
IEEE Robotics Autom. Lett., 2021
IEEE Robotics Autom. Lett., 2021
IEEE Control. Syst. Lett., 2021
Learning from learning machines: a new generation of AI technology to meet the needs of science.
CoRR, 2021
Lax Formulae for Efficiently Solving Two Classes of State-Constrained Optimal Control Problems.
CoRR, 2021
CoRR, 2021
A Computationally Efficient Hamilton-Jacobi-based Formula for State-Constrained Optimal Control Problems.
CoRR, 2021
Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability.
CoRR, 2021
Inferring Objectives in Continuous Dynamic Games from Noise-Corrupted Partial State Observations.
Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021
Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021
Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2021
From Robot Learning To Robot Understanding: Leveraging Causal Graphical Models For Robotics.
Proceedings of the Conference on Robot Learning, 8-11 November 2021, London, UK., 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Voronoi Progressive Widening: Efficient Online Solvers for Continuous State, Action, and Observation POMDPs.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Augmented Lagrangian Method for Instantaneously Constrained Reinforcement Learning Problems.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Pointwise Feasibility of Gaussian Process-based Safety-Critical Control under Model Uncertainty.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Identification of Cancer Cell Population Dynamics Leveraging the Effect of Pre-Treatment for Drug Schedule Design.
Proceedings of the 2021 American Control Conference, 2021
Gaussian Process-based Min-norm Stabilizing Controller for Control-Affine Systems with Uncertain Input Effects and Dynamics.
Proceedings of the 2021 American Control Conference, 2021
2020
Toward Distributed Energy Services: Decentralizing Optimal Power Flow With Machine Learning.
IEEE Trans. Smart Grid, 2020
SIAM J. Control. Optim., 2020
IEEE Robotics Autom. Lett., 2020
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
CoRR, 2020
Technical Report: Adaptive Control for Linearizable Systems Using On-Policy Reinforcement Learning.
CoRR, 2020
Eyes-Closed Safety Kernels: Safety of Autonomous Systems Under Loss of Observability.
Proceedings of the Robotics: Science and Systems XVI, 2020
Reinforcement Learning for Safety-Critical Control under Model Uncertainty, using Control Lyapunov Functions and Control Barrier Functions.
Proceedings of the Robotics: Science and Systems XVI, 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
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
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
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
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
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
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
IEEE Trans. Control. Syst. Technol., 2019
IEEE Trans. Autom. Control., 2019
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
IEEE Control. Syst. Lett., 2019
Efficient Iterative Linear-Quadratic Approximations for Nonlinear Multi-Player General-Sum Differential Games.
CoRR, 2019
CoRR, 2019
Regression-based Inverter Control for Decentralized Optimal Power Flow and Voltage Regulation.
CoRR, 2019
Blind identification of fully observed linear time-varying systems via sparse recovery.
Autom., 2019
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
Proceedings of the International Conference on Robotics and Automation, 2019
Proceedings of the International Conference on Robotics and Automation, 2019
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
Proceedings of the International Conference on Robotics and Automation, 2019
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
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
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
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
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
IEEE Trans. Autom. Control., 2018
IEEE Robotics Autom. Lett., 2018
CoRR, 2018
A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets.
CoRR, 2018
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
Secure estimation based Kalman Filter for cyber-physical systems against sensor attacks.
Autom., 2018
Hamilton-Jacobi Reachability: Some Recent Theoretical Advances and Applications in Unmanned Airspace Management.
Annu. Rev. Control. Robotics Auton. Syst., 2018
Robust Tracking with Model Mismatch for Fast and Safe Planning: An SOS Optimization Approach.
Proceedings of the Algorithmic Foundations of Robotics XIII, 2018
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018
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
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
Proceedings of the 2018 Annual American Control Conference, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
IEEE Trans. Control. Netw. Syst., 2017
IEEE Trans. Autom. Control., 2017
IEEE Trans. Autom. Control., 2017
IEEE Robotics Autom. Lett., 2017
Blind Identification of Fully Observed Discrete-Time Linear Time-Varying Systems via Sparse Recovery.
CoRR, 2017
CoRR, 2017
Incentive Design in Human-in-the-Loop Cyber-Physical Systems: A Case Study on Demand Response in California.
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
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
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
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
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
Proceedings of the 2017 American Control Conference, 2017
Proceedings of the 55th Annual Allerton Conference on Communication, 2017
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
IEEE Trans Autom. Sci. Eng., 2016
IEEE Trans. Autom. Control., 2016
CoRR, 2016
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
CoRR, 2016
Guaranteeing Safety and Liveness of Unmanned Aerial Vehicle Platoons on Air Highways.
CoRR, 2016
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
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
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
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
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
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
IEEE Trans. Control. Syst. Technol., 2015
IEEE Trans. Biomed. Eng., 2015
Secure Estimation based Kalman Filter for Cyber-Physical Systems against Adversarial Attacks.
CoRR, 2015
Proceedings of the 32nd International Conference on Machine Learning, 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
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
Proceedings of the 14th European Control Conference, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
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
Proceedings of the American Control Conference, 2015
2014
IEEE Trans. Intell. Transp. Syst., 2014
IEEE Trans. Autom. Control., 2014
IEEE Trans. Autom. Control., 2014
IEEE Trans. Autom. Control., 2014
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
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
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
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
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
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
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
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
Proceedings of the American Control Conference, 2014
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
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
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the American Control Conference, 2013
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
Proceedings of the American Control Conference, 2013
Proceedings of the American Control Conference, 2013
Proceedings of the 51st Annual Allerton Conference on Communication, 2013
2012
IEEE ACM Trans. Comput. Biol. Bioinform., 2012
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
Autom., 2012
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
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
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the American Control Conference, 2012
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
Proceedings of the 50th Annual Allerton Conference on Communication, 2012
2011
Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011
Int. J. Robotics Res., 2011
Proceedings of the Robotics Research, 2011
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011
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
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011
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
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
Proceedings of the American Control Conference, 2011
Proceedings of the American Control Conference, 2011
Optimization-based inference for temporally evolving Boolean networks with applications in biology.
Proceedings of the American Control Conference, 2011
Proceedings of the American Control Conference, 2011
2010
IEEE Trans. Control. Syst. Technol., 2010
IEEE Trans. Autom. Control., 2010
Nonparametric identification of regulatory interactions from spatial and temporal gene expression data.
BMC Bioinform., 2010
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
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the American Control Conference, 2010
Proceedings of the American Control Conference, 2010
2009
Proceedings of the Robotics Research - The 14th International Symposium, 2009
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
Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009
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
Proceedings of the Sixth International Workshop on Wearable and Implantable Body Sensor Networks, 2009
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
IEEE Trans. Autom. Control., 2008
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
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
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
IEEE Commun. Lett., 2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
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
Proceedings of the American Control Conference, 2007
2006
IEEE Trans. Control. Syst. Technol., 2006
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
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
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
Proceedings of the American Control Conference, 2006
Enroute airspace control and controller workload analysis using a novel slot-based sector model.
Proceedings of the American Control Conference, 2006
2005
A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games.
IEEE Trans. Autom. Control., 2005
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
Second order adjoint-based optimization of ordinary and partial differential equations with application to air traffic flow.
Proceedings of the American Control Conference, 2005
Interesting conjugate points in formation constrained optimal multi-agent coordination.
Proceedings of the American Control Conference, 2005
A query-based technique for interpreting reachable sets for hybrid automaton models of protein feedback signaling.
Proceedings of the American Control Conference, 2005
2004
Autom., 2004
Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
An algorithm for reachability computations on hybrid automata models of protein signaling networks.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
Polynomial approximation algorithms for belief matrix maintenance in identity management.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
Proceedings of the 2004 American Control Conference, 2004
Multiple-target tracking and identity management in clutter, with application to aircraft tracking.
Proceedings of the 2004 American Control Conference, 2004
Adjoint-based constrained control of Eulerian transportation networks: application to air traffic control.
Proceedings of the 2004 American Control Conference, 2004
Proceedings of the 2004 American Control Conference, 2004
2003
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
Proceedings of the 7th European Control Conference, 2003
Immediate observability of discrete event systems with application to user-interface design.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
Applications of polytopic approximations of reachable sets to linear dynamic games and a class of nonlinear systems.
Proceedings of the American Control Conference, 2003
Real-time discrete control law synthesis for hybrid systems using MILP: application to congested airspace.
Proceedings of the American 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
Proceedings of the High Performance Computing, 2002
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
A hybrid system model of planar cell polarity signaling in Drosophila melanogaster wing epithelium.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
Proceedings of the American Control Conference, 2002
Proceedings of the American Control Conference, 2002
2001
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
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
A construction procedure using characteristics for viscosity solutions of the Hamilton-Jacobi equation.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
2000
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000
Proceedings of the 39th IEEE Conference on Decision and Control, 2000
Proceedings of the American Control Conference, 2000
Proceedings of the American Control Conference, 2000
1999
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999
1998
Conflict resolution for air traffic management: a study in multiagent hybrid systems.
IEEE Trans. Autom. Control., 1998
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998
1997
Proceedings of the 29th conference on Winter simulation, 1997
Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97, 1997
Proceedings of the Hybrid and Real-Time Systems, 1997
1996
Proceedings of the Hybrid Systems IV, 1996