For her outstanding work in hybrid systems, a theoretical area very important to robotics, Professor Necmiye Ozay has received a major best paper award. The details of her award are here. Necmiye’s work on Correct-by-Design Control Software Synthesis is aimed at breaking down the barriers that have prevented this field from tackling important industrial problems. In the paper, she and her co-author develop finite abstractions that are equipped with robustness margins, allowing sensing and model imperfections to be addressed in a formally correct manner. They apply the results to Adaptive Cruise Control, an important Automated Drive Assist System, and point out other important applications in robotics and autonomous vehicles.
CSE graduate students Qi Zhang and Shun Zhang will present exciting research papers at ICAPS 2017, the 27th International Conference on Automated Planning and Scheduling, taking place this June at Carnegie Mellon University in Pittsburgh PA.
Here are the papers: