Design Optimization Techniques for Time-Critical Cyber-Physical Systems
Cyber-Physical Systems (CPS) are widely deployed in critical applications which are subject to strict timing constraints. To ensure correct timing behavior, much of the effort has been dedicated to the development of validation and verification methods for CPS (e.g., system models and their timing a...
Main Author: | Zhao, Yecheng |
---|---|
Other Authors: | Electrical and Computer Engineering |
Format: | Others |
Published: |
Virginia Tech
2020
|
Subjects: | |
Online Access: | http://hdl.handle.net/10919/96520 |
Similar Items
-
Adaptive Scheduling in a Distributed Cyber-Physical System: A case study on Future Power Grids
by: Choudhari, Ashish
Published: (2015) -
Towards Energy Efficient Scheduling of Manufacturing Systems through Collaboration between Cyber Physical Production and Energy Systems
by: Maroua Nouiri, et al.
Published: (2019-11-01) -
Optimization and Control of Cyber-Physical Vehicle Systems
by: Justin M. Bradley, et al.
Published: (2015-09-01) -
Integrating Interactive Clothing and Cyber-Physical Systems: A Humanistic Design Perspective
by: Weizhen Wang, et al.
Published: (2019-12-01) -
A Relational Abstraction of Structure and Behavior for Cyber-Physical System Design
by: Chao Wang, et al.
Published: (2021-01-01)