Ian Mitchell

11 papers Journal 4Unranked 7

Year	Rank	Type	Title / Venue / Authors
2015	—	`conf`	A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels. SNR@CAV Ian Mitchell
2014	—	`conf`	Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery. ARCH@CPSWeek Victor Gan, Guy Albert Dumont, Ian Mitchell
2012	J	`jnl`	Best Practices for Scientific Computing CoRR 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
2012	J	`jnl`	Reproducible Research for Scientific Computing: Tools and Strategies for Changing the Culture. Comput. Sci. Eng. Victoria Stodden, Randall J. LeVeque, Ian Mitchell
2006	—	`conf`	Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation. CDC Meeko Oishi, Ian Mitchell, Claire J. Tomlin, Patrick Saint-Pierre
2003	J	`jnl`	Computational techniques for the verification of hybrid systems. Proc. IEEE Claire J. Tomlin, Ian Mitchell, Alexandre M. Bayen, Meeko Oishi
2002	—	`conf`	Hybrid verification of an interface for an automatic landing. CDC Meeko Oishi, Ian Mitchell, Alexandre M. Bayen, Claire J. Tomlin, Asaf Degani
2001	J	`jnl`	Safety verification of conflict resolution manoeuvres. IEEE Trans. Intell. Transp. Syst. Claire J. Tomlin, Ian Mitchell, Ronojoy Ghosh
2000	—	`conf`	Level Set Methods for Computation in Hybrid Systems. HSCC Ian Mitchell, Claire J. Tomlin
1999	—	`conf`	Reachability Analysis Using Polygonal Projections. HSCC Mark R. Greenstreet, Ian Mitchell
1998	—	`conf`	Integrating Projections. HSCC Mark R. Greenstreet, Ian Mitchell