Podstawy systemów autonomicznych: weryfikacja i synteza

Projektowanie systemów autonomicznych, takich jak samojezdne pojazdy i roboty-asystenci, wymaga absolutnej pewności, że będą one zachowywać się bezpiecznie w nieprzewidywalnych środowiskach. Ten kurs oparty na tekście wprowadza podstawowe zasady weryfikacji formalnej i syntezy kontrolera, zapewniając, że Twoje autonomiczne projekty spełniają surowe standardy bezpieczeństwa i stabilności.Będziesz przejść od prostego testowania systemów autonomicznych do matematycznego udowodnienia ich poprawności. Poprzez zrozumienie, jak modelować dynamikę systemu i wyrażać właściwości bezpieczeństwa, zdobędziesz umiejętności potrzebne do projektowania sterowników, które gwarantują bezpieczną pracę w różnych warunkach. Co się nauczysz: Zrozumienie dynamiki systemu podstawowego i sposobu matematycznego modelowania zachowań autonomicznych; Zastosuj teorię stabilności Lyapunova do weryfikacji długoterminowych stanów ustalonych systemów dynamicznych; Analizuj osiągalność i używaj certyfikatów barier, aby zagwarantować, że granice krytyczne dla bezpieczeństwa nigdy nie zostaną przekroczone; Poznaj formalne sprawdzanie modeli Techniki weryfikacji systemów względem regularnych i omega-regularnych właściwości czasowych;Syntezuj kontrolery poprawne przez konstrukcję, które automatycznie egzekwują pożądane zasady bezpieczeństwa;Zbadaj nowoczesne wyzwania związane z bezpieczeństwem, w tym weryfikuj systemy, które zawierają komponenty umożliwiające uczenie się i sieci neuronowe. Kurs zaczyna się od podstawowej terminologii matematycznej i podstawowego modelowania systemu, zanim przeprowadzi Cię przez analizę stabilności, formalne algorytmy weryfikacji i techniki syntezy kontrolera. Ten kurs jest przeznaczony dla początkujących inżynierów robotyki, informatyków i programistów systemów, którzy szukają dostępnego punktu wejścia do metod formalnych, wymagającego tylko podstawowego wykształcenia matematycznego.Zacznij czytać już dziś, aby opanować matematyczne podstawy bezpiecznej autonomii.