Integrating Projections. - Mark R. Greenstreet; Ian Mitchell 001 (HSCC, 1998)

Reachability Analysis Using Polygonal Projections. - Mark R. Greenstreet; Ian Mitchell 001 (HSCC, 1999)

Level Set Methods for Computation in Hybrid Systems. - Ian Mitchell 001; Claire J. Tomlin (HSCC, 2000)

Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets. - Ian M. Mitchell; Alexandre M. Bayen; Claire J. Tomlin (HSCC, 2001)

Safety verification of conflict resolution manoeuvres. - Claire J. Tomlin; Ian Mitchell 001; Ronojoy Ghosh (IEEE Trans. Intell. Transp. Syst., 2001)

Hybrid verification of an interface for an automatic landing. - Meeko Oishi; Ian Mitchell 001; Alexandre M. Bayen; Claire J. Tomlin; Asaf Degani (CDC, 2002)

Continuous path planning with multiple constraints. - Ian M. Mitchell; Shankar Sastry 001 (CDC, 2003)

Overapproximating Reachable Sets by Hamilton-Jacobi Projections. - Ian M. Mitchell; Claire J. Tomlin (J. Sci. Comput., 2003)

Computational techniques for the verification of hybrid systems. - Claire J. Tomlin; Ian Mitchell 001; Alexandre M. Bayen; Meeko Oishi (Proc. IEEE, 2003)

A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. - Ian M. Mitchell; Jeremy A. Templeton (HSCC, 2005)

Online safety calculations for glide-slope recapture. - Jonathan Sprinkle; Aaron D. Ames; J. Mikael Eklund; Ian M. Mitchell; Shankar Sastry 001 (Innov. Syst. Softw. Eng., 2005)

A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games. - Ian M. Mitchell; Alexandre M. Bayen; Claire J. Tomlin (IEEE Trans. Autom. Control., 2005)

Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation. - Meeko Oishi; Ian Mitchell 001; Claire J. Tomlin; Patrick Saint-Pierre (CDC, 2006)

Optimal Path Planning under Defferent Norms in Continuous State Spaces. - Kenneth Robert Alton; Ian M. Mitchell (ICRA, 2006)

Comparing Forward and Backward Reachability as Tools for Safety Analysis. - Ian M. Mitchell (HSCC, 2007)

Level set methods for computing reachable sets of systems with differential algebraic equation dynamics. - Elizabeth Ann Cross; Ian M. Mitchell (ACC, 2008)

Efficient dynamic programming for optimal multi-location robot rendezvous. - Kenneth Robert Alton; Ian M. Mitchell (CDC, 2008)

Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics. - Ian M. Mitchell; Yoshihiko Susuki (HSCC, 2008)

The Flexible, Extensible and Efficient Toolbox of Level Set Methods. - Ian M. Mitchell (J. Sci. Comput., 2008)

Fast Marching Methods for Stationary Hamilton-Jacobi Equations with Axis-Aligned Anisotropy. - Kenneth Robert Alton; Ian M. Mitchell (SIAM J. Numer. Anal., 2008)

Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design. - Meeko Oishi; Ian M. Mitchell; Alexandre M. Bayen; Claire J. Tomlin (IEEE Trans. Control. Syst. Technol., 2008)

The continual reachability set and its computation using maximal reachability techniques. - Shahab Kaynama; Meeko Oishi; Ian M. Mitchell; Guy Albert Dumont (CDC/ECC, 2011)

Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation. - Ian M. Mitchell (HSCC, 2011)

Ensuring Safety of Nonlinear Sampled Data Systems through Reachability1. - Ian M. Mitchell; Mo Chen; Meeko Oishi (ADHS, 2012)

Fixed-complexity piecewise ellipsoidal representation of the continual reachability set based on ellipsoidal techniques. - Shahab Kaynama; Meeko M. K. Oishi; Ian M. Mitchell; Guy Albert Dumont (ACC, 2012)

Computing the viability kernel using maximal reachable sets. - Shahab Kaynama; John N. Maidens; Meeko Oishi; Ian M. Mitchell; Guy Albert Dumont (HSCC, 2012)

Best Practices for Scientific Computing - Dhavide A. Aruliah; C. Titus Brown; Neil P. Chue Hong; Matt Davis; Richard T. Guy; Steven H. D. Haddock; Katy Huff; Ian Mitchell 001; Mark D. Plumbley; Ben Waugh; Ethan P. White; Greg Wilson; et al. (CoRR, 2012)

Reproducible Research for Scientific Computing: Tools and Strategies for Changing the Culture. - Victoria Stodden; Randall J. LeVeque; Ian Mitchell 001 (Comput. Sci. Eng., 2012)

An Ordered Upwind Method with Precomputed Stencil and Monotone Node Acceptance for Solving Static Convex Hamilton-Jacobi Equations. - Kenneth Robert Alton; Ian M. Mitchell (J. Sci. Comput., 2012)

Lagrangian methods for approximating the viability kernel in high-dimensional systems. - John N. Maidens; Shahab Kaynama; Ian M. Mitchell; Meeko M. K. Oishi; Guy Albert Dumont (Autom., 2013)

Shared control policies for safe wheelchair navigation of elderly adults with cognitive and mobility impairments: Designing a wizard of oz study. - Ian M. Mitchell; Pooja Viswanathan; Bikram Adhikari; Eric Rothfels; Alan K. Mackworth (ACC, 2014)

Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery. - Victor Gan; Guy Albert Dumont; Ian Mitchell 001 (ARCH@CPSWeek, 2014)

