UC Berkeley professor of Electrical Engineering and Computer Sciences Claire Tomlin has been selected to receive the 2017 Institute of Electrical and Electronics Engineers (IEEE) Transportation Technologies Award, which recognizes advances in technologies applied in transportation systems.
Claire 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.
She has applied these methods to collision avoidance control for multiple aircraft, and to the analysis of switched control protocols in avionics and embedded controllers in aircraft.
Her work is also being considered for application in The Next Generation Air Transportation System (NextGen).
Claire's award citation reads "For contributions to air transportation systems, focusing on collision avoidance protocol design and avionics safety verification."