Author:Ian Mitchell
Keyphrasesadversarial 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. |