Modeling and verification of cyber-physical systems (working title)

Sayan Mitra and Mahesh Viswanathan

Chapter 1: Introduction

Chapter 2: Modeling computation

Chapter 3: Modeling physics

Chapter 4: Cyber-physical systems

Chapter 5: Specifications

Chapter 6: Proving invariants

Chapter 7: Abstractions

Chapter 8: Analyzing reachability

Chapter 9: Analyzing stability and termination

Chapter 10: Verifying properties using simulations

Appendices

Copyright (C) Sayan Mitra 2016. All rights reserved. The following draft chapters are made available only to students of ECE584 for class use. Please do not redistribute or reproduce without explicit email to sayan mitra.

March 22, 2016 (83 pages)

Chapters 2-4, Feb 8, 2016 (48 pages)

last updated Feb 8, 2016