Go to main content

Design automation of cyber-physical systems / Mohammad Abdullah Al Farque, Arquimedes Canedo, editors.

Faruque, Mohammad Abdullah Al.; Canedo, Arquimedes.
2019
TK7895.E42 D47 2019
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Design automation of cyber-physical systems / Mohammad Abdullah Al Farque, Arquimedes Canedo, editors.
ISBN
9783030130503 (electronic book)
3030130509 (electronic book)
9783030130497
DOI
https://doi.org/10.1007/978-3-030-13
Published
Cham, Switzerland : Springer, [2019]
Language
English
Description
1 online resource.
Item Number
10.1007/978-3-030-13
Call Number
TK7895.E42 D47 2019
Dewey Decimal Classification
006.2/2
Summary
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. Provides a single-source reference on design automation of cyber-physical systems; Serves as a practical guide to managing complexity during the CPS development process with design automation tools and methodologies; Discusses modeling cyber-physical systems at various abstraction levels; Includes coverage of high-level synthesis for cyber-physical systems; Discusses design for performance/energy-efficiency/security, as well as various tools for validation and verification; Includes case studies in manufacturing and critical infrastructure systems.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF file page (viewed May 13, 2019).
Added Author
Faruque, Mohammad Abdullah Al.
Canedo, Arquimedes.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export