Claire J. Tomlin

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

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

Homepages:

On csauthors.net:

Bibliography

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. Contr. Sys. Techn., 2019

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

Incorporating Safety Into Parametric Dynamic Movement Primitives.
IEEE Robotics and Automation Letters, 2019

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

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

Blind identification of fully observed linear time-varying systems via sparse recovery.
Automatica, 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

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

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

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

Online Learning to Approach a Person With No Regret.
IEEE Robotics and Automation Letters, 2018

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

Secure estimation based Kalman Filter for cyber-physical systems against sensor attacks.
Automatica, 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 of Network Systems, 2017

Variance-Constrained Risk Sharing in Stochastic Systems.
IEEE Trans. Automat. Contr., 2017

Multiplayer Reach-Avoid Games via Pairwise Outcomes.
IEEE Trans. Automat. Contr., 2017

Cost-Aware Path Planning Under Co-Safe Temporal Logic Specifications.
IEEE Robotics and Automation Letters, 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. Biology Bioinform., 2016

Guest Editorial Special Section on Human-Centered Automation.
IEEE Trans. Automation Science and Engineering, 2016

Approximation Algorithms for Optimization of Combinatorial Dynamical Systems.
IEEE Trans. Automat. Contr., 2016

Cooperative pursuit with Voronoi partitions.
Automatica, 2016

Sparse network identifiability via Compressed Sensing.
Automatica, 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 Distrib. Syst., 2015

Automation-Assisted Capture-the-Flag: A Differential Game Approach.
IEEE Trans. Contr. Sys. Techn., 2015

Accelerating Submovement Decomposition With Search-Space Reduction Heuristics.
IEEE Trans. Biomed. Engineering, 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 European Control Conference, 2015

Temporal-difference learning for online reachability analysis.
Proceedings of the 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. Intelligent Transportation Systems, 2014

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

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

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

Reaction-diffusion systems in protein networks: Global existence and identification.
Systems & Control Letters, 2014

Exact reconstruction of gene regulatory networks using compressive sensing.
BMC Bioinformatics, 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 European Control Conference, 2014

A design of neural decoder by reducing discrepancy between Manual Control (MC) and Brain Control (BC).
Proceedings of the 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.
Automatica, 2013

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

Provably safe and robust learning-based model predictive control.
Automatica, 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. Biology Bioinform., 2012

A Hierarchical Flight Planning Framework for Air Traffic Management.
Proceedings of the IEEE, 2012

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

Optimization-based Inference for Temporally Evolving Networks with Applications in Biology.
Journal of Computational Biology, 2012

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

On optimal control of non-autonomous switched systems with a fixed mode sequence.
Automatica, 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 Recognition Letters, 2011

Applications of hybrid reachability analysis to robotic aerial vehicles.
I. 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. Contr. Sys. Techn., 2010

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

Nonparametric identification of regulatory interactions from spatial and temporal gene expression data.
BMC Bioinformatics, 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

2009
Monotone Piecewise Affine Systems.
IEEE Trans. Automat. Contr., 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

2008
Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design.
IEEE Trans. Contr. Sys. Techn., 2008

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

Guest Editorial - Special Issue on Systems Biology.
IEEE Trans. Automat. Contr., 2008

Lump-Sum Markets for Air Traffic Flow Control With Competitive Airlines.
Proceedings of the 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

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

Stability Analysis of Explicit Congestion Control Protocols.
IEEE Communications Letters, 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

2006
Adjoint-based control of a new eulerian network model of air traffic flow.
IEEE Trans. Contr. Sys. Techn., 2006

2005
A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games.
IEEE Trans. Automat. Contr., 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.
Automatica, 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

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. Intelligent Transportation Systems, 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.
Automatica, 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...