Verifying cyber-physical systems : a path to safe autonomy /

A unified mathematical framework for rigorously modeling and analyzing cyber-physical systems.

Bibliographic Details

Main Author:	Mitra, Sayan (Author)
Format:	Book
Language:	English
Published:	Cambridge, Massachusetts : MIT Press, [2021]
Series:	Cyber-physical systems series.
Subjects:	Cooperating objects (Computer systems) > Mathematical models.