Ian M. Mitchell

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 24

Top Topics

Control Policies

Top Venues

Publications

Kai Ren, Colin Chen, Hyeontae Sung, Heejin Ahn, Ian M. Mitchell, Maryam Kamgarpour
Safe Chance-constrained Model Predictive Control under Gaussian Mixture Model Uncertainty. CoRR (2024)
Guanxiong Chen, Haoyu Yang, Ian M. Mitchell
ROS-X-Habitat: Bridging the ROS Ecosystem with Embodied AI. CRV (2022)
Heejin Ahn, Colin Chen, Ian M. Mitchell, Maryam Kamgarpour
Safe Motion Planning Against Multimodal Distributions Based on a Scenario Approach. IEEE Control. Syst. Lett. 6 (2022)
Heejin Ahn, Colin Chen, Ian M. Mitchell, Maryam Kamgarpour
Safe Motion Planning against Multimodal Distributions based on a Scenario Approach. CoRR (2021)
Guanxiong Chen, Haoyu Yang, Ian M. Mitchell
ROS-X-Habitat: Bridging the ROS Ecosystem with Embodied AI. CoRR (2021)
Mahdi Yousefi, Klaske van Heusden, Ian M. Mitchell, John Mark Ansermino, Guy Albert Dumont
Falsified Model-Invariant Safety-Preserving Control With Application to Closed-Loop Anesthesia. IEEE Trans. Control. Syst. Technol. 28 (2) (2020)
Ruining (Ray) Wu, Ian M. Mitchell
Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms. NSV@CAV (2019)
Ian M. Mitchell, Jacob Budzis, Andriy Bolyachevets
Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling. CoRR (2019)
Ariadna Estrada, Ian M. Mitchell
Towards an emotionally-aware smart wheelchair: poster abstract. ICCPS (2019)
Mahdi Yousefi, Klaske van Heusden, Ian M. Mitchell, Guy Albert Dumont
Model-invariant viability kernel approximation. Syst. Control. Lett. 127 (2019)
Ian M. Mitchell, Jacob Budzis, Andriy Bolyachevets
Invariant, viability and discriminating kernel under-approximation via zonotope scaling: poster abstract. HSCC (2019)
Zicong Fan, Lili Meng, Tian Qi Chen, Jingchun Li, Ian M. Mitchell
Learning Motion Predictors for Smart Wheelchair Using Autoregressive Sparse Gaussian Process. ICRA (2018)
Ariadna Estrada, Ian M. Mitchell
Control Synthesis and Classification for Unicycle Dynamics using the Gradient and Value Sampling Particle Filters. ADHS (2018)
Mahdi Yousefi, Klaske van Heusden, Ian M. Mitchell, John Mark Ansermino, Guy Albert Dumont
Reducing Conservatism in Model-Invariant Safety-Preserving Control of Propofol Anesthesia Using Falsification. CoRR (2018)
Chaoqun Wang, Lili Meng, Sizhen She, Ian M. Mitchell, Teng Li, Frederick Tung, Weiwei Wan, Max Q.-H. Meng, Clarence W. de Silva
Autonomous mobile robot navigation in uneven and unstructured indoor environments. IROS (2017)
Zicong Fan, Lili Meng, Tian Qi Chen, Jingchun Li, Ian M. Mitchell
Learning Motion Predictors for Smart Wheelchair using Autoregressive Sparse Gaussian Process. CoRR (2017)
Pooja Viswanathan, Ellen P. Zambalde, Geneviève Foley, Julianne L. Graham, Rosalie Wang, Bikram Adhikari, Alan K. Mackworth, Alex Mihailidis, William C. Miller, Ian M. Mitchell
Intelligent wheelchair control strategies for older adults with cognitive impairment: user attitudes, needs, and preferences. Auton. Robots 41 (3) (2017)
Mahdi Yousefi, Klaske van Heusden, Ian M. Mitchell, Guy Albert Dumont
Output-feedback safety-preserving control. ACC (2017)
Chaoqun Wang, Lili Meng, Sizhen She, Ian M. Mitchell, Teng Li, Frederick Tung, Weiwei Wan, Max Q.-H. Meng, Clarence W. de Silva
Autonomous Mobile Robot Navigation in Uneven and Unstructured Indoor Environments. CoRR (2017)
Ian M. Mitchell, Xenofon D. Koutsoukos, Michael S. Branicky, Alexandre M. Bayen
Guest Editorial Special Section on Control and Automation From the 2015 International Conference on Cyber-Physical Systems (ICCPS). IEEE Trans Autom. Sci. Eng. 13 (2) (2016)
Martin Gerdzhev, Joelle Pineau, Ian M. Mitchell, Pooja Viswanathan, Geneviève Foley
On the Use of Modular Software and Hardware for Designing Wheelchair Robots. AAAI Spring Symposia (2016)
Neil Traft, Ian M. Mitchell
Improved action and path synthesis using Gradient Sampling. CDC (2016)
Ian M. Mitchell, Jeffrey Yeh, Forrest J. Laine, Claire J. Tomlin
Ensuring safety for sampled data systems: An efficient algorithm for filtering potentially unsafe input signals. CDC (2016)
Mahdi Yousefi, Klaske van Heusden, Guy Albert Dumont, Ian M. Mitchell, John Mark Ansermino
Model-invariant safety-preserving control. ACC (2016)
Shahab Kaynama, Ian M. Mitchell, Meeko M. K. Oishi, Guy Albert Dumont
Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. IEEE Trans. Autom. Control. 60 (11) (2015)
Ian M. Mitchell, Shahab Kaynama
An improved algorithm for robust safety analysis of sampled data systems. HSCC (2015)
Ian M. Mitchell, Pooja Viswanathan, Bikram Adhikari, Eric Rothfels, Alan K. Mackworth
Shared control policies for safe wheelchair navigation of elderly adults with cognitive and mobility impairments: Designing a wizard of oz study. ACC (2014)
Pouria TalebiFard, Junaed Sattar, Ian M. Mitchell
A risk assessment infrastructure for powered wheelchair motion commands without full sensor coverage. IROS (2014)
John N. Maidens, Shahab Kaynama, Ian M. Mitchell, Meeko M. K. Oishi, Guy Albert Dumont
Lagrangian methods for approximating the viability kernel in high-dimensional systems. Autom. 49 (7) (2013)
Shahab Kaynama, Ian M. Mitchell, Meeko Oishi, Guy Albert Dumont
Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. CoRR (2013)
Shahab Kaynama, Meeko M. K. Oishi, Ian M. Mitchell, Guy Albert Dumont
Fixed-complexity piecewise ellipsoidal representation of the continual reachability set based on ellipsoidal techniques. ACC (2012)
Kenneth Robert Alton, Ian M. Mitchell
An Ordered Upwind Method with Precomputed Stencil and Monotone Node Acceptance for Solving Static Convex Hamilton-Jacobi Equations. J. Sci. Comput. 51 (2) (2012)
Ian M. Mitchell, Mo Chen, Meeko Oishi
. ADHS (2012)
Shahab Kaynama, John N. Maidens, Meeko Oishi, Ian M. Mitchell, Guy Albert Dumont
Computing the viability kernel using maximal reachable sets. HSCC (2012)
Shahab Kaynama, Meeko Oishi, Ian M. Mitchell, Guy Albert Dumont
The continual reachability set and its computation using maximal reachability techniques. CDC/ECC (2011)
Ian M. Mitchell
Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation. HSCC (2011)
Ian M. Mitchell
The Flexible, Extensible and Efficient Toolbox of Level Set Methods. J. Sci. Comput. 35 (2-3) (2008)
Ian M. Mitchell, Yoshihiko Susuki
Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics. HSCC (2008)
Kenneth Robert Alton, Ian M. Mitchell
Fast Marching Methods for Stationary Hamilton-Jacobi Equations with Axis-Aligned Anisotropy. SIAM J. Numer. Anal. 47 (1) (2008)
Kenneth Robert Alton, Ian M. Mitchell
Efficient dynamic programming for optimal multi-location robot rendezvous. CDC (2008)
Elizabeth Ann Cross, Ian M. Mitchell
Level set methods for computing reachable sets of systems with differential algebraic equation dynamics. ACC (2008)
Meeko Oishi, Ian M. Mitchell, Alexandre M. Bayen, Claire J. Tomlin
Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design. IEEE Trans. Control. Syst. Technol. 16 (2) (2008)
Ian M. Mitchell
Comparing Forward and Backward Reachability as Tools for Safety Analysis. HSCC (2007)
Kenneth Robert Alton, Ian M. Mitchell
Optimal Path Planning under Defferent Norms in Continuous State Spaces. ICRA (2006)
Ian M. Mitchell, Jeremy A. Templeton
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. HSCC (2005)
Ian M. Mitchell, Alexandre M. Bayen, Claire J. Tomlin
A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games. IEEE Trans. Autom. Control. 50 (7) (2005)
Jonathan Sprinkle, Aaron D. Ames, J. Mikael Eklund, Ian M. Mitchell, Shankar Sastry
Online safety calculations for glide-slope recapture. Innov. Syst. Softw. Eng. 1 (2) (2005)
Ian M. Mitchell, Shankar Sastry
Continuous path planning with multiple constraints. CDC (2003)
Ian M. Mitchell, Claire J. Tomlin
Overapproximating Reachable Sets by Hamilton-Jacobi Projections. J. Sci. Comput. 19 (1-3) (2003)
Ian M. Mitchell, Alexandre M. Bayen, Claire J. Tomlin
Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets. HSCC (2001)