CPS: Breakthrough: A science of CPS robustness
Lead PI:
Paulo Tabuada
Abstract
Cyber-Physical Systems (CPS) offer the promise for radical changes to our everyday life by enabling the physical world to be programmed in the same way that a computer is programmed. The physical world, however, is far less predictable than a computer and this renders the design of CPS very challenging. In order to reduce the impact of unforeseen events arising from the physical world, or even from the cyber world, this project develops a science of CPS robustness. A robust CPS will only modestly deviate from its desired behavior upon the occurrence of unforeseen circumstances and has the ability to recover once these disrupting circumstances subside. The intellectual merit of this project is the development of a science of CPS robustness that harnesses the intricate interactions between cyber and physical components to obtain CPS that are able to operate in a wide range of unpredictable environments. The project?s broader significance and importance is the enablement of vast number of applications requiring CPS to operate seamlessly in unpredictable environments such as the internet-of-things or smart and connected communities. At the technical level, this project leverages existing notions of robustness for cyber systems, such as self-stabilizing algorithms, and for physical systems, such as input-to-state stability, to create a science of CPS robustness. Expected outcomes include new temporal logics to specify CPS robustness, verification and synthesis algorithms for CPS robustness, as well as compositional design flows.
Paulo Tabuada
<p>Paulo Tabuada was born in Lisbon, Portugal, one year after the Carnation Revolution. He received his "Licenciatura" degree in Aerospace Engineering from Instituto Superior Tecnico, Lisbon, Portugal in 1998 and his Ph.D. degree in Electrical and Computer Engineering in 2002 from the Institute for Systems and Robotics, a private research institute associated with Instituto Superior Tecnico. Between January 2002 and July 2003 he was a postdoctoral researcher at the University of Pennsylvania. After spending three years at the University of Notre Dame, as an Assistant Professor, he joined the Electrical Engineering Department at the University of California, Los Angeles, where he established and directs the Cyber-Physical Systems Laboratory. Paulo Tabuada's contributions to cyber-physical systems have been recognized by multiple awards including the NSF CAREER award in 2005, the Donald P. Eckman award in 2009 and the George S. Axelby award in 2011. In 2009 he co-chaired the International Conference Hybrid Systems: Computation and Control (HSCC'09) and in he was program co-chair for the 3rd IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys'12). He currently serves as associate editor for the IEEE Transactions on Automatic Control and his latest book, on verification and control of hybrid systems, was published by Springer in 2009.</p>
Performance Period: 09/01/2016 - 08/31/2019
Institution: University of California-Los Angeles
Sponsor: National Science Foundation
Award Number: 1645824