HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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.

Copyright © 2012-2023 easychair.org. All rights reserved.