Specification, analyzing challenges and approaches for cyber-physical systems (CPS)

Kaiyu Wan*, K. L. Man, D. Hughes

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

45 Citations (Scopus)


Cyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today's computing and networking abstractions do not adequately reflect the properties of the physical world. This shortcoming necessitates the development of effective methods and tools for analyzing and designing CPS. This paper analyzes the limitations of the current tools and methods by illustrating a motivating example of health care systems and proposes a unified framework for designing, simulating, and verifying CPS.

Original languageEnglish
JournalEngineering Letters
Issue number3
Publication statusPublished - Aug 2010


  • Analyzing
  • Cyber-physical systems
  • Specification

Cite this