User profiles for Ian Mitchell

Ian M. Mitchell

Department of Computer Science, The University of British Columbia
Verified email at cs.ubc.ca
Cited by 8270

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

IM Mitchell, AM Bayen, CJ Tomlin - IEEE Transactions on …, 2005 - ieeexplore.ieee.org
We describe and implement an algorithm for computing the set of reachable states of a
continuous dynamic game. The algorithm is based on a proof that the reachable set is the zero …

Level set methods for computation in hybrid systems

I Mitchell, CJ Tomlin - … workshop on hybrid systems: Computation and …, 2000 - Springer
Reachability analysis is frequently used to study the safety of control systems. We present an
implementation of an exact reachability operator for nonlinear hybrid systems. After a brief …

A hybrid particle level set method for improved interface capturing

D Enright, R Fedkiw, J Ferziger, I Mitchell - Journal of Computational …, 2002 - Elsevier
In this paper, we propose a new numerical method for improving the mass conservation
properties of the level set method when the interface is passively advected in a flow field. Our …

[HTML][HTML] Best practices for scientific computing

…, RT Guy, SHD Haddock, KD Huff, IM Mitchell… - PLoS …, 2014 - journals.plos.org
Mitchell, … Ian M. Mitchell was supported by NSERC Discovery Grant #298211. Mark
Plumbley was supported by EPSRC through a Leadership Fellowship (EP/G007144/1) and …

Computational techniques for the verification of hybrid systems

CJ Tomlin, I Mitchell, AM Bayen… - Proceedings of the …, 2003 - ieeexplore.ieee.org
Hybrid system theory lies at the intersection of the fields of engineering control theory and
computer science verification. It is defined as the modeling, analysis, and control of systems …

Palivizumab prophylaxis, respiratory syncytial virus, and subsequent recurrent wheezing

…, X Carbonell-Estrany, CHL Rieger, I Mitchell… - The Journal of …, 2007 - Elsevier
OBJECTIVE: Children who experience respiratory syncytial virus (RSV) lower respiratory
tract infections (LRTIs) early in life have high rates of subsequent recurrent wheezing. …

[PDF][PDF] A toolbox of level set methods

IM Mitchell - UBC Department of Computer Science Technical …, 2007 - cs.ubc.ca
Ian Mitchell, UBC Computer Science … Ian Mitchell, UBC Computer Science … Ian
Mitchell, UBC Computer Science …

The flexible, extensible and efficient toolbox of level set methods

IM Mitchell - Journal of Scientific Computing, 2008 - Springer
Level set methods are a popular and powerful class of numerical algorithms for dynamic
implicit surfaces and solution of Hamilton-Jacobi PDEs. While the advanced level set schemes …

Pseudomonas aeruginosa Quorum-Sensing Systems May Control Virulence Factor Expression in the Lungs of Patients with Cystic Fibrosis

…, K Stuber, DD Vollman, HR Rabin, I Mitchell… - Infection and …, 2002 - Am Soc Microbiol
Individuals with cystic fibrosis (CF) are commonly colonized with Pseudomonas aeruginosa.
The chronic infections caused by P. aeruginosa are punctuated by acute exacerbations of …

New opportunities from the isolation and utilization of whey proteins

…, C Goddard, PA Grieve, GH McIntosh, IR Mitchell… - Journal of dairy …, 1996 - Elsevier
Management of dairy whey has often involved implementation of the most economical disposal
methods, including discharge into waterways and onto fields or simple processing into …