Ian Mitchell

Publication Activity (10 Years)

Years Active: 1998-2015
Publications (10 Years): 1

Top Topics

Scientific Computing

Statistical Analysis And Data Mining

Constraint Satisfaction

Top Venues

Comput. Sci. Eng.

Publications

Ian Mitchell
A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels. SNR@CAV (2015)
Victor Gan, Guy Albert Dumont, Ian Mitchell
Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery. ARCH@CPSWeek (2014)
Victoria Stodden, Randall J. LeVeque, Ian Mitchell
Reproducible Research for Scientific Computing: Tools and Strategies for Changing the Culture. Comput. Sci. Eng. 14 (4) (2012)
Dhavide A. Aruliah, C. Titus Brown, Neil P. Chue Hong, Matt Davis, Richard T. Guy, Steven H. D. Haddock, Katy Huff, Ian Mitchell, Mark D. Plumbley, Ben Waugh, Ethan P. White, Greg Wilson, Paul Wilson
Best Practices for Scientific Computing CoRR (2012)
Meeko Oishi, Ian Mitchell, Claire J. Tomlin, Patrick Saint-Pierre
Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation. CDC (2006)
Claire J. Tomlin, Ian Mitchell, Alexandre M. Bayen, Meeko Oishi
Computational techniques for the verification of hybrid systems. Proc. IEEE 91 (7) (2003)
Meeko Oishi, Ian Mitchell, Alexandre M. Bayen, Claire J. Tomlin, Asaf Degani
Hybrid verification of an interface for an automatic landing. CDC (2002)
Claire J. Tomlin, Ian Mitchell, Ronojoy Ghosh
Safety verification of conflict resolution manoeuvres. IEEE Trans. Intell. Transp. Syst. 2 (2) (2001)
Ian Mitchell, Claire J. Tomlin
Level Set Methods for Computation in Hybrid Systems. HSCC (2000)
Mark R. Greenstreet, Ian Mitchell
Reachability Analysis Using Polygonal Projections. HSCC (1999)
Mark R. Greenstreet, Ian Mitchell
Integrating Projections. HSCC (1998)