Control of Cyber-Physical Systems: A Symbolic Approach

Majid Zamani
PhD Candidate
University of California at Los Angeles
http://www.ee.ucla.edu/~zamani/

Cyber-Physical Systems (CPS) are union of two parts: cyber part and physical part. The cyber part includes computational-related objects including both software and hardware. The physical part includes physical objects described by physical laws. The integration of these two parts, termed CPS, forms complex systems providing new capabilities. Although the 20th-century science and technology have provided us with effective methods and tools for analyzing and designing both computational and physical systems, the design and analysis of CPS are not just union of those two fields. Hence, we need a unified framework to design and analyze CPS. Finite state models were proposed by several researchers as a convenient mechanism to design and analyze CPS. In this talk we show how differential equations models for any smooth control systems can be transformed into finite state models.