# Verifying Cyber-Physical Systems

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

![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)

- Authors: [Sayan Mitra](https://www.bookquiver.com/sayan-mitra)
- Language: en_US
- Published: 2021-02-16

## 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...

## Editions

### Verifying Cyber-Physical Systems

- Publisher: the_mit_press
- ISBN: 978-02-6204-480-6
- Pages: 312
- Published: 2021-02-16
- Language: en_US