# Verifying Cyber-Physical Systems

Canonical: https://www.bookquiver.com/sayan-mitra/verifying-cyber-physical-systems/9780262044806

![Verifying Cyber-Physical Systems](https://quivercdn.com/covers/the-mit-press/sayan-mitra/verifying-cyber-physical-systems_978-02-6204-480-6.jpg?v=2026-06-05%2013%3A57%3A28)

- Book: [Verifying Cyber-Physical Systems](https://www.bookquiver.com/sayan-mitra/verifying-cyber-physical-systems) ([Verifying Cyber-Physical Systems.md](https://www.bookquiver.com/sayan-mitra/verifying-cyber-physical-systems.md))
- Authors: [Sayan Mitra](https://www.bookquiver.com/sayan-mitra)
- Publisher: the_mit_press
- ISBN: 978-02-6204-480-6
- Pages: 312
- Published: 2021-02-16
- Language: en_US
- Binding: Hardcover

## Description

A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. Verification aims to establish whether...