Fondamenti dei Sistemi Autonomi: Verifica e Sintesi

Progettare sistemi autonomi come veicoli a guida autonoma e assistenti robotici richiede la certezza assoluta che si comporteranno in modo sicuro in ambienti imprevedibili. Questo corso basato su testo ti introduce ai principi fondamentali della verifica formale e della sintesi di controllori, garantendo che i tuoi progetti autonomi soddisfino rigorosi standard di sicurezza e stabilità. Passerai dal semplice testare i sistemi autonomi al dimostrarne matematicamente la correttezza. Comprendendo come modellare le dinamiche di sistema ed esprimere le proprietà di sicurezza, acquisirai le competenze necessarie per progettare controllori che garantiscano un funzionamento sicuro in diverse condizioni. Cosa imparerai: Comprendere le dinamiche di sistema fondamentali e come modellare matematicamente i comportamenti autonomi; Applicare la teoria della stabilità di Lyapunov per verificare gli stati stazionari a lungo termine dei sistemi dinamici; Analizzare la raggiungibilità e utilizzare certificati barriera per garantire che i confini critici per la sicurezza non vengano mai superati; Esplorare tecniche di model checking formale per verificare i sistemi rispetto a proprietà temporali regolari e omega-regolari; Sintetizzare controllori "correct-by-construction" che applicano automaticamente le politiche di sicurezza desiderate; Esaminare le moderne sfide di sicurezza, inclusa la verifica di sistemi che incorporano componenti abilitati all'apprendimento e reti neurali. Il corso inizia con la terminologia matematica essenziale e la modellazione di sistema fondamentale prima di guidarti attraverso l'analisi di stabilità, gli algoritmi di verifica formale e le tecniche di sintesi di controllori. Questo corso è progettato per aspiranti ingegneri robotici, informatici e sviluppatori di sistemi che cercano un punto di ingresso accessibile ai metodi formali, richiedendo solo una conoscenza di base della matematica. Inizia a leggere oggi per padroneggiare i fondamenti matematici dell'autonomia sicura.