Model-Implementation Fidelity in Cyber Physical System Design

Cyber-Physical system design with sensor networking technologies

10.1049/pbce096e ◽

2016 ◽

Cited By ~ 2

Keyword(s):

System Design ◽

Physical System ◽

Cyber Physical System ◽

Sensor Networking ◽

Networking Technologies

Download Full-text

Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design

ACM Transactions on Embedded Computing Systems ◽

10.1145/3243216 ◽

2019 ◽

Vol 18 (1) ◽

pp. 1-26 ◽

Cited By ~ 2

Author(s):

Pierluigi Nuzzo ◽

Jiwei Li ◽

Alberto L. Sangiovanni-Vincentelli ◽

Yugeng Xi ◽

Dewei Li

Keyword(s):

System Design ◽

Physical System ◽

Cyber Physical System

Download Full-text

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

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2016.2548179 ◽

2016 ◽

Vol 35 (5) ◽

pp. 697-698 ◽

Cited By ~ 1

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

Download Full-text

An End to End Tactile Cyber Physical System Design

2018 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems (EITEC) ◽

10.1109/eitec.2018.00007 ◽

2018 ◽

Author(s):

Arjun N. ◽

Ashwin S.M. ◽

Kurian Polachan ◽

T.V. Prabhakar ◽

Chandramani Singh

Keyword(s):

System Design ◽

Physical System ◽

Cyber Physical System ◽

End To End

Download Full-text

Cyber-physical system design contracts

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems - ICCPS '13 ◽

10.1145/2502524.2502540 ◽

2013 ◽

Cited By ~ 53

Author(s):

Patricia Derler ◽

Edward A. Lee ◽

Stavros Tripakis ◽

Martin Törngren

Keyword(s):

System Design ◽

Physical System ◽

Cyber Physical System

Download Full-text

Model-based Test-Driven Cyber-Physical System Design

SoutheastCon 2018 ◽

10.1109/secon.2018.8479080 ◽

2018 ◽

Author(s):

Yujian Fu ◽

Wichien Choosilp ◽

Zhijiang Dong

Keyword(s):

System Design ◽

Physical System ◽

Cyber Physical System ◽

Model Based

Download Full-text

Model and Tool Integration Platforms for Cyber–Physical System Design

Proceedings of the IEEE ◽

10.1109/jproc.2018.2838530 ◽

2018 ◽

Vol 106 (9) ◽

pp. 1501-1526 ◽

Cited By ~ 17

Author(s):

Janos Sztipanovits ◽

Ted Bapty ◽

Xenofon Koutsoukos ◽

Zsolt Lattmann ◽

Sandeep Neema ◽

...

Keyword(s):

System Design ◽

Physical System ◽

Cyber Physical System ◽

Tool Integration

Download Full-text

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

IEEE Access ◽

10.1109/access.2021.3064249 ◽

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

Download Full-text

An extensible modeling methodology for embedded and cyber-physical system design

SIMULATION ◽

10.1177/0037549716659753 ◽

2016 ◽

Vol 92 (8) ◽

pp. 771-794 ◽

Cited By ~ 6

Author(s):

Seyed-Hosein Attarzadeh-Niaki ◽

Ingo Sander

Keyword(s):

System Design ◽

Physical System ◽

Cyber Physical System ◽

Modeling Methodology

Download Full-text

Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design

2017 IEEE 30th International Symposium on Computer-Based Medical Systems (CBMS) ◽

10.1109/cbms.2017.50 ◽

2017 ◽

Cited By ~ 3

Author(s):

Zhicheng Fu ◽

Chunhui Guo ◽

Shangping Ren ◽

Yizong Ou ◽

Lui Sha

Keyword(s):

System Design ◽

Physical System ◽

Human Interaction ◽

Cyber Physical System

Download Full-text