Data-Driven Modeling of Cyber-Physical Systems using Side-Channel Analysis [[electronic resource] /] / by Sujit Rokka Chhetri, Mohammad Abdullah Al Faruque |
Autore | Rokka Chhetri Sujit |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVI, 235 p. 111 illus., 106 illus. in color.) |
Disciplina | 006.22 |
Soggetto topico |
Electronic circuits
Computer engineering Internet of things Embedded computer systems Microprocessors Circuits and Systems Cyber-physical systems, IoT Processor Architectures |
ISBN | 3-030-37962-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910377822903321 |
Rokka Chhetri Sujit
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Design Automation of Cyber-Physical Systems [[electronic resource] /] / edited by Mohammad Abdullah Al Faruque, Arquimedes Canedo |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (292 pages) |
Disciplina | 006.22 |
Soggetto topico |
Electronic circuits
Microprocessors Signal processing Image processing Speech processing systems Circuits and Systems Processor Architectures Signal, Image and Speech Processing |
ISBN | 3-030-13050-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910337601403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
System Level Design from HW/SW to Memory for Embedded Systems [[electronic resource] ] : 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings / / edited by Marcelo Götz, Gunar Schirner, Marco Aurélio Wehrmeister, Mohammad Abdullah Al Faruque, Achim Rettberg |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XII, 231 p. 92 illus.) |
Disciplina | 004.16 |
Collana | IFIP Advances in Information and Communication Technology |
Soggetto topico |
Computers, Special purpose
Computers Computer systems Software engineering Special Purpose and Application-Based Systems Computer Hardware Computer System Implementation Software Engineering |
ISBN | 3-319-90023-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910280950703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|