A gain-scheduled PID controller for propofol dosing in anesthesia