Verifying Cyber-Physical Systems

درباره این کتاب

یک کتاب درسی در سطح تحصیلات تکمیلی که چارچوبی ریاضی و یکپارچه برای مدل‌سازی و تحلیل سیستم‌های سایبری-فیزیکی با تمرکز قوی بر تأیید ارائه می‌دهد. تأیید به دنبال تعیین این است که آیا یک سیستم مجموعه‌ای از الزامات را برآورده می‌کند یا خیر. برای سیستم‌های سایبری-فیزیکی مانند خودروهای بدون راننده، فضاپیماهای خودران و سیستم‌های مدیریت ترافیک هوایی، تأیید کلید ساخت سیستم‌های ایمن با سطوح بالای اطمینان است. این کتاب درسی ایده‌ها و الگوریتم‌هایی را که از بیش از سه دهه تحقیق حاصل شده و منجر به ایجاد تکنیک‌های مدل‌سازی و تأیید در مقیاس صنعتی برای سیستم‌های سایبری-فیزیکی شده است، خلاصه می‌کند. این کتاب مفاهیم علوم کامپیوتر مانند تصمیم‌ناپذیری و انتزاع‌ها را در کنار مفاهیمی از نظریه کنترل از جمله توابع لیاپانوف چندگانه بحث می‌کند.