User profiles for Ian Mitchell
Ian M. MitchellDepartment 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
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 …
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 …
implementation of an exact reachability operator for nonlinear hybrid systems. After a brief …
A hybrid particle level set method for improved interface capturing
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 …
properties of the level set method when the interface is passively advected in a flow field. Our …
[HTML][HTML] Best practices for scientific computing
… 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 …
Plumbley was supported by EPSRC through a Leadership Fellowship (EP/G007144/1) and …
Computational techniques for the verification of hybrid systems
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 …
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. …
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 …
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 …
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 …
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 …
methods, including discharge into waterways and onto fields or simple processing into …