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.

Description
Summary:	A unified mathematical framework for rigorously modeling and analyzing cyber-physical systems.
Physical Description:	xvi, 296 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references (pages [271]-289) and index.
ISBN:	9780262044806 0262044803