Design Automation of Cyber-Physical Systems. (2019)

• Record Type: Book
• Further Information: Note: Mohammad Abdullah Al Farque, Arquimedes Canedo, editors.
• Other Names: Faruque, Mohammad Abdullah Al; Canedo, Arquimedes
• Contents: Part 1. Design and Engineering.- Chapter 1. Concept Design: Modeling and Synthesis from Requirements to Functional Models and Simulation.- Chapter 2. Platform-Based Design for Automotive and Transportation Cyber-Physical Systems.- Chapter 3. An Hourglass-Shaped Architecture for Model-Based Development of Networked Cyber-Physical Systems.- Part 2. Testing and Operation.- Chapter 4. Formal Techniques for Verification and Testing of Cyber-Physical Systems.- Chapter 5. Data-driven Safety Verification of Complex Cyber-Physical Systems.- Chapter 6. System Assurance in the Design of Resilient Cyber-Physical Systems.- Part 3. Application-Specific Design Automation Methodologies and Tools.- Chapter 7. Optimal Design of Distributed Controllers for Large-Scale Cyber-Physical Systems.- Chapter 8. Model-driven Software Design Automation for Complex Rehabilitation.- Chapter 9. Design Automation using Structural Graph Convolutional Neural Networks.- Chapter 10. Design Automation for Energy Storage Systems.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource
• Subjects: 006.2/2; Cooperating objects (Computer systems); Automatic control; COMPUTERS / General; Electronic books
• Languages: English
• ISBNs: 9783030130503; 3030130509
• Related ISBNs: 9783030130497
• Notes: Note: Online resource; title from PDF file page (EBSCO, viewed May 13, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.