Increases in fast and inexpensive computing and communications have enabled a new generation of embedded control systems that rely on multi-threaded networked execution, distributed optimization, sensor fusion and protocol stacks in increasingly sophisticated ways. The design of such embedded control systems thus inherits the difficulties involved in designing both control systems and distributed (concurrent) computing systems. In this talk, I will describe recently developed methods and tools for specifying, designing and verifying these systems. Applications of the presented methods in various domains will be discussed, including autonomous vehicles, vehicle management in avionics, sensor networks, task allocation and traffic control.
Tichakorn (Nok) Wongpiromsarn is a principal research scientist at Nutonomy, working on developing the planning and decision-making system for autonomous vehicles. She received the B.S. degree in mechanical engineering from Cornell University and the M.S. and Ph.D. degrees in mechanical engineering from California Institute of Technology. During her Ph.D., she was involved in the DARPA Urban Challenge, where she led the Systems team for Team Caltech. Her research spans several areas of control and computer science, including hybrid systems, distributed control systems, formal methods, transportation networks and situational reasoning and decision making in complex, dynamic and uncertain environments.