Control & Verification

The third skills areas lies in developing effective techniques to monitor and control intelligent machines, such as those used in manufacturing, transportation and biosensing/healthcare systems, and to ensure their safety and dependability. For example, how do we ensure that the embedded software controller of the self- driving car does not crash, or that the implantable blood glucose monitor correctly identifies an abnormal range and raises an alarm? Verification via model checking provides automated methods to establish that given requirements are satisfied, but is challenged by the need to consider the complex interplay of discrete, continuous and probabilistic dynamics. Students will be challenged to apply this material to control and verification problems in diverse areas, such as automotive controllers, wireless security and coordination in rescue scenarios.