Ian M. Mitchell

54 papers A* 2A 2C 5Journal 24Unranked 20

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