Refreshments will be served in the atrium outside MoSE Building Room G011 at 2:30 p.m. Seminar will be held in the MoSE Building Room G011 at 3:00 p.m.
Dr. Joseph K. Scott, Department of Chemical & Biomolecular Engineering, Clemson University
“Algorithms for Guaranteed Safety Verification and Fault Detection in Chemical, Aerospace, and Robotic Systems”
Driven by advances in automatic control, information technology, and robotics, tasks as diverse as chemical manufacturing and space exploration are increasingly done by complex integrated systems with significant autonomy. Although such systems often achieve tremendous gains in efficiency and flexibility, they are also highly vulnerable to abnormal events such as component malfunctions, errors in control logic, and even cyber attacks. This has lead to a critical need within the advanced control community for algorithms that can rigorously verify properties of complex autonomous systems both prior to their deployment (e.g., safety and correct behavior across a range of possible operating scenarios) and during their operation (e.g., freedom from malfunctions or malicious attacks). This talk will present our recent progress towards algorithms for both a priori safety verification and online fault detection. Specifically, new algorithms will be presented for providing mathematically rigorous certificates of safety and fault-freeness at low computational cost. These algorithms will be demonstrated with examples in reactor safety verification, pharmaceutical design space construction, aircraft collision avoidance, and reactor fault detection.
Joseph K. Scott is an Assistant Professor in the Department of Chemical and Biomolecular Engineering at Clemson University. He received his B.S. (2006) in Chemical Engineering from Wayne State University, and his M.S. (2008) and Ph.D. (2012) in Chemical Engineering from MIT. His honors include the 2012 Best Paper Award from the Journal of Global Optimization, the 2016 W. David Smith, Jr. Award from the Computing and Systems Technology Division of the AIChE, the 2014-2016 Automatica Paper Prize from the International Federation of Automatic Control, and the 2016 Air Force Young Investigator Research Program Award. His research interests include process modeling and simulation, dynamical systems, optimization theory, and advanced process control. Current applications areas include adsorption and membrane processes, biologics, biofuels, renewable energy systems, power grid operations, and robotics.