Data-driven and model-based verification via Bayesian identification and reachability analysis

این کار یک رویکرد تایید رسمی مبتنی بر اندازه گیری و مبتنی بر مدل را که به سیستم های دینامیکی با دینامیک ناشناخته تقلیل می یابد، توسعه می دهد. ما یک روش اصولی جدید ارائه می دهیم که مبتنی بر استنتاج بیزی و تحلیل تحلیلی است تا محاسبه اطمینان حاصل شود که یک سیستم فیزیکی که توسط ورودی های خارجی هدایت می شود و تحت اندازه گیری های پر سر و صدا دیده می شود یک مشخصه مشخص را به صورت یک فرمول منطقی زمانی بیان می کند. یک مطالعه موردی در مورد تایید ایمنی محدود و بدون محدودیت سیستم ناشناخته ای که درون یک کلاس از مدل های دینامیکی خطی و غیر متغیر زمان با ورودی ها و اندازه گیری های خروجی قرار دارد، مورد بحث قرار می گیرد.