-
Sayan Mitra
Click on cover to enlarge.
Buy This Book
From Amazon.
7 - 8Hours to read
دانلود کتاب Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
by Sayan Mitra|
|
عنوان فارسی: تأیید سیستم های فیزیکی سایبری: راهی برای خودمختاری ایمن (سری سیستم های فیزیکی سایبری) |
دانلود کتاب
جزییات کتاب
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 ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems.
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 ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems.
کتاب های مرتبط
این کتاب رو مطالعه کردید؟ نظر شما چیست؟
برای ارسال نظر، لطفا وارد شوید.
نظر دهید
Adding comments has been disabled.
نظرات (0)
هنوز نظری داده نشده است. شما اولین باشید!
