Design Automation of Cyber-Physical Systems

Know about the book -

Design Automation of Cyber-Physical Systems is written by Mohammad Abdullah Al Faruque and published by Springer. It's available with International Standard Book Number or ISBN identification 3030130509 (ISBN 10) and 9783030130503 (ISBN 13).

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.