Validation, Verification, and Formal Methods for Cyber-Physical Systems

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Scopus citations


Cyber-physical systems (CPSs), such as smart grids, unmanned aerial vehicles, and medical devices, are complex systems consisting of networks of computing units that interact in a stochastic manner with their physical environment. This interaction between the networked computing system and the physical environment gives rise to unexpected configurations also known as aggregate effects, which is not observed when the CPS components are standalone. Hypoglycemia control using multidrug infusion is a beneficial effect. However, uncontrolled aggregate effects can have dire consequences for the physical system. For example, chemotherapeutic drug interaction can kill healthy cells and selforganization in smart grids can result in large scale spread of critical failure. Thus, characterization and analysis of aggregate effect is essential for designing safe CPSs. This chapter will discuss the formal methods available for characterizing aggregate effects in CPSs and the verification and validation of models of CPSs.

Original languageEnglish (US)
Title of host publicationCyber-Physical Systems
Subtitle of host publicationFoundations, Principles and Applications
PublisherElsevier Inc.
Number of pages17
ISBN (Electronic)9780128038741
ISBN (Print)9780128038017
StatePublished - Jan 1 2017


  • Aggregate effects
  • Emergent behavior
  • Formal methods

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Validation, Verification, and Formal Methods for Cyber-Physical Systems'. Together they form a unique fingerprint.

Cite this