ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
Model-Implementation Fidelity in Cyber Physical System Design
10.1007/978-3-319-47307-9
◽
2017
◽
Keyword(s):
System Design
◽
Physical System
◽
Implementation Fidelity
◽
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close