|
|
|
|
LEADER |
05919cam a2200949 i 4500 |
001 |
1100767619 |
003 |
OCoLC |
005 |
20240223121953.0 |
006 |
m o d |
007 |
cr cnu|||unuuu |
008 |
190510s2019 sz o 000 0 eng d |
015 |
|
|
|a GBB992152
|2 bnb
|
016 |
7 |
|
|a 019400135
|2 Uk
|
019 |
|
|
|a 1105183954
|a 1107160612
|a 1110906355
|a 1115080898
|a 1122846798
|a 1126168018
|
020 |
|
|
|a 9783030130503
|q (electronic bk.)
|
020 |
|
|
|a 3030130509
|q (electronic bk.)
|
020 |
|
|
|a 3030130495
|
020 |
|
|
|a 9783030130497
|
020 |
|
|
|a 9783030130510
|q (print)
|
020 |
|
|
|a 3030130517
|
020 |
|
|
|a 9783030130527
|q (print)
|
020 |
|
|
|a 3030130525
|
020 |
|
|
|z 9783030130497
|
024 |
7 |
|
|a 10.1007/978-3-030-13050-3
|2 doi
|
024 |
8 |
|
|a 10.1007/978-3-030-13
|
035 |
|
|
|a (OCoLC)1100767619
|z (OCoLC)1105183954
|z (OCoLC)1107160612
|z (OCoLC)1110906355
|z (OCoLC)1115080898
|z (OCoLC)1122846798
|z (OCoLC)1126168018
|
037 |
|
|
|a com.springer.onix.9783030130503
|b Springer Nature
|
040 |
|
|
|a N$T
|b eng
|e rda
|e pn
|c N$T
|d N$T
|d EBLCP
|d GW5XE
|d YDXIT
|d UKMGB
|d YDX
|d OCLCF
|d LQU
|d UPM
|d VT2
|d LEATE
|d OCLCQ
|d UKAHL
|d OCLCQ
|d OCLCO
|d OCLCQ
|d AUD
|d OCLCQ
|d OCLCO
|d OCLCQ
|
049 |
|
|
|a COM6
|
050 |
|
4 |
|a TK7895.E42
|b D47 2019
|
072 |
|
7 |
|a COM
|x 000000
|2 bisacsh
|
072 |
|
7 |
|a TJFC
|2 bicssc
|
072 |
|
7 |
|a TJFC
|2 thema
|
082 |
0 |
4 |
|a 006.2/2
|2 23
|
245 |
0 |
0 |
|a Design automation of cyber-physical systems /
|c Mohammad Abdullah Al Farque, Arquimedes Canedo, editors.
|
264 |
|
1 |
|a Cham, Switzerland :
|b Springer,
|c [2019]
|
300 |
|
|
|a 1 online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent.
|
337 |
|
|
|a computer
|b c
|2 rdamedia.
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier.
|
347 |
|
|
|a text file.
|
347 |
|
|
|b PDF.
|
588 |
0 |
|
|a Online resource; title from PDF file page (EBSCO, viewed May 13, 2019).
|
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 Storage Systems.
|
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.
|
650 |
|
0 |
|a Cooperating objects (Computer systems)
|
650 |
|
0 |
|a Automatic control.
|
650 |
|
6 |
|a Objets coopérants (Systèmes informatiques)
|
650 |
|
6 |
|a Commande automatique.
|
650 |
|
7 |
|a COMPUTERS
|x General.
|2 bisacsh.
|
650 |
|
7 |
|a Automatic control.
|2 fast.
|
650 |
|
7 |
|a Cooperating objects (Computer systems)
|2 fast.
|
700 |
1 |
|
|a Faruque, Mohammad Abdullah Al.
|
700 |
1 |
|
|a Canedo, Arquimedes.
|
710 |
2 |
|
|a SpringerLink (Online service)
|
776 |
0 |
8 |
|i Printed edition:
|z 9783030130497.
|
776 |
0 |
8 |
|i Printed edition:
|z 9783030130510.
|
776 |
0 |
8 |
|i Printed edition:
|z 9783030130527.
|
907 |
|
|
|a .b59649069
|b multi
|c -
|d 190701
|e 240401
|
998 |
|
|
|a (3)cue
|a cu
|b 240227
|c m
|d z
|e -
|f eng
|g sz
|h 0
|i 2
|
948 |
|
|
|a MARCIVE Overnight, in 2024.03
|
948 |
|
|
|a MARCIVE Overnight, in 2023.02
|
948 |
|
|
|a MARCIVE Over, 07/2021
|
948 |
|
|
|a MARCIVE Comp, 2019.12
|
948 |
|
|
|a MARCIVE Overnight 07/2019
|
933 |
|
|
|a Marcive found issue: "700 1
|a Canedo, Arquimedes."
|
933 |
|
|
|a Marcive found issue: "700 1
|a Faruque, Mohammad Abdullah Al."
|
994 |
|
|
|a 92
|b COM
|
995 |
|
|
|a Loaded with m2btab.ltiac in 2024.03
|
995 |
|
|
|a Loaded with m2btab.elec in 2024.02
|
995 |
|
|
|a Loaded with m2btab.ltiac in 2023.02
|
995 |
|
|
|a Loaded with m2btab.ltiac in 2021.07
|
995 |
|
|
|a Loaded with m2btab.elec in 2021.06
|
995 |
|
|
|a Loaded with m2btab.ltiac in 2019.12
|
995 |
|
|
|a Loaded with m2btab.ltiac in 2019.08
|
995 |
0 |
0 |
|a OCLC offline update by CMU and loaded with m2btab.elec in 2019.07
|
995 |
|
|
|a Loaded with m2btab.auth in 2021.07
|
995 |
|
|
|a Loaded with m2btab.auth in 2021.07
|
995 |
|
|
|a Loaded with m2btab.auth in 2024.03
|
999 |
|
|
|e z
|
999 |
|
|
|a cue
|
989 |
|
|
|d cueme
|e - -
|f - -
|g -
|h 0
|i 0
|j 200
|k 240227
|l $0.00
|m
|n - -
|o -
|p 0
|q 0
|t 0
|x 0
|w SpringerLink
|1 .i150625108
|u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-030-13050-3
|3 SpringerLink
|z Click here for access
|