Design Validation of Multi-mode Systems

Cyber-Physical Systems(CPS) are a group of systems that are involved with both physical processes and computational processes. The interaction of physical components and computational components makes it difficult to analyze, design and verify this type of systems. The problem becomes more complex w...

Full description

Bibliographic Details
Main Author: Chu, Diyang
Other Authors: Sprinkle, Jonathan
Language:en_US
Published: The University of Arizona. 2013
Subjects:
Online Access:http://hdl.handle.net/10150/311576