Houston, TX 77005
4:00 p.m. Tuesday, April 2, 2013
On Campus | Alumni
A reception will be held at 3:30 PM prior to the talk. Hybrid systems are a mathematical framework that has been widely used to model cyber-physical systems. In this talk, I will present a framework for solving some computationally hard problems, i.e. the controller synthesis for hybrid systems. These problems are concerned with finding ways to control the systems, so as to meet their goals and safety requirements. Our approach is based on the idea of establishing the robustness of execution trajectories, such that a provably correct controller can be synthesized using finitely many valid execution trajectories. We developed a framework, with which these valid trajectories can be obtained from human played computer games that simulate the hybrid systems. I will also discuss a potential deployment in a crowdsourcing scenario. Such implementation will push the existing computation crowdsourcing technology to a new level, as it would enable the use of dynamic human inputs to solve a hard computational problem formally (i.e. with proof).