Logical Foundations of Cyber-Physical Systems

  • André Platzer

Table of contents

  1. Front Matter
    Pages i-xxxi
  2. André Platzer
    Pages 1-24
  3. Elementary Cyber-Physical Systems

    1. Front Matter
      Pages 25-26
    2. André Platzer
      Pages 27-61
    3. André Platzer
      Pages 63-94
    4. André Platzer
      Pages 95-136
    5. André Platzer
      Pages 137-172
    6. André Platzer
      Pages 173-210
    7. André Platzer
      Pages 211-244
    8. André Platzer
      Pages 245-266
    9. André Platzer
      Pages 267-284
  4. Differential Equations Analysis

    1. Front Matter
      Pages 285-286
    2. André Platzer
      Pages 323-361
    3. André Platzer
      Pages 363-396
    4. André Platzer
      Pages 397-418
  5. Adversarial Cyber-Physical Systems

    1. Front Matter
      Pages 419-420
    2. André Platzer
      Pages 421-447
    3. André Platzer
      Pages 449-478
    4. André Platzer
      Pages 479-508
    5. André Platzer
      Pages 509-522
  6. Comprehensive CPS Correctness

    1. Front Matter
      Pages 523-524
    2. André Platzer
      Pages 525-555
    3. André Platzer
      Pages 557-575
    4. André Platzer
      Pages 577-606
    5. André Platzer
      Pages 607-628
  7. Back Matter
    Pages 629-639

About this book


Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we rely on them for safety-critical tasks.

This textbook teaches undergraduate students the core principles behind CPSs. It shows them how to develop models and controls; identify safety specifications and critical properties; reason rigorously about CPS models; leverage multi-dynamical systems compositionality to tame CPS complexity; identify required control constraints; verify CPS models of appropriate scale in logic; and develop an intuition for operational effects.

The book is supported with homework exercises, lecture videos, and slides.


Cyberphysical Systems (CPS) Differential Equations Dynamical Systems Logic Control Loops Proofs Verification Validation Hybrid Systems Hybrid Programs (HP) Games Model Checking Safety-Critical Systems

Authors and affiliations

  • André Platzer
    • 1
  1. 1.Computer Science DepartmentCarnegie Mellon UniversityPittsburghUSA

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-63587-3
  • Online ISBN 978-3-319-63588-0
  • Buy this book on publisher's site