Fondamenti di Sistemi Autonomi: Modellazione e Verifica della Sicurezza

Costruire sistemi autonomi che operano in sicurezza nel mondo reale richiede una progettazione e una verifica rigorose. Questo corso ti introduce ai concetti essenziali di modellazione, specificazione e verifica dei sistemi autonomi con garanzie matematiche di sicurezza. Imparerai a passare dalle definizioni di sistema di base all'analisi di comportamenti complessi e auto-operanti. Cosa imparerai: 1. Comprendere la terminologia fondamentale e l'architettura di base dei sistemi autonomi. 2. Modellare le dinamiche di sistema utilizzando rappresentazioni nello spazio degli stati e modelli di transizione. 3. Specificare i requisiti di sicurezza e operativi utilizzando la logica formale. 4. Verificare la correttezza del sistema utilizzando tecniche fondamentali di model-checking e validazione. 5. Applicare filtri di sicurezza moderni, incluse le control barrier functions, per prevenire guasti. 6. Esplorare come i moderni componenti di machine learning sono integrati in pipeline critiche per la sicurezza. Questo corso basato su testo inizia con definizioni di base e concetti di controllo prima di progredire verso specifiche formali e metodi di verifica. È progettato per principianti in ingegneria o informatica, non richiedendo un background matematico avanzato. Inizia a leggere oggi per padroneggiare i fondamenti della progettazione autonoma sicura.