Podstawy systemów autonomicznych: modelowanie i weryfikacja bezpieczeństwa

Budowanie systemów autonomicznych, które działają bezpiecznie w świecie rzeczywistym, wymaga rygorystycznego projektowania i weryfikacji.Ten kurs wprowadza podstawowe pojęcia modelowania, określania i weryfikowania systemów autonomnych z matematycznymi gwarancjami bezpieczeństwa. Nauczysz się przechodzić od podstawowych definicji systemu do analizy złożonych, samodzielnie działających zachowań. Czego się nauczysz: 1. Zrozumieć terminologię podstawową i podstawową architekturę systemów autonomicznych. 2. Określ wymagania bezpieczeństwa i eksploatacji za pomocą logiki formalnej. 4.Weryfikuj poprawność systemu za pomoca podstawowych technik sprawdzania i walidacji modelu. 5.Zastosuj nowoczesne filtry bezpieczenstwa, w tym funkcje barier kontrolnych, aby zapobiec awariom. 6.Zbadaj, w jaki sposób nowoczesna nauka maszynowa jest zintegrowana z rurociągami o krytycznym znaczeniu dla bezpieczeństw... [-] Ten kurs tekstowy rozpoczyna się od podstawowych definicji i pojęć sterowania, a następnie przechodzi do formalnych specyfikacji i metod weryfikacji. Jest przeznaczony dla początkujących w dziedzinie inżynierii lub informatyki, nie wymaga zaawansowanego tła matematycznego.