Guest Editorial Leveraging Design Automation Techniques for Cyber-Physical System Design

2016 ◽  
Vol 35 (5) ◽  
pp. 697-698 ◽  
Author(s):  
Shiyan Hu ◽  
Xiaobo Sharon Hu ◽  
Albert Y. Zomaya
Keyword(s):  
System Design ◽  
Physical System ◽  
Design Automation ◽  
Guest Editorial ◽  
Cyber Physical System ◽  
Automation Techniques

Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design

2019 ◽  
Vol 18 (1) ◽  
pp. 1-26 ◽  
Author(s):  
Pierluigi Nuzzo ◽  
Jiwei Li ◽  
Alberto L. Sangiovanni-Vincentelli ◽  
Yugeng Xi ◽  
Dewei Li
Keyword(s):  
System Design ◽  
Physical System ◽  
Cyber Physical System

Model-based Test-Driven Cyber-Physical System Design

2018 ◽  
Author(s):  
Yujian Fu ◽  
Wichien Choosilp ◽  
Zhijiang Dong
Keyword(s):  
System Design ◽  
Physical System ◽  
Cyber Physical System ◽  
Model Based

scholarly journals Model and Tool Integration Platforms for Cyber–Physical System Design

2018 ◽  
Vol 106 (9) ◽  
pp. 1501-1526 ◽  
Author(s):  
Janos Sztipanovits ◽  
Ted Bapty ◽  
Xenofon Koutsoukos ◽  
Zsolt Lattmann ◽  
Sandeep Neema ◽  
...  
Keyword(s):  
System Design ◽  
Physical System ◽  
Cyber Physical System ◽  
Tool Integration

scholarly journals A Relational Abstraction of Structure and Behavior for Cyber-Physical System Design

IEEE Access ◽  
2021 ◽  
pp. 1-1
Author(s):  
Chao Wang ◽  
Li Wan ◽  
Tifan Xiong ◽  
Yuanlong Xie ◽  
Shuting Wang
Keyword(s):  
System Design ◽  
Physical System ◽  
Cyber Physical System ◽  
And Behavior
Sign in / Sign up

Export Citation Format

Share Document