Ian M. Mitchell
Orcid: 0000-0001-7053-441XAffiliations:
- University of British Columbia, Vancouver, BC, Canada
- Stanford University, CA, USA (PhD 2002)
According to our database1,
Ian M. Mitchell
authored at least 56 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Safe Chance-constrained Model Predictive Control under Gaussian Mixture Model Uncertainty.
CoRR, 2024
2022
IEEE Control. Syst. Lett., 2022
Proceedings of the 19th Conference on Robots and Vision, 2022
2020
Falsified Model-Invariant Safety-Preserving Control With Application to Closed-Loop Anesthesia.
IEEE Trans. Control. Syst. Technol., 2020
2019
Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling.
CoRR, 2019
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019
Invariant, viability and discriminating kernel under-approximation via zonotope scaling: poster abstract.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the Numerical Software Verification - 12th International Workshop, 2019
2018
Reducing Conservatism in Model-Invariant Safety-Preserving Control of Propofol Anesthesia Using Falsification.
CoRR, 2018
Learning Motion Predictors for Smart Wheelchair Using Autoregressive Sparse Gaussian Process.
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018
Control Synthesis and Classification for Unicycle Dynamics using the Gradient and Value Sampling Particle Filters.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
2017
Intelligent wheelchair control strategies for older adults with cognitive impairment: user attitudes, needs, and preferences.
Auton. Robots, 2017
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017
Proceedings of the 2017 American Control Conference, 2017
2016
Guest Editorial Special Section on Control and Automation From the 2015 International Conference on Cyber-Physical Systems (ICCPS).
IEEE Trans Autom. Sci. Eng., 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Ensuring safety for sampled data systems: An efficient algorithm for filtering potentially unsafe input signals.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the 2016 AAAI Spring Symposia, 2016
2015
Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems.
IEEE Trans. Autom. Control., 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels.
Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015
2014
A risk assessment infrastructure for powered wheelchair motion commands without full sensor coverage.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014
Shared control policies for safe wheelchair navigation of elderly adults with cognitive and mobility impairments: Designing a wizard of oz study.
Proceedings of the American Control Conference, 2014
2013
Lagrangian methods for approximating the viability kernel in high-dimensional systems.
Autom., 2013
2012
An Ordered Upwind Method with Precomputed Stencil and Monotone Node Acceptance for Solving Static Convex Hamilton-Jacobi Equations.
J. Sci. Comput., 2012
Reproducible Research for Scientific Computing: Tools and Strategies for Changing the Culture.
Comput. Sci. Eng., 2012
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
Fixed-complexity piecewise ellipsoidal representation of the continual reachability set based on ellipsoidal techniques.
Proceedings of the American Control Conference, 2012
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012
2011
Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011
The continual reachability set and its computation using maximal reachability techniques.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
2008
Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design.
IEEE Trans. Control. Syst. Technol., 2008
Fast Marching Methods for Stationary Hamilton-Jacobi Equations with Axis-Aligned Anisotropy.
SIAM J. Numer. Anal., 2008
J. Sci. Comput., 2008
Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Level set methods for computing reachable sets of systems with differential algebraic equation dynamics.
Proceedings of the American Control Conference, 2008
2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
2006
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006
Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
2005
A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games.
IEEE Trans. Autom. Control., 2005
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005
2003
J. Sci. Comput., 2003
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
2002
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
2001
IEEE Trans. Intell. Transp. Syst., 2001
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
2000
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000
1999
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999
1998
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998