Design Automation of Cyber-Physical Systems

Mohammad Abdullah Al Faruque, Arquimedes Canedo

Informasi Dasar

21.21.532
006.22
Buku - Elektronik (E-Book)

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 that 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.

Subjek

INTERNET OF THINGS
COMPUTER SYSTEMS, MODELING CYBER-PHYSICAL SYSTEMS, INDUSTRIAL CLOUD-BASE CYBER-PHYSICAL SYSTEMS

Katalog

Design Automation of Cyber-Physical Systems
978-3-030-13050-3
292p.: pdf file.; 9 MB
Inggris

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Mohammad Abdullah Al Faruque, Arquimedes Canedo
Perorangan
 
 

Penerbit

Springer International Publishing
 
2019

Koleksi

Kompetensi

  • CMI6B3 - KERANGKA KERJA FORENSIK DIGITAL
  • VII1B3 - DASAR SISTEM KOMPUTER
  • TKI3D3 - KEAMANAN SISTEM KOMPUTER
  • CMI6C3 - KERENTANAN ARSITEKTUR SISTEM KOMPUTER DAN JARINGAN
  • VKI1A3 - SISTEM KOMPUTER
  • VEI1F3 - SISTEM KOMPUTER
  • ISI2G3 - ANALISIS DAN PERANCANGAN SISTEM INFORMASI
  • VSI2H3 - ANALISIS DAN PERANCANGAN SISTEM INFORMASI
  • VAI2B3 - ANALISIS DAN PERANCANGAN SISTEM INFORMASI
  • IEI3M3 - ANALISIS PERANCANGAN SISTEM INFORMASI DAN BASIS DATA
  • VAI3A4 - APLIKASI SISTEM INFORMASI AKUNTANSI
  • EAI3113 - AUDIT SISTEM INFORMASI
  • ISI1F3 - DASAR KEUANGAN SISTEM INFORMASI
  • VSI1C3 - DASAR MANAJEMEN DAN SISTEM INFORMASI
  • ISI3E3 - DASAR SISTEM OPERASI
  • VTI1B2 - DASAR SISTEM TELEKOMUNIKASI
  • ISI3G4 - KEAMANAN SISTEM INFORMASI
  • ISI3C3 - MANAJEMEN PROYEK SISTEM INFORMASI
  • ISI6M2 - METODOLOGI PENELITIAN UNTUK MAGISTER SISTEM INFORMASI
  • ISI1B3 - PENGANTAR SISTEM INFORMASI
  • ILI2N3 - PERANCANGAN SISTEM INFORMASI LOGISTIK & BASIS DATA , DAN PRAKTIKUM
  • IMI2I3 - PERENCANAAN STRATEGI SISTEM INFORMASI
  • VAI3E4 - PROYEK SISTEM INFORMASI AKUNTANSI
  • CSI-3D3 - REKAYASA SISTEM INFORMASI
  • CSI3D3 - REKAYASA SISTEM INFORMASI
  • CTI4W3 - SISTEM INFORMASI
  • VAI3B4 - SISTEM INFORMASI AKUNTANSI PERUSAHAAN
  • KBI2D3 - SISTEM INFORMASI BISNIS
  • IEI5J3 - SISTEM INFORMASI GEOGRAFIS
  • TBI4I3 - SISTEM INFORMASI KESEHATAN
  • EBI2F3 - SISTEM INFORMASI MANAJEMEN
  • EAI2T3 - SISTEM INFORMASI MANAJEMEN
  • VAI1I2 - SISTEM INFORMASI MANAJEMEN
  • EBI2F3 - SISTEM INFORMASI MANAJEMEN
  • ISI4P3 - TEKNIK AUDIT DAN KONTROL SISTEM INFORMASI

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini