Claire J. Tomlin

IEEE Trans. Autom. Control., November, 2023

Convexifying State-Constrained Optimal Control Problem.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., September, 2023

Online and offline learning of player objectives from partial observations in dynamic games.

[BibT_eX]

[DOI]

Int. J. Robotics Res., September, 2023

Inverse Power Flow Problem.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., March, 2023

The Computation of Approximate Generalized Feedback Nash Equilibria.

[BibT_eX]

[DOI]

SIAM J. Optim., March, 2023

Real-Time Robust Receding Horizon Planning Using Hamilton-Jacobi Reachability Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, February, 2023

Optimality Guarantees for Particle Belief Approximation of POMDPs.

[BibT_eX]

[DOI]

Tyler J. Becker

Mykel J. Kochenderfer

J. Artif. Intell. Res., 2023

Constraint-Guided Online Data Selection for Scalable Data-Driven Safety Filters in Uncertain Robotic Systems.

[BibT_eX]

[DOI]

CoRR, 2023

A Forward Reachability Perspective on Robust Control Invariance and Discount Factors in Reachability Analysis.

[BibT_eX]

[DOI]

CoRR, 2023

Deep Neural Networks Tend To Extrapolate Predictably.

[BibT_eX]

[DOI]

CoRR, 2023

Linking vision and motion for self-supervised object-centric perception.

[BibT_eX]

[DOI]

Christopher P. Burgess

CoRR, 2023

Safe Connectivity Maintenance in Underactuated Multi-Agent Networks for Dynamic Oceanic Environments.

[BibT_eX]

[DOI]

Nicolas Hoischen

Marius Wiggert

CoRR, 2023

Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents.

[BibT_eX]

[DOI]

CoRR, 2023

Learning Players' Objectives in Continuous Dynamic Games from Partial State Observations.

[BibT_eX]

[DOI]

CoRR, 2023

Multi-Task Imitation Learning for Linear Dynamical Systems.

[BibT_eX]

[DOI]

Thomas T. C. K. Zhang

Proceedings of the Learning for Dynamics and Control Conference, 2023

Compositional Learning-based Planning for Vision POMDPs.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2023

Operating with Inaccurate Models by Integrating Control-Level Discrepancy Information into Planning.

[BibT_eX]

[DOI]

Ellis Ratner

Maxim Likhachev

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Stability and Robustness of a Hybrid Control Law for the Half-bridge Inverter.

[BibT_eX]

[DOI]

Gabriel E. Colón-Reyes

Kaylene C. Stocking

Proceedings of the European Control Conference, 2023

Multi-Agent Reachability Calibration with Conformal Prediction.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Out of Distribution Detection via Domain-Informed Gaussian Process State Space Models.

[BibT_eX]

[DOI]

Alonso Marco

Elias Morley

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Scenario-Game ADMM: A Parallelized Scenario-Based Solver for Stochastic Noncooperative Games.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Dynamically Computing Adversarial Perturbations for Recurrent Neural Networks.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2022

Risk-Sensitive Safety Analysis Using Conditional Value-at-Risk.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2022

Inducing structure in reward learning by learning features.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2022

Towards Cyber-Physical Systems Robust to Communication Delays: A Differential Game Approach.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Generalized Optimality Guarantees for Solving Continuous Observation POMDPs through Particle Belief MDP Approximation.

[BibT_eX]

[DOI]

Tyler J. Becker

Mykel J. Kochenderfer

David Livingston McPherson

CoRR, 2022

Probabilistic Safe Online Learning with Control Barrier Functions.

[BibT_eX]

[DOI]

CoRR, 2022

Navigation between states in ecological communities by taking shortcuts, with application to control.

[BibT_eX]

[DOI]

CoRR, 2022

Infinite-Horizon Reach-Avoid Zero-Sum Games via Deep Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2022

Maximum Likelihood Constraint Inference on Continuous State Spaces.

[BibT_eX]

[DOI]

Kaylene C. Stocking

Robert P. Matthew

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Multi-Task Learning with Sequence-Conditioned Transporter Networks.

[BibT_eX]

[DOI]

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Lyapunov Density Models: Constraining Distribution Shift in Learning-Based Control.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2022

Navigating Underactuated Agents by Hitchhiking Forecast Flows.

[BibT_eX]

[DOI]

Marius Wiggert

Manan Doshi

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

On the Computational Consequences of Cost Function Design in Nonlinear Optimal Control.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Hamilton-Jacobi Multi-Time Reachability.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Koopman-based Neural Lyapunov functions for general attractors.

[BibT_eX]

[DOI]

Alonso M. Valle

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

