Autor Canedo, Arquimedes
|
|
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar búsqueda
Título : Design Automation of Cyber-Physical Systems Tipo de documento: documento electrónico Autores: Al Faruque, Mohammad Abdullah, ; Canedo, Arquimedes, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: X, 288 p. 102 ilustraciones, 80 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-13050-3 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Circuitos electrónicos Microprocesadores Arquitectura de Computadores Procesamiento de la señal Circuitos y sistemas electrónicos Arquitecturas de procesador Procesamiento de señales voz e imágenes Índice Dewey: 6.213.815 Resumen: Este libro presenta las innovaciones más avanzadas y revolucionarias en la automatización del diseño de sistemas ciberfísicos. Los autores analizan diversos aspectos del diseño de sistemas ciberfísicos, incluido el modelado, el codiseño, la optimización, las herramientas, los métodos formales y la validación. , verificación y estudios de casos. La cobertura incluye un estudio de las diversas metodologías de diseño funcional de sistemas ciberfísicos existentes y las herramientas relacionadas proporcionarán al lector una visión única del diseño conceptual de los sistemas ciberfísicos. Proporciona una referencia única sobre la automatización del diseño de sistemas ciberfísicos; Sirve como guía práctica para gestionar la complejidad durante el proceso de desarrollo de CPS con herramientas y metodologías de automatización del diseño; Analiza el modelado de sistemas ciberfísicos en varios niveles de abstracción; Incluye cobertura de síntesis de alto nivel para sistemas ciberfísicos; Analiza el diseño para el rendimiento/eficiencia energética/seguridad, así como varias herramientas para validación y verificación; Incluye estudios de casos en fabricación y sistemas de infraestructura crítica. Nota de contenido: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Design Automation of Cyber-Physical Systems [documento electrónico] / Al Faruque, Mohammad Abdullah, ; Canedo, Arquimedes, . - 1 ed. . - [s.l.] : Springer, 2019 . - X, 288 p. 102 ilustraciones, 80 ilustraciones en color.
ISBN : 978-3-030-13050-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Circuitos electrónicos Microprocesadores Arquitectura de Computadores Procesamiento de la señal Circuitos y sistemas electrónicos Arquitecturas de procesador Procesamiento de señales voz e imágenes Índice Dewey: 6.213.815 Resumen: Este libro presenta las innovaciones más avanzadas y revolucionarias en la automatización del diseño de sistemas ciberfísicos. Los autores analizan diversos aspectos del diseño de sistemas ciberfísicos, incluido el modelado, el codiseño, la optimización, las herramientas, los métodos formales y la validación. , verificación y estudios de casos. La cobertura incluye un estudio de las diversas metodologías de diseño funcional de sistemas ciberfísicos existentes y las herramientas relacionadas proporcionarán al lector una visión única del diseño conceptual de los sistemas ciberfísicos. Proporciona una referencia única sobre la automatización del diseño de sistemas ciberfísicos; Sirve como guía práctica para gestionar la complejidad durante el proceso de desarrollo de CPS con herramientas y metodologías de automatización del diseño; Analiza el modelado de sistemas ciberfísicos en varios niveles de abstracción; Incluye cobertura de síntesis de alto nivel para sistemas ciberfísicos; Analiza el diseño para el rendimiento/eficiencia energética/seguridad, así como varias herramientas para validación y verificación; Incluye estudios de casos en fabricación y sistemas de infraestructura crítica. Nota de contenido: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