A risk assessment infrastructure for powered wheelchair motion commands without full sensor coverage. - Pouria TalebiFard; Junaed Sattar; Ian M. Mitchell (IROS, 2014)

A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels. - Ian Mitchell 001 (SNR@CAV, 2015)

An improved algorithm for robust safety analysis of sampled data systems. - Ian M. Mitchell; Shahab Kaynama (HSCC, 2015)

Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. - Shahab Kaynama; Ian M. Mitchell; Meeko M. K. Oishi; Guy Albert Dumont (IEEE Trans. Autom. Control., 2015)

On the Use of Modular Software and Hardware for Designing Wheelchair Robots. - Martin Gerdzhev; Joelle Pineau; Ian M. Mitchell; Pooja Viswanathan; Geneviève Foley (AAAI Spring Symposia, 2016)

Model-invariant safety-preserving control. - Mahdi Yousefi; Klaske van Heusden; Guy Albert Dumont; Ian M. Mitchell; John Mark Ansermino (ACC, 2016)

Ensuring safety for sampled data systems: An efficient algorithm for filtering potentially unsafe input signals. - Ian M. Mitchell; Jeffrey Yeh; Forrest J. Laine; Claire J. Tomlin (CDC, 2016)

Improved action and path synthesis using Gradient Sampling. - Neil Traft; Ian M. Mitchell (CDC, 2016)

Guest Editorial Special Section on Control and Automation From the 2015 International Conference on Cyber-Physical Systems (ICCPS). - Ian M. Mitchell; Xenofon D. Koutsoukos; Michael S. Branicky; Alexandre M. Bayen (IEEE Trans Autom. Sci. Eng., 2016)

Output-feedback safety-preserving control. - Mahdi Yousefi; Klaske van Heusden; Ian M. Mitchell; Guy Albert Dumont (ACC, 2017)

Autonomous mobile robot navigation in uneven and unstructured indoor environments. - Chaoqun Wang 009; Lili Meng; Sizhen She; Ian M. Mitchell; Teng Li 005; Frederick Tung; Weiwei Wan; Max Q.-H. Meng; Clarence W. de Silva (IROS, 2017)

Intelligent wheelchair control strategies for older adults with cognitive impairment: user attitudes, needs, and preferences. - 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 (Auton. Robots, 2017)

Control Synthesis and Classification for Unicycle Dynamics using the Gradient and Value Sampling Particle Filters. - Ariadna Estrada; Ian M. Mitchell (ADHS, 2018)

Learning Motion Predictors for Smart Wheelchair Using Autoregressive Sparse Gaussian Process. - Zicong Fan; Lili Meng; Tian Qi Chen; Jingchun Li; Ian M. Mitchell (ICRA, 2018)

Reducing Conservatism in Model-Invariant Safety-Preserving Control of Propofol Anesthesia Using Falsification. - Mahdi Yousefi; Klaske van Heusden; Ian M. Mitchell; John Mark Ansermino; Guy Albert Dumont (CoRR, 2018)

Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms. - Ruining (Ray) Wu; Ian M. Mitchell (NSV@CAV, 2019)

Invariant, viability and discriminating kernel under-approximation via zonotope scaling: poster abstract. - Ian M. Mitchell; Jacob Budzis; Andriy Bolyachevets (HSCC, 2019)

Towards an emotionally-aware smart wheelchair: poster abstract. - Ariadna Estrada; Ian M. Mitchell (ICCPS, 2019)

Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling. - Ian M. Mitchell; Jacob Budzis; Andriy Bolyachevets (CoRR, 2019)

Model-invariant viability kernel approximation. - Mahdi Yousefi; Klaske van Heusden; Ian M. Mitchell; Guy Albert Dumont (Syst. Control. Lett., 2019)

A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars. - Ian M. Mitchell (ARCH, 2020)

Falsified Model-Invariant Safety-Preserving Control With Application to Closed-Loop Anesthesia. - Mahdi Yousefi; Klaske van Heusden; Ian M. Mitchell; John Mark Ansermino; Guy Albert Dumont (IEEE Trans. Control. Syst. Technol., 2020)

ROS-X-Habitat: Bridging the ROS Ecosystem with Embodied AI. - Guanxiong Chen; Haoyu Yang; Ian M. Mitchell (CRV, 2022)

Safe Motion Planning Against Multimodal Distributions Based on a Scenario Approach. - Heejin Ahn; Colin Chen; Ian M. Mitchell; Maryam Kamgarpour (IEEE Control. Syst. Lett., 2022)

Safe Chance-constrained Model Predictive Control under Gaussian Mixture Model Uncertainty. - Kai Ren; Colin Chen; Hyeontae Sung; Heejin Ahn; Ian M. Mitchell; Maryam Kamgarpour (CoRR, 2024)

Comparing Parameterizations and Objective Functions for Maximizing the Volume of Zonotopic Invariant Sets. - Chenliang Zhou; Heejin Ahn; Ian M. Mitchell (CoRR, 2025)

Recursively Feasible Chance-Constrained Model Predictive Control Under Gaussian Mixture Model Uncertainty. - Kai Ren; Colin Chen; Hyeontae Sung; Heejin Ahn; Ian M. Mitchell; Maryam Kamgarpour (IEEE Trans. Control. Syst. Technol., 2025)