|
|
|
|
| LEADER |
03284nmm a2200337 u 4500 |
| 001 |
EB001870968 |
| 003 |
EBX01000000000000001034339 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
190802 ||| eng |
| 020 |
|
|
|a 9783030130503
|
| 100 |
1 |
|
|a Al Faruque, Mohammad Abdullah
|e [editor]
|
| 245 |
0 |
0 |
|a Design Automation of Cyber-Physical Systems
|h Elektronische Ressource
|c edited by Mohammad Abdullah Al Faruque, Arquimedes Canedo
|
| 250 |
|
|
|a 1st ed. 2019
|
| 260 |
|
|
|a Cham
|b Springer International Publishing
|c 2019, 2019
|
| 300 |
|
|
|a X, 288 p. 102 illus., 80 illus. in color
|b online resource
|
| 505 |
0 |
|
|a 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 StorageSystems
|
| 653 |
|
|
|a Electronic circuits
|
| 653 |
|
|
|a Signal, Speech and Image Processing
|
| 653 |
|
|
|a Processor Architectures
|
| 653 |
|
|
|a Microprocessors
|
| 653 |
|
|
|a Electronic Circuits and Systems
|
| 653 |
|
|
|a Signal processing
|
| 653 |
|
|
|a Computer architecture
|
| 700 |
1 |
|
|a Canedo, Arquimedes
|e [editor]
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
| 028 |
5 |
0 |
|a 10.1007/978-3-030-13050-3
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-030-13050-3?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 6,213,815
|
| 520 |
|
|
|a 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
|