ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Design Automation of Cyber-Physical Systems
Latest Publications
TOTAL DOCUMENTS
10
(FIVE YEARS 10)
H-INDEX
1
(FIVE YEARS 1)
Published By Springer International Publishing
9783030130497, 9783030130503
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Platform-Based Design for Automotive and Transportation Cyber-Physical Systems
Design Automation of Cyber-Physical Systems
◽
10.1007/978-3-030-13050-3_2
◽
2019
◽
pp. 21-40
Author(s):
Chung-Wei Lin
◽
Bowen Zheng
◽
Hengyi Liang
◽
Qi Zhu
Keyword(s):
Cyber Physical Systems
◽
Physical Systems
◽
Automotive And Transportation
◽
Platform Based Design
Download Full-text
Design Automation Using Structural Graph Convolutional Neural Networks
Design Automation of Cyber-Physical Systems
◽
10.1007/978-3-030-13050-3_9
◽
2019
◽
pp. 237-259
Author(s):
Sujit Rokka Chhetri
◽
Jiang Wan
◽
Arquimedes Canedo
◽
Mohammad Abdullah Al Faruque
Keyword(s):
Neural Networks
◽
Convolutional Neural Networks
◽
Design Automation
◽
Structural Graph
Download Full-text
Design Automation for Energy Storage Systems
Design Automation of Cyber-Physical Systems
◽
10.1007/978-3-030-13050-3_10
◽
2019
◽
pp. 261-286
Author(s):
Swaminathan Narayanaswamy
◽
Sangyoung Park
◽
Sebastian Steinhorst
◽
Samarjit Chakraborty
Keyword(s):
Energy Storage
◽
Design Automation
◽
Storage Systems
◽
Energy Storage Systems
Download Full-text
Model-Driven Software Design Automation for Complex Rehabilitation
Design Automation of Cyber-Physical Systems
◽
10.1007/978-3-030-13050-3_8
◽
2019
◽
pp. 211-235
Author(s):
Pranav Srinivas Kumar
◽
William Emfinger
Keyword(s):
Software Design
◽
Design Automation
◽
Model Driven
Download Full-text
Data-Driven Safety Verification of Complex Cyber-Physical Systems
Design Automation of Cyber-Physical Systems
◽
10.1007/978-3-030-13050-3_5
◽
2019
◽
pp. 107-142
Author(s):
Chuchu Fan
◽
Sayan Mitra
Keyword(s):
Cyber Physical Systems
◽
Data Driven
◽
Safety Verification
◽
Physical Systems
Download Full-text
Formal Techniques for Verification and Testing of Cyber-Physical Systems
Design Automation of Cyber-Physical Systems
◽
10.1007/978-3-030-13050-3_4
◽
2019
◽
pp. 69-105
◽
Cited By ~ 3
Author(s):
Jyotirmoy V. Deshmukh
◽
Sriram Sankaranarayanan
Keyword(s):
Cyber Physical Systems
◽
Physical Systems
◽
Formal Techniques
Download Full-text
Optimal Design of Distributed Controllers for Large-Scale Cyber-Physical Systems
Design Automation of Cyber-Physical Systems
◽
10.1007/978-3-030-13050-3_7
◽
2019
◽
pp. 181-210
Author(s):
Amer Mešanović
◽
Xiaofan Wu
◽
Simone Schuler
◽
Ulrich Münz
◽
Florian Dörfler
◽
...
Keyword(s):
Optimal Design
◽
Large Scale
◽
Cyber Physical Systems
◽
Physical Systems
◽
Distributed Controllers
Download Full-text
System Assurance in the Design of Resilient Cyber-Physical Systems
Design Automation of Cyber-Physical Systems
◽
10.1007/978-3-030-13050-3_6
◽
2019
◽
pp. 143-178
◽
Cited By ~ 1
Author(s):
Thomas A. McDermott
◽
Arquimedes Canedo
◽
Megan M. Clifford
◽
Gustavo Quirós
◽
Valerie B. Sitterle
Keyword(s):
Cyber Physical Systems
◽
Physical Systems
Download Full-text
Concept Design: Modeling and Synthesis from Requirements to Functional Models and Simulation
Design Automation of Cyber-Physical Systems
◽
10.1007/978-3-030-13050-3_1
◽
2019
◽
pp. 3-20
◽
Cited By ~ 1
Author(s):
Jiang Wan
◽
Nafiul Rashid
◽
Arquimedes Canedo
◽
Mohammad Abdullah Al Faruque
Keyword(s):
Concept Design
◽
Functional Models
Download Full-text
An Hourglass-Shaped Architecture for Model-Based Development of Networked Cyber-Physical Systems
Design Automation of Cyber-Physical Systems
◽
10.1007/978-3-030-13050-3_3
◽
2019
◽
pp. 41-66
Author(s):
Muhammad Umer Tariq
◽
Marilyn Wolf
Keyword(s):
Cyber Physical Systems
◽
Physical Systems
◽
Model Based
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close