A Successive-Elimination Approach to Adaptive Robotic Source Seeking.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2021

Provably Safe and Scalable Multivehicle Trajectory Planning.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2021

FaSTrack: A Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking.

[BibT_eX]

[DOI]

Jaime Fernández Fisac

SooJean Han

IEEE Trans. Autom. Control., 2021

Visual Navigation Among Humans With Optimal Control as a Supervisor.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2021

Efficient Dynamics Estimation With Adaptive Model Sets.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2021

A Robust Control Framework for Human Motion Prediction.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2021

A Hopf-Lax Formula in Hamilton-Jacobi Analysis of Reach-Avoid Problems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2021

Visual Learning-based Planning for Continuous High-Dimensional POMDPs.

[BibT_eX]

[DOI]

CoRR, 2021

Learning from learning machines: a new generation of AI technology to meet the needs of science.

[BibT_eX]

[DOI]

CoRR, 2021

Incorporating Data Uncertainty in Object Tracking Algorithms.

[BibT_eX]

[DOI]

Anish Muthali

David Livingston McPherson

CoRR, 2021

Discretizing Dynamics for Maximum Likelihood Constraint Inference.

[BibT_eX]

[DOI]

Kaylene C. Stocking

Robert P. Matthew

CoRR, 2021

Lax Formulae for Efficiently Solving Two Classes of State-Constrained Optimal Control Problems.

[BibT_eX]

[DOI]

CoRR, 2021

Hamilton-Jacobi Equations for Two Classes of State-Constrained Zero-Sum Games.

[BibT_eX]

[DOI]

CoRR, 2021

A Computationally Efficient Hamilton-Jacobi-based Formula for State-Constrained Optimal Control Problems.

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

Inferring Objectives in Continuous Dynamic Games from Noise-Corrupted Partial State Observations.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Preface.

[BibT_eX]

[DOI]

Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Safe Learning in Robotics.

[BibT_eX]

[DOI]

Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021

Multi-Hypothesis Interactions in Game-Theoretic Motion Planning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

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

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Approximate Solutions to a Class of Reachability Games.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Encoding Defensive Driving as a Dynamic Nash Game.

[BibT_eX]

[DOI]

Chih-Yuan Chiu

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

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

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Analyzing Human Models that Adapt Online.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Feature Expansive Reward Learning: Rethinking Human Input.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2021

From Robot Learning To Robot Understanding: Leveraging Causal Graphical Models For Robotics.

[BibT_eX]

[DOI]

Kaylene Caswell Stocking

Alison Gopnik

Proceedings of the Conference on Robot Learning, 8-11 November 2021, London, UK., 2021

The Multiple Model Adaptive Power System State Estimator.

[BibT_eX]

[DOI]

Keith Moffat

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.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Augmented Lagrangian Method for Instantaneously Constrained Reinforcement Learning Problems.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Robust Control Barrier-Value Functions for Safety-Critical Control.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

2020

Toward Distributed Energy Services: Decentralizing Optimal Power Flow With Machine Learning.

[BibT_eX]

[DOI]

IEEE Trans. Smart Grid, 2020

Smarter Lions: Efficient Cooperative Pursuit in General Bounded Arenas.

[BibT_eX]

[DOI]

Jonathan Richard Shewchuk

Haomiao Huang

SIAM J. Control. Optim., 2020

Design of an Electromagnetic Actuator for an Insect-Scale Spinning-Wing Robot.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2020

An Insect-Scale Self-Sufficient Rolling Microrobot.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2020

Confidence-aware motion prediction for real-time collision avoidance<sup>1</sup>.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

Eyes-Closed Safety Kernels: Safety of Autonomous Systems Under Loss of Observability.

[BibT_eX]

[DOI]

Chih-Yuan Chiu

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.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XVI, 2020

Generating Robust Supervision for Learning-Based Visual Navigation Using Hamilton-Jacobi Reachability.

[BibT_eX]

[DOI]

Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Improving Input-Output Linearizing Controllers for Bipedal Robots via Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Local Differential Privacy for Multi-Agent Distributed Optimal Power Flow.

[BibT_eX]

[DOI]

Proceedings of the IEEE PES Innovative Smart Grid Technologies Europe, 2020

pbSGD: Powered Stochastic Gradient Descent Methods for Accelerated Non-Convex Optimization.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Sparse Tree Search Optimality Guarantees in POMDPs with Continuous Observation Spaces.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Feedback Linearization for Uncertain Systems via Reinforcement Learning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Vicenc Rubies-Royo

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Adaptive Control for Linearizable Systems Using On-Policy Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Expert Selection in High-Dimensional Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Optimal Control of Battery Fast Charging Based-on Pontryagin's Minimum Principle.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Hamilton-Jacobi Formulation for State-Constrained Optimal Control and Zero-Sum Game Problems.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Feedback-Control Based Adversarial Attacks on Recurrent Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Inference-Based Strategy Alignment for General-Sum Differential Games.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Smart Grid, 2019

