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.
last updated Feb 8, 2016