Ian M. Mitchell

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Invariant, viability and discriminating kernel under-approximation via zonotope scaling Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
Model-invariant viability kernel approximation Systems & Control Letters	2019-10-14	Paper
A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games IEEE Transactions on Automatic Control	2017-07-12	Paper
Lagrangian methods for approximating the viability kernel in high-dimensional systems Automatica	2017-06-06	Paper
An improved algorithm for robust safety analysis of sampled data systems Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation Proceedings of the 14th international conference on Hybrid systems: computation and control	2017-05-16	Paper
An ordered upwind method with precomputed stencil and monotone node acceptance for solving static convex Hamilton-Jacobi equations Journal of Scientific Computing	2012-11-05	Paper
The flexible, extensible and efficient toolbox of level set methods Journal of Scientific Computing	2011-01-16	Paper
Fast marching methods for stationary Hamilton-Jacobi equations with axis-aligned anisotropy SIAM Journal on Numerical Analysis	2010-03-24	Paper
Comparing Forward and Backward Reachability as Tools for Safety Analysis Hybrid Systems: Computation and Control	2009-03-11	Paper
Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics Hybrid Systems: Computation and Control	2008-09-02	Paper
Optimization techniques for state-constrained control and obstacle problems Journal of Optimization Theory and Applications	2006-12-19	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2005-11-11	Paper
scientific article; zbMATH DE number 2163583 (Why is no real title available?)	2005-04-29	Paper
Sheared Flow Generation in Imploding Vlasov-Fluid Plasmas Physica Scripta	2004-03-07	Paper
Overapproximating reachable sets by Hamilton-Jacobi projections Journal of Scientific Computing	2004-01-14	Paper
scientific article; zbMATH DE number 1798193 (Why is no real title available?)	2002-11-04	Paper
scientific article; zbMATH DE number 1444360 (Why is no real title available?)	2000-05-09	Paper
Reachability Analysis Using Polygonal Projections Hybrid Systems: Computation and Control	1999-08-16	Paper

Research outcomes over time

This page was built for person: Ian M. Mitchell