Robust Sequential Trajectory Planning Under Disturbances and Adversarial Intruder.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2019

On Identification of Distribution Grids.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2019

A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Incorporating Safety Into Parametric Dynamic Movement Primitives.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2019

Correction: Modeling differentiation-state transitions linked to therapeutic escape in triple-negative breast cancer.

[BibT_eX]

[DOI]

PLoS Comput. Biol., 2019

Modeling differentiation-state transitions linked to therapeutic escape in triple-negative breast cancer.

[BibT_eX]

[DOI]

PLoS Comput. Biol., 2019

Global Asymptotic Stability and Stabilization of Long Short-Term Memory Neural Networks with Constant Weights and Biases.

[BibT_eX]

[DOI]

J. Optim. Theory Appl., 2019

On the Powerball Method: Variants of Descent Methods for Accelerated Optimization.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2019

Design of the First Insect-scale Spinning-wing Robot.

[BibT_eX]

[DOI]

CoRR, 2019

Feedback Linearization for Unknown Systems via Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

An Insect-scale Untethered Laser-powered Jumping Microrobot.

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Fast Neural Network Verification via Shadow Prices.

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

Autom., 2019

Efficient Safe Learning for Robotic Systems in Unstructured Environments.

[BibT_eX]

[DOI]

Sara Pohland

Sylvia L. Herbert

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

A Classification-based Approach for Approximate Reachability.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

Removing Leaking Corners to Reduce Dimensionality in Hamilton-Jacobi Reachability.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

Efficient Computation of Feedback Control for Equality-Constrained LQR.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

Safely Probabilistically Complete Real-Time Planning and Exploration in Unknown Environments.

[BibT_eX]

[DOI]

Jaime F. Fisac

Proceedings of the International Conference on Robotics and Automation, 2019

Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

A Scalable Framework For Real-Time Multi-Robot, Multi-Human Collision Avoidance.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Shromona Ghosh

Alberto L. Sangiovanni-Vincentelli

Sanjit A. Seshia

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Combining Optimal Control and Learning for Visual Navigation in Novel Environments.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Parallelizing LQR Computation Through Endpoint-Explicit Riccati Recursion.

[BibT_eX]

[DOI]

Patricia Hidalgo-Gonzalez

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.

[BibT_eX]

[DOI]

Rodrigo Henriquez-Auba

Patricia Hidalgo-Gonzalez

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Reachability-Based Safety Guarantees using Efficient Initializations.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Closed-loop Model Selection for Kernel-based Models using Bayesian Optimization.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Distributed Model Predictive Control for Autonomous Droop-Controlled Inverter-Based Microgrids.

[BibT_eX]

[DOI]

Sean Anderson

Roel Dobbe

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

2018

Secure State Estimation and Control for Cyber Security of the Nonlinear Power Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2018

Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2018

Online Learning to Approach a Person With No Regret.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2018

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

[BibT_eX]

[DOI]

Jaime F. Fisac

CoRR, 2018

A Successive-Elimination Approach to Adaptive Robotic Sensing.

[BibT_eX]

[DOI]

CoRR, 2018

The Parallelization of Riccati Recursion.

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

Efficient Computation of Feedback Control for Constrained Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Data-Driven Decentralized Optimal Power Flow.

[BibT_eX]

[DOI]

CoRR, 2018

Customized Local Differential Privacy for Multi-Agent Distributed Optimization.

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

Context-Specific Validation of Data-Driven Models.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

Shromona Ghosh

Sanjit A. Seshia

CoRR, 2018

Efficient path planning algorithms in reach-avoid problems.

[BibT_eX]

[DOI]

Autom., 2018

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

[BibT_eX]

[DOI]

Autom., 2018

Hamilton-Jacobi Reachability: Some Recent Theoretical Advances and Applications in Unmanned Airspace Management.

[BibT_eX]

[DOI]

Annu. Rev. Control. Robotics Auton. Syst., 2018

Robust Tracking with Model Mismatch for Fast and Safe Planning: An SOS Optimization Approach.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Foundations of Robotics XIII, 2018

Haptic Assistance via Inverse Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Probabilistically Safe Robot Planning with Confidence-Based Human Predictions.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XIV, 2018

