Author:Ian Mitchell

Publications
A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars Ian Mitchell In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels Ian Mitchell In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery Victor Gan, Guy Dumont and Ian Mitchell In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

adversarial inputs, analytic solution, Anesthesia, benchmark, benchmark proposal, ellipsoidal representation, hypnosis, pharmacodynamics, pharmacokinetics, PKPD, Propofol, reachability analysis, reachable set, robust controlled invariant set, safety, support function representation, verification, viability theory.