Design Automation of Cyber-Physical Systems

  • Mohammad Abdullah Al Faruque
  • Arquimedes Canedo

Table of contents

  1. Front Matter
    Pages i-x
  2. Design and Engineering

    1. Front Matter
      Pages 1-1
    2. Jiang Wan, Nafiul Rashid, Arquimedes Canedo, Mohammad Abdullah Al Faruque
      Pages 3-20
    3. Chung-Wei Lin, Bowen Zheng, Hengyi Liang, Qi Zhu
      Pages 21-40
  3. Testing and Operation

    1. Front Matter
      Pages 67-67
    2. Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan
      Pages 69-105
    3. Thomas A. McDermott, Arquimedes Canedo, Megan M. Clifford, Gustavo Quirós, Valerie B. Sitterle
      Pages 143-178
  4. Application-Specific Design Automation Methodologies and Tools

    1. Front Matter
      Pages 179-179
    2. Amer Mešanović, Xiaofan Wu, Simone Schuler, Ulrich Münz, Florian Dörfler, Rolf Findeisen
      Pages 181-210
    3. Pranav Srinivas Kumar, William Emfinger
      Pages 211-235
    4. Sujit Rokka Chhetri, Jiang Wan, Arquimedes Canedo, Mohammad Abdullah Al Faruque
      Pages 237-259
    5. Swaminathan Narayanaswamy, Sangyoung Park, Sebastian Steinhorst, Samarjit Chakraborty
      Pages 261-286
  5. Back Matter
    Pages 287-288

About this 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 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.


Internet of Things Modeling Cyber-Physical Systems High-level synthesis for Cyber-Physical Systems Formal Modeling and Verification of Cyber-Physical Systems Industrial Cloud-Based Cyber-Physical Systems

Editors and affiliations

  • Mohammad Abdullah Al Faruque
    • 1
  • Arquimedes Canedo
    • 2
  1. 1.University of California, IrvineIrvineUSA
  2. 2.Siemens Corporate TechnologyPrincetonUSA

Bibliographic information

Industry Sectors
IT & Software
Energy, Utilities & Environment
Oil, Gas & Geosciences