Some Local Stability Properties of an Autonomous Long Short-Term Memory Neural Network Model.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Milligram-Scale Micro Aerial Vehicle Design for Low-Voltage Operation.

[BibT_eX]

[DOI]

Patricia Hidalgo-Gonzalez

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Roel Dobbe

Rodrigo Henriquez-Auba

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Control Technology and Applications, 2018

Coded Control over Lossy Networks.

[BibT_eX]

[DOI]

Ye Pu

Jingge Zhu

Karl Henrik Johansson

Kannan Ramchandran

Proceedings of the 2018 Annual American Control Conference, 2018

Budget-Constrained Multi-Armed Bandits With Multiple Plays.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Robust Adaptive Coverage Control for Robotic Sensor Networks.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2017

Variance-Constrained Risk Sharing in Stochastic Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Multiplayer Reach-Avoid Games via Pairwise Outcomes.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Cost-Aware Path Planning Under Co-Safe Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

MBMF: Model-Based Priors for Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2017

Eliciting Private User Information for Residential Demand Response.

[BibT_eX]

[DOI]

Munther A. Dahleh

CoRR, 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

Countering Feedback Delays in Multi-Agent Learning.

[BibT_eX]

[DOI]

Panayotis Mertikopoulos

Nicholas Bambos

Peter W. Glynn

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.

[BibT_eX]

[DOI]

Roel Dobbe

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.

[BibT_eX]

[DOI]

Sylvia L. Herbert

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.

[BibT_eX]

[DOI]

Datong Paul Zhou

Claire Jennifer Tomlin

Proceedings of the 2017 IEEE International Conference on Data Mining Workshops, 2017

How peer effects influence energy consumption.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Hedging strategies for load-serving entities in wholesale electricity markets.

[BibT_eX]

[DOI]

Munther A. Dahleh

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Eliciting private user information for residential demand response.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Identification of nonlinear sparse networks using sparse Bayesian learning.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

FaSTrack: A modular framework for fast and guaranteed safe motion planning.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

A hybrid framework for multi-vehicle collision avoidance.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Goal-driven dynamics learning via Bayesian optimization.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Hamilton-Jacobi reachability: A brief overview and recent advances.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

Quantitative comparison of data-driven and physics-based models for commercial building HVAC systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

Secure state estimation for nonlinear power systems under cyber attacks.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

Secure state estimation for Cyber Physical Systems with sparse malicious packet drops.

[BibT_eX]

[DOI]

Gabriella Fiore

Maria Domenica Di Benedetto

Proceedings of the 2017 American Control Conference, 2017

Safe sequential path planning under disturbances and imperfect information.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

A sequential approximation framework for coded distributed optimization.

[BibT_eX]

[DOI]

Proceedings of the 55th Annual Allerton Conference on Communication, 2017

A model predictive control approach to flow pacing for TCP.

[BibT_eX]

[DOI]

Proceedings of the 55th Annual Allerton Conference on Communication, 2017

2016

Reconstruction of Gene Regulatory Networks Based on Repairing Sparse Low-Rank Matrices.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2016

Guest Editorial Special Section on Human-Centered Automation.

[BibT_eX]

[DOI]

Meeko M. K. Oishi

Dawn M. Tilbury

IEEE Trans Autom. Sci. Eng., 2016

Approximation Algorithms for Optimization of Combinatorial Dynamical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

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

[BibT_eX]

[DOI]

Datong Zhou

CoRR, 2016

On the Powerball Method.

[BibT_eX]

[DOI]

Ye Yuan

Mu Li

CoRR, 2016

Control of Supermarket Refrigeration Systems via Online Combinatorial Optimization.

[BibT_eX]

[DOI]

CoRR, 2016

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

[BibT_eX]

[DOI]

CoRR, 2016

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

[BibT_eX]

[DOI]

CoRR, 2016

Using Neural Networks for Fast Reachable Set Computations.

[BibT_eX]

[DOI]

CoRR, 2016

Secure Estimation for Unmanned Aerial Vehicles against Adversarial Cyber Attacks.

[BibT_eX]

[DOI]

CoRR, 2016

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

[BibT_eX]

[DOI]

CoRR, 2016

Robust Sequential Path Planning Under Disturbances and Adversarial Intruder.

[BibT_eX]

[DOI]

CoRR, 2016

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

[BibT_eX]

[DOI]

CoRR, 2016

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

[BibT_eX]

[DOI]

CoRR, 2016

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

[BibT_eX]

[DOI]

CoRR, 2016

Cooperative pursuit with Voronoi partitions.

[BibT_eX]

[DOI]

Autom., 2016

Sparse network identifiability via Compressed Sensing.

[BibT_eX]

[DOI]

Autom., 2016

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Residential demand response targeting using machine learning with observational data.

[BibT_eX]

[DOI]

Datong Zhou

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.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Multi-vehicle collision avoidance via hamilton-jacobi reachability and mixed integer programming.

[BibT_eX]

[DOI]

Jennifer C. Shih

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Fast reachable set approximations via state decoupling disturbances.

[BibT_eX]

[DOI]

Sylvia L. Herbert

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.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Learning quadrotor dynamics using neural network for flight control.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Optimal mode-switching and control synthesis for floating offshore wind turbines.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

Building model identification during regular operation - empirical results and challenges.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

A Bayesian perspective on Residential Demand Response using smart meter data.

[BibT_eX]

[DOI]

Datong Zhou

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.

[BibT_eX]

[DOI]

Pangun Park

IEEE Trans. Parallel Distributed Syst., 2015

Automation-Assisted Capture-the-Flag: A Differential Game Approach.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2015

Accelerating Submovement Decomposition With Search-Space Reduction Heuristics.

[BibT_eX]

[DOI]

IEEE Trans. Biomed. Eng., 2015

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

[BibT_eX]

[DOI]

CoRR, 2015

The Hedge Algorithm on a Continuum.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Machine Learning, 2015

Reach-avoid problems with time-varying dynamics, targets and constraints.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Towards online reachability analysis with temporal-differencing.

[BibT_eX]

[DOI]

Anayo K. Akametalu

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.

[BibT_eX]

[DOI]

Proceedings of the 14th European Control Conference, 2015

Temporal-difference learning for online reachability analysis.

[BibT_eX]

[DOI]

Anayo K. Akametalu

Proceedings of the 14th European Control Conference, 2015

Exact and efficient Hamilton-Jacobi reachability for decoupled systems.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Safe platooning of unmanned aerial vehicles via reachability.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Retrieving common dynamics of gene regulatory networks under various perturbations.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Iterative function separation for gene regulatory function identification.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Indirect load control for electricity market risk management via risk-limiting dynamic contracts.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

Adaptively constrained stochastic model predictive control applied to security constrained optimal power flow.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

A mean field equilibrium for a model of interbank lending.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

2014

Hybrid Communication Protocols and Control Algorithms for NextGen Aircraft Arrivals.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2014

On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

High Confidence Networked Control for Next Generation Air Transportation Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Guest Editorial Special Issue on Control of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Karl Henrik Johansson

George J. Pappas

Paulo Tabuada

IEEE Trans. Autom. Control., 2014

Reaction-diffusion systems in protein networks: Global existence and identification.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

Exact reconstruction of gene regulatory networks using compressive sensing.

[BibT_eX]

[DOI]

BMC Bioinform., 2014

A practical reachability-based collision avoidance algorithm for sampled-data systems: Application to ground robots.

[BibT_eX]

[DOI]

Charles Dabadie

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 13th European Control Conference, 2014

A design of neural decoder by reducing discrepancy between Manual Control (MC) and Brain Control (BC).

[BibT_eX]

[DOI]

Proceedings of the 13th European Control Conference, 2014

Utility learning model predictive control for personal electric loads.

[BibT_eX]

[DOI]

Melanie Nicole Zeilinger

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Inverse covariance estimation from data with missing values using the Concave-Convex Procedure.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Design of a neural decoder by sensory prediction and error correction.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

A path defense approach to the multiplayer reach-avoid game.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Melanie Nicole Zeilinger

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Reachability-based safe learning with Gaussian processes.

[BibT_eX]

[DOI]

Anayo K. Akametalu

Jaime F. Fisac

Melanie Nicole Zeilinger

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Convexity verification for a hybrid chance constrained method in stochastic control problems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

Dynamic contracts with partial observations: Application to indirect load control.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

Multiplayer reach-avoid games via low dimensional solutions and maximum matching.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

Direct load control for electricity market risk management via risk-limiting dynamic contracts.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Allerton Conference on Communication, 2014

Contract design for frequency regulation by aggregations of commercial buildings.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Allerton Conference on Communication, 2014

2013

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

[BibT_eX]

[DOI]

Autom., 2013

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

[BibT_eX]

[DOI]

Autom., 2013

Provably safe and robust learning-based model predictive control.

[BibT_eX]

[DOI]

Autom., 2013

One-shot computation of reachable sets for differential games.

[BibT_eX]

[DOI]

Sabine Becker-Weimann

Mina J. Bissell

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Regularization-based identification for level set equations.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Infinitesimal interconnection variation in nonlinear networked systems.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

