Claire J. Tomlin
According to our database^{1},
Claire J. Tomlin
authored at least 216 papers
between 1996 and 2019.
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 OtherLinks
Homepages:

at viaf.org

at orcid.org

at id.loc.gov

at isni.org
On csauthors.net:
Bibliography
2019
PlugandPlay 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 LearningBased 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 ShortTerm 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 timevarying systems via sparse recovery.
Automatica, 2019
LongShort Term Memory Neural Network Stability and Stabilization using Linear Matrix Inequalities.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019
A Classificationbased Approach for Approximate Reachability.
Proceedings of the International Conference on Robotics and Automation, 2019
Removing Leaking Corners to Reduce Dimensionality in HamiltonJacobi Reachability.
Proceedings of the International Conference on Robotics and Automation, 2019
Efficient Computation of Feedback Control for EqualityConstrained LQR.
Proceedings of the International Conference on Robotics and Automation, 2019
Safely Probabilistically Complete RealTime Planning and Exploration in Unknown Environments.
Proceedings of the International Conference on Robotics and Automation, 2019
Bridging HamiltonJacobi Safety Analysis and Reinforcement Learning.
Proceedings of the International Conference on Robotics and Automation, 2019
A Scalable Framework For RealTime MultiRobot, MultiHuman 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 reachavoid problems.
Automatica, 2018
Secure estimation based Kalman Filter for cyberphysical 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 ConfidenceBased Human Predictions.
Proceedings of the Robotics: Science and Systems XIV, 2018
Some Local Stability Properties of an Autonomous Long ShortTerm Memory Neural Network Model.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018
MilligramScale Micro Aerial Vehicle Design for LowVoltage Operation.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018
Planning, Fast and Slow: A Framework for Adaptive RealTime 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 HourAhead 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
BudgetConstrained MultiArmed Bandits With Multiple Plays.
Proceedings of the ThirtySecond AAAI Conference on Artificial Intelligence, 2018
2017
Robust Adaptive Coverage Control for Robotic Sensor Networks.
IEEE Trans. Control of Network Systems, 2017
VarianceConstrained Risk Sharing in Stochastic Systems.
IEEE Trans. Automat. Contr., 2017
Multiplayer ReachAvoid Games via Pairwise Outcomes.
IEEE Trans. Automat. Contr., 2017
CostAware Path Planning Under CoSafe Temporal Logic Specifications.
IEEE Robotics and Automation Letters, 2017
Countering Feedback Delays in MultiAgent Learning.
Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017
Fully Decentralized Policies for MultiAgent 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 HamiltonJacobi 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 Nonexperimental 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 loadserving 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 multivehicle collision avoidance.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Goaldriven dynamics learning via Bayesian optimization.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
HamiltonJacobi 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 realtime pricing.
Proceedings of the 2017 American Control Conference, 2017
Quantitative comparison of datadriven and physicsbased 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 LowRank Matrices.
IEEE/ACM Trans. Comput. Biology Bioinform., 2016
Guest Editorial Special Section on HumanCentered 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 ZeroSum Games.
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016
RealTime Distribution Grid State Estimation with Limited Sensors and Load Forecasting.
Proceedings of the 7th ACM/IEEE International Conference on CyberPhysical 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
Multivehicle collision avoidance via hamiltonjacobi 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 modeswitching 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
AutomationAssisted CapturetheFlag: A Differential Game Approach.
IEEE Trans. Contr. Sys. Techn., 2015
Accelerating Submovement Decomposition With SearchSpace Reduction Heuristics.
IEEE Trans. Biomed. Engineering, 2015
The Hedge Algorithm on a Continuum.
Proceedings of the 32nd International Conference on Machine Learning, 2015
Reachavoid problems with timevarying dynamics, targets and constraints.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Towards online reachability analysis with temporaldifferencing.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Safe sequential path planning of multivehicle systems via doubleobstacle HamiltonJacobiIsaacs variational inequality.
Proceedings of the European Control Conference, 2015
Temporaldifference learning for online reachability analysis.
Proceedings of the European Control Conference, 2015
Exact and efficient HamiltonJacobi 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 risklimiting 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 InfiniteHorizon 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 CyberPhysical Systems.
IEEE Trans. Automat. Contr., 2014
Reactiondiffusion 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 reachabilitybased collision avoidance algorithm for sampleddata 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
Samplingbased approximation of the viability kernel for highdimensional linear sampleddata 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 ConcaveConvex 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 reachavoid game.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Plugandplay model predictive control for electric vehicle charging and voltage control in smart grids.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Reachabilitybased 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 reachavoid games via low dimensional solutions and maximum matching.
Proceedings of the American Control Conference, 2014
Direct load control for electricity market risk management via risklimiting 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 learningbased model predictive control.
Automatica, 2013
Oneshot computation of reachable sets for differential games.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013
Regularizationbased 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
Lowrank 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 LearningBased ModelPredictive Control.
Proceedings of the IEEE, 2012
Optimizationbased 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 nonautonomous 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
Timeoptimal multistage motion planning with guaranteed collision avoidance via an openloop 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
Learningbased 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 CyberPhysical 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, openloop formulation for reachavoid 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 mixedinteger optimal control framework for aircraft conflict avoidance.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Datadriven 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 learningbased model predictive control for realtime 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
Closedloop 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 capturetheflag.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011
Reachabilitybased synthesis of feedback policies for motion planning under bounded disturbances.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011
A stochastic reachavoid 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 pursuitevasion 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 infinitehorizon 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 reachavoid controller synthesis for switched nonlinear systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Computeraided 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 MultiAgent 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, highdimensional, 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
InvariancePreserving Abstractions of Hybrid Systems: Application to User Interface Design.
IEEE Trans. Contr. Sys. Techn., 2008
An AdjointBased 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
LumpSum Markets for Air Traffic Flow Control With Competitive Airlines.
Proceedings of the IEEE, 2008
Locally optimal decomposition for autonomous obstacle avoidance with the TunnelMILP 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 MultiAgent 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 PiecewiseAffine Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
2006
Adjointbased control of a new eulerian network model of air traffic flow.
IEEE Trans. Contr. Sys. Techn., 2006
2005
A timedependent HamiltonJacobi 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
Multiagent quadrotor testbed control design: integral sliding mode vs. reinforcement learning.
Proceedings of the 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2005
AdjointBased 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 HamiltonJacobi Projections.
J. Sci. Comput., 2003
Automated Symbolic Reachability Analysis; with Application to DeltaNotch Signaling Automata.
Proceedings of the Hybrid Systems: Computation and Control, 2003
2002
Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the HamiltonJacobi Equation Using Viability Techniques.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002
Reachability Analysis of DeltaNotchLateral 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 HamiltonJacobi Approximation to Hybrid System Reachable Sets.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
Lateral Inhibition through DeltaNotch 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 RealWorld Applications. IROS '97, 1997
Multiobjective Hybrid Controller Synthesis.
Proceedings of the Hybrid and RealTime Systems, 1997
1996
Hybrid Control Models of Next Generarion AIr Traffic Management.
Proceedings of the Hybrid Systems IV, 1996