(Hardback)
By: Silvia Ferrari
ISBN: 9780262045421
Readership/Audience: General
Publication Date: Aug 2021
Publisher: MIT Press Ltd
See more...
"A unified framework for modeling and control of mobile sensor networks (aka information gathering agents). It provides a common grounding in control theory and notation"--
(Hardback, second edition)
By: Edmund M. Clarke Jr.
ISBN: 9780262038836
Readership/Audience: Tertiary Education
Publication Date: Dec 2018
Publisher: MIT Press Ltd
See more...
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.
(Hardback)
By: Sayan Mitra
ISBN: 9780262044806
Readership/Audience: General
Publication Date: May 2021
Publisher: MIT Press Ltd
See more...
"A unified mathematical framework for rigorously modeling and analyzing cyber-physical systems"--