A probabilistic approach to planning and control in autonomous urban driving.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Optimal load management system for Aircraft Electric Power distribution.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Low-rank representation of neural activity and detection of submovements.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Identification of surface tension in mean curvature flow.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

Evasion as a team against a faster pursuer.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

Optimal control of partially observable discrete time stochastic hybrid systems for safety specifications.

[BibT_eX]

[DOI]

Jerry Ding

Alessandro Abate

Proceedings of the American Control Conference, 2013

Energy management via pricing in LQ dynamic games.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

On efficiency in mean field differential games.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

A dynamic VCG mechanism for random allocation spaces.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Allerton Conference on Communication, 2013

2012

A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2012

A Hierarchical Flight Planning Framework for Air Traffic Management.

[BibT_eX]

[DOI]

Proc. IEEE, 2012

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

[BibT_eX]

[DOI]

Proc. IEEE, 2012

Optimization-based Inference for Temporally Evolving Networks with Applications in Biology.

[BibT_eX]

[DOI]

J. Comput. Biol., 2012

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

[BibT_eX]

[DOI]

CoRR, 2012

Energy-Efficient Building HVAC Control Using Hybrid System LBMPC

[BibT_eX]

[DOI]

CoRR, 2012

On efficient sensor scheduling for linear dynamical systems.

[BibT_eX]

[DOI]

Autom., 2012

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

[BibT_eX]

[DOI]

Autom., 2012

Quantitative methods for comparing different HVAC control schemes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems VIII, 2012

A hierarchical method for stochastic motion planning in uncertain environments.

[BibT_eX]

[DOI]

Wei Zhang

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Guaranteed Safe Online Learning via Reachability: tracking a ground target using a quadrotor.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Learning-based model predictive control on a quadrotor: Onboard implementation and experimental results.

[BibT_eX]

[DOI]

Patrick Bouffard

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Investigating Communication Infrastructure of Next Generation Air Traffic Management.

[BibT_eX]

[DOI]

Pangun Park

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.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

A general, open-loop formulation for reach-avoid games.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

A hybrid method for chance constrained control in uncertain environments.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Multiphase mixed-integer optimal control framework for aircraft conflict avoidance.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Data-driven graph reconstruction using compressive sensing.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Pursuit, evasion and defense in the plane.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

Identifying models of HVAC systems using semiparametric regression.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

Extensions of learning-based model predictive control for real-time application to a quadrotor helicopter.

[BibT_eX]

[DOI]

Patrick Bouffard

Proceedings of the American Control Conference, 2012

Incentive design for efficient building quality of service.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011

Hybrid Systems in Robotics.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2011

Mathematical Models to Help Understand Developmental Biology and Cancer.

[BibT_eX]

[DOI]

Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

Versatile spectral methods for point set matching.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 2011

Applications of hybrid reachability analysis to robotic aerial vehicles.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2011

Robust Adaptive Coverage for Robotic Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Robotics Research, 2011

Guaranteed safe online learning of a bounded system.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011

Closed-loop belief space planning for linear, Gaussian systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Reachability-based synthesis of feedback policies for motion planning under bounded disturbances.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

A stochastic reach-avoid problem with random obstacles.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

On feedback design and risk allocation in chance constrained control.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Discrete time stochastic hybrid dynamical games: Verification & controller synthesis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Decentralized flight path planning for air traffic management.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2011

Biologically-inspired coordination of multiple UAVs using sliding mode control.

[BibT_eX]

[DOI]

J. Karl Hedrick

Proceedings of the American Control Conference, 2011

Optimization-based inference for temporally evolving Boolean networks with applications in biology.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2011

Game-theoretic routing of GPS-assisted vehicles for energy efficiency.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2011

2010

Decentralized Spacing Control of a String of Multiple Vehicles Over Lossy Datalinks.

[BibT_eX]

[DOI]

Rodney Teo

IEEE Trans. Control. Syst. Technol., 2010

Mobile Sensor Network Control Using Mutual Information Methods and Particle Filters.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2010

Nonparametric identification of regulatory interactions from spatial and temporal gene expression data.

[BibT_eX]

[DOI]

BMC Bioinform., 2010

Sensor Placement for Improved Robotic Navigation.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems VI, 2010

Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2010

A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems.

[BibT_eX]

[DOI]

Humberto González

Ramanarayan Vasudevan

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.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

On sensor scheduling of linear dynamical systems with error bounds.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Trajectory generation for aircraft subject to dynamic weather uncertainty.

[BibT_eX]

[DOI]

Vera M. Dadok

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A numerical method for the optimal control of switched systems.

[BibT_eX]

[DOI]

Humberto González

Ramanarayan Vasudevan

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Robust reach-avoid controller synthesis for switched nonlinear systems.

[BibT_eX]

[DOI]

Jerry Ding

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Computer-aided drug discovery for pathway and genetic diseases.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Modeling and analysis of cell differentiation using hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2010

An ODE model for the HER2/3-AKT signaling pathway in cancers that overexpress HER2.

[BibT_eX]

[DOI]

Solomon Itani

Proceedings of the American Control Conference, 2010

2009

Monotone Piecewise Affine Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2009

Design and Analysis of Hybrid Systems, with Applications to Robotic Aerial Vehicles.

[BibT_eX]

[DOI]

Proceedings of the Robotics Research - The 14th International Symposium, 2009

Stanford Testbed of Autonomous Rotorcraft for Multi-Agent Control.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009

Aerodynamics and control of autonomous quadrotor helicopters in aggressive maneuvering.

[BibT_eX]

[DOI]

Haomiao Huang

Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

Statistics for sparse, high-dimensional, and nonparametric system identification.

[BibT_eX]

[DOI]

Peter J. Bickel

Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

Trajectory optimization in convex underapproximations of safe regions.

[BibT_eX]

[DOI]

Jerry Ding

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

System identification of hunchback protein patterning in early drosophila embryogenesis.

[BibT_eX]

[DOI]

Harendra Guturu

Maria Domenica Di Benedetto

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Classification of Physical Interactions between Two Subjects.

[BibT_eX]

[DOI]

Ruzena Bajcsy

Alessandro Borri

Annarita Giani

Proceedings of the Sixth International Workshop on Wearable and Implantable Body Sensor Networks, 2009

Graph-theoretic topological control of biological genetic networks.

[BibT_eX]

[DOI]

Nicholas Boyd

Proceedings of the American Control Conference, 2009

2008

Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2008

An Adjoint-Based Parameter Identification Algorithm Applied to Planar Cell Polarity Signaling.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2008

Guest Editorial - Special Issue on Systems Biology.

[BibT_eX]

[DOI]

Mustafa Khammash

M. Vidyasagar

IEEE Trans. Autom. Control., 2008

Lump-Sum Markets for Air Traffic Flow Control With Competitive Airlines.

[BibT_eX]

[DOI]

Ramesh Johari

Proc. IEEE, 2008

Locally optimal decomposition for autonomous obstacle avoidance with the Tunnel-MILP algorithm.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Convergence properties of a decentralized Kalman filter.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Decentralized cooperative collision avoidance for acceleration constrained vehicles.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Reachability calculations for automated aerial refueling.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Topology based control of biological genetic networks.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Optimal discovery of a stochastic genetic network.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2008

2007

Conjugate Points in Formation Constrained Optimal Multi-Agent Coordination: A Case Study.

[BibT_eX]

[DOI]

Jianghai Hu

Maria Prandini

SIAM J. Control. Optim., 2007

Stability Analysis of Explicit Congestion Control Protocols.

[BibT_eX]

[DOI]

IEEE Commun. Lett., 2007

A New Hybrid State Estimator for Systems with Limited Mode Changes.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Convergence of Lump-Sum Markets with Price-Anticipating Agents.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

Autonomous Automobile Trajectory Tracking for Off-Road Driving: Controller Design, Experimental Validation and Racing.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

Solving the aircraft routing problem using network flow algorithms.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

2006

Adjoint-based control of a new eulerian network model of air traffic flow.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2006

Efficient Market-Based Air Traffic Flow Control with Competing Airlines.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Tractable Algorithm for Open Loop Stochastic Control.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Mutual Information Methods with Particle Filters for Mobile Sensor Network Control.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Toward efficient and equitable distributed air traffic flow control.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

Enroute airspace control and controller workload analysis using a novel slot-based sector model.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

2005

A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games.

[BibT_eX]

[DOI]

Ian M. Mitchell

IEEE Trans. Autom. Control., 2005

Session Overview Robot Design and Control.

[BibT_eX]

[DOI]

Proceedings of the Robotics Research: Results of the 12th International Symposium, 2005

Multi-agent quadrotor testbed control design: integral sliding mode vs. reinforcement learning.

[BibT_eX]

[DOI]

Jung Soon Jang

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.

[BibT_eX]

[DOI]

Jianghai Hu

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.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2005

Interesting conjugate points in formation constrained optimal multi-agent coordination.

[BibT_eX]

[DOI]

Jianghai Hu

Maria Prandini

Proceedings of the American Control Conference, 2005

A query-based technique for interpreting reachable sets for hybrid automaton models of protein feedback signaling.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2005

2004

Decentralized overlapping control of a formation of unmanned aerial vehicles.

[BibT_eX]

[DOI]

Autom., 2004

Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Inference Methods for Autonomous Stochastic Linear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Automated multiple UAV flight - the Stanford DragonFly UAV Program.

[BibT_eX]

[DOI]

Rodney Teo

Jung Soon Jang

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Distributed optimization for cooperative agents: application to formation flight.

[BibT_eX]

[DOI]

Stephen P. Boyd

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

A distributed multiple-target identity management algorithm in sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

An algorithm for reachability computations on hybrid automata models of protein signaling networks.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

An approximation algorithm for scheduling aircraft with holding time.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Polynomial approximation algorithms for belief matrix maintenance in identity management.

[BibT_eX]

[DOI]

Hamsa Balakrishnan

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Hybrid control: from air traffic to fly wings.

[BibT_eX]

[DOI]

Proceedings of the 2004 American Control Conference, 2004

Multiple-target tracking and identity management in clutter, with application to aircraft tracking.

[BibT_eX]

[DOI]

Proceedings of the 2004 American Control Conference, 2004

Adjoint-based constrained control of Eulerian transportation networks: application to air traffic control.

[BibT_eX]

[DOI]

Proceedings of the 2004 American Control Conference, 2004

Eulerian network model of air traffic flow in congested areas.

[BibT_eX]

[DOI]

Proceedings of the 2004 American Control Conference, 2004

2003

Computational techniques for the verification of hybrid systems.

[BibT_eX]

[DOI]

Proc. IEEE, 2003

Overapproximating Reachable Sets by Hamilton-Jacobi Projections.

[BibT_eX]

[DOI]

Ian M. Mitchell

J. Sci. Comput., 2003

Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata.

[BibT_eX]

[DOI]

Ashish Tiwari

Proceedings of the Hybrid Systems: Computation and Control, 2003

Computation of an over-approximation of the backward reachable set using subsystem level set functions.

[BibT_eX]

[DOI]

Proceedings of the 7th European Control Conference, 2003

Observability criteria and estimator design for stochastic linear hybrid systems.

[BibT_eX]

[DOI]

Hamsa Balakrishnan

Proceedings of the 7th European Control Conference, 2003

Immediate observability of discrete event systems with application to user-interface design.

[BibT_eX]

[DOI]

Meeko Oishi

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Performance analysis of hybrid estimation algorithms.

[BibT_eX]

[DOI]

Hamsa Balakrishnan

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

MILP formulation and polynomial time algorithm for an aircraft scheduling problem.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2003

Real-time discrete control law synthesis for hybrid systems using MILP: application to congested airspace.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Eva Crück

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing, 2002

Hybrid verification of an interface for an automatic landing.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Decentralized optimization, with application to multiple aircraft coordination.

[BibT_eX]

[DOI]

Gökhan Inalhan

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.

[BibT_eX]

[DOI]

Keith Amonlirdviman

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Protocol-based conflict resolution for finite information horizon.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2002

Delay predictive models of the National Airspace System using hybrid control theory.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2002

2001

Safety verification of conflict resolution manoeuvres.

[BibT_eX]

[DOI]

Ian Mitchell

IEEE Trans. Intell. Transp. Syst., 2001

Addressing Multiobjective Control: Safety and Performance through Constrained Optimization.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets.

[BibT_eX]

[DOI]

Ian M. Mitchell

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

A game theoretic approach to controller design for hybrid systems.

[BibT_eX]

[DOI]

S. Shankar Sastry

Proc. IEEE, 2000

Level Set Methods for Computation in Hybrid Systems.

[BibT_eX]

[DOI]

Ian Mitchell

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Ellipsoidal approximations of reachable sets for linear games.

[BibT_eX]

[DOI]

Norihiko Shishido

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Switching in nonminimum phase systems: applications to a VSTOL aircraft.

[BibT_eX]

[DOI]

Meeko Oishi

Proceedings of the American Control Conference, 2000

Maneuver design for multiple aircraft conflict resolution.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2000

1999

Controllers for reachability specifications for hybrid systems.

[BibT_eX]

[DOI]

Autom., 1999

Computing Controllers for Nonlinear Hybrid Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

George J. Pappas

IEEE Trans. Autom. Control., 1998

Synthesizing Controllers for Nonlinear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1997

SmartATMS: A Simulator for Air Traffic Management Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th conference on Winter simulation, 1997

Generation of conflict resolution manoeuvres for air traffic management.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Hybrid and Real-Time Systems, 1997

1996

Hybrid Control Models of Next Generarion AIr Traffic Management.

[BibT_eX]

[DOI]