Design Automation of Cyber-Physical Systems

Description

This book presents the state-of-the-art and breakthrough innovations in design automation for cyber-physical systems.The authors discuss various aspects of cyber-physical systems design, including modeling, co-design, optimization, tools, formal methods, validation, verification, and case studies. Coverage includes a survey of the various existing cyber-physical systems functional design methodologies and related tools will provide the reader unique insights into the conceptual design of cyber-physical systems. Front Matter ....Pages i-x Front Matter ....Pages 1-1 Concept Design: Modeling and Synthesis from Requirements to Functional Models and Simulation (Jiang Wan, Nafiul Rashid, Arquimedes Canedo, Mohammad Abdullah Al Faruque)....Pages 3-20 Platform-Based Design for Automotive and Transportation Cyber-Physical Systems (Chung-Wei Lin, Bowen Zheng, Hengyi Liang, Qi Zhu)....Pages 21-40 An Hourglass-Shaped Architecture for Model-Based Development of Networked Cyber-Physical Systems (Muhammad Umer Tariq, Marilyn Wolf)....Pages 41-66 Front Matter ....Pages 67-67 Formal Techniques for Verification and Testing of Cyber-Physical Systems (Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan)....Pages 69-105 Data-Driven Safety Verification of Complex Cyber-Physical Systems (Chuchu Fan, Sayan Mitra)....Pages 107-142 System Assurance in the Design of Resilient Cyber-Physical Systems (Thomas A. McDermott, Arquimedes Canedo, Megan M. Clifford, Gustavo Quirós, Valerie B. Sitterle)....Pages 143-178 Front Matter ....Pages 179-179 Optimal Design of Distributed Controllers for Large-Scale Cyber-Physical Systems (Amer Mešanović, Xiaofan Wu, Simone Schuler, Ulrich Münz, Florian Dörfler, Rolf Findeisen)....Pages 181-210 Model-Driven Software Design Automation for Complex Rehabilitation (Pranav Srinivas Kumar, William Emfinger)....Pages 211-235 Design Automation Using Structural Graph Convolutional Neural Networks (Sujit Rokka Chhetri, Jiang Wan, Arquimedes Canedo, Mohammad Abdullah Al Faruque)....Pages 237-259 Design Automation for Energy Storage Systems (Swaminathan Narayanaswamy, Sangyoung Park, Sebastian Steinhorst, Samarjit Chakraborty)....Pages 261-286 Back Matter ....Pages 287-288