Control of Cyber-Physical Systems Using Incremental Properties of Physical Systems
Jul 02, 2012
from 10:00 AM to 11:30 AM
|Where||ENGR. IV Bldg. Faraday Room 67-124|
|Add event to calendar||
Advisor: Rupak Majumdar
Cyber-Physical Systems (CPSs) are complex engineered systems resulting from intricate interaction of digital computational devices with the physical systems. With the recent dazzling advances in computational devices, CPSs have become ubiquitous in modern technology. The increasing presence of CPSs and the incapability of current methods to analyze them impel the development of novel approaches for analysis and design. In the first part of the talk, I will propose a correct-by-design embedded control software synthesis approach for CPSs by constructing finite state models for physical systems, posing some incremental properties.
The second part of the talk is devoted to the study of incremental properties of control systems. Stability is arguably one of the core concepts upon which our understanding of dynamical and control systems has been built. The related notion of incremental stability, however, has received much less attention until recently, when it was successfully used as a tool for the analysis and design of intrinsic observers, output regulation of nonlinear control systems, frequency estimators, synchronization of coupled identical dynamical systems, symbolic models for nonlinear control systems, bio-molecular systems, and global synchronization in networks of cyclic feedback systems. However, most of the existing controller design techniques provide controllers enforcing stability rather than incremental stability. Hence, there is a growing need to extend existing methods or develop new ones for the purpose of designing incrementally stabilizing controllers. I will provide some characterizations of incremental stability and design approaches providing controllers rendering some classes of control systems incrementally stable.
Majid Zamani received a B.Sc. degree from Isfahan University of Technology in 2005 and an M.Sc. degree from Sharif University of Technology in 2007. He is currently a PhD candidate in the Electrical Engineering Department at UCLA. His research interests include cyber-physical systems, hybrid systems, embedded control software synthesis, and incremental properties of nonlinear control systems.