Sayan Mitra
eBook, ePUB

Verifying Cyber-Physical Systems (eBook, ePUB)

A Path to Safe Autonomy

Versandkostenfrei!
Sofort per Download lieferbar
33,95 €
inkl. MwSt.
Alle Infos zum eBook verschenken
PAYBACK Punkte
17 °P sammeln!
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 a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ...

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.