Claire Tomlin receives 2017 IEEE Transportation Technologies Award

Prof. Claire Tomlin has been selected to receive the 2017 IEEE Transportation Technologies Award, which recognizes advances in technologies applied in transportation systems. Prof. Tomlin is being recognized for contributions to air transportation systems, focusing on collision avoidance protocol design and avionics safety verification. She pioneered methods for computing the reachable set (encompassing all behaviors) of a hybrid system, which allow one to verify that the system stays within a desired (safe) range of operation and to design controllers to satisfy constraints.