Regimens for pediatric sedation.
Pediatric sedation is one of the most challenging areas of clinical practice. The goal of pediatric management is to accomplish treatment on a comfortable and cooperative child. While comfort may be achieved with or without drugs, cooperation may occasionally be achieved only when levels of sedation deepen to the point of obtunding the child. Anatomic and physiologic differences in the pediatric patient give high priority to airway management, oxygenation, and ventilation. Techniques for pediatric sedation and anesthesia are reviewed and recommendations are made for the rational selection of an appropriate pharmacological management technique.
We present a method for synthesising control strategies for continuous dynamical systems. We use Uppaal Tiga for the synthesis in combination with a set-based Euler method for guaranteeing that the synthesis is safe. We present both a general method and a method which provides tighter bounds for monotone systems. As a case-study, we synthesize a guaranteed safe strategy for a simplified adaptive cruise control application. We show that the guaranteed strategy is only slightly more conservative than the strategy generated in the original adaptive cruise control paper which uses a discrete non guaranteed strategy. Also, we show how reinforcement learning may be used to obtain optimal sub-strategies.