Sistem Informasi Manajemen: Definisi dan Contoh

Desain sistem otonom seperti kendaraan otonom dan asisten robotik memerlukan kepastian mutlak bahwa sistem tersebut akan berperilaku dengan aman di lingkungan yang tidak dapat diprediksi. Kursus berbasis teks ini memperkenalkan Anda pada prinsip-prinsip inti dari verifikasi formal dan sintesis controller, memastikan desain otonom Anda memenuhi standar keamanan dan stabilitas yang ketat. Dengan memahami bagaimana memodelkan dinamika sistem dan mengekspresikan sifat keselamatan, Anda akan mendapatkan keterampilan yang diperlukan untuk merancang controller yang menjamin operasi yang aman di bawah berbagai kondisi. Apa yang akan Anda pelajari: Mengerti dinamika sistem dasar dan bagaimana memodelkan perilaku otonom secara matematis; Terapkan teori stabilitas Lyapunov untuk memeriksa keadaan stabil jangka panjang sistem dinamis; Analisis reachability dan menggunakan sertifikat penghalang untuk menjamin batas keamanan kritis tidak pernah dilintasi; Temukan periksa model formal Teknik untuk memverifikasi sistem terhadap properti temporal reguler dan omega-regular; Sintesis controller yang benar-dengan-konstruksi yang secara otomatis memberlakukan kebijakan keamanan yang diinginkan; Memeriksa tantangan keamanan modern, termasuk sistem verifikasi yang menggabungkan komponen yang diaktifkan pembelajaran dan jaringan saraf. Kursus ini dimulai dengan terminologi matematika dasar dan model sistem dasar sebelum memandu Anda melalui analisis stabilitas, algoritma verifikasi formal, dan teknik sintesis controller. Kursus ini dirancang untuk insinyur robotika, ilmuwan komputer, dan pengembang sistem yang bercita-cita untuk mencari titik masuk yang dapat diakses ke metode formal, yang hanya memerlukan latar belakang dasar dalam matematika.