Verifying Cyber-Physical Systems
Language: en
Pages: 313
Authors: Sayan Mitra
Categories: Computers
Type: BOOK - Published: 2021-02-16 - Publisher: MIT Press

GET EBOOK

A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.
Formal Modeling and Verification of Cyber-Physical Systems
Language: en
Pages: 324
Authors: Rolf Drechsler
Categories: Computers
Type: BOOK - Published: 2015-06-05 - Publisher: Springer

GET EBOOK

This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic o
Cyber-Physical Systems
Language: en
Pages: 516
Authors: Houbing Herbert Song
Categories: Computers
Type: BOOK - Published: 2016-08-27 - Publisher: Morgan Kaufmann

GET EBOOK

Cyber-Physical Systems: Foundations, Principles and Applications explores the core system science perspective needed to design and build complex cyber-physical
Logical Foundations of Cyber-Physical Systems
Language: en
Pages: 662
Authors: André Platzer
Categories: Mathematics
Type: BOOK - Published: 2018-07-30 - Publisher: Springer

GET EBOOK

Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical pro
Verifying Cyber-Physical Systems
Language: en
Pages: 313
Authors: Sayan Mitra
Categories: Computers
Type: BOOK - Published: 2021-07-13 - Publisher: MIT Press

GET EBOOK

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