Fundamenten van Autonome Systemen: Verificatie en Synthese

Het ontwerpen van autonome systemen zoals zelfrijdende voertuigen en robotassistenten vereist absolute zekerheid dat ze zich veilig gedragen in onvoorspelbare omgevingen. Deze tekstgebaseerde cursus introduceert u de kernprincipes van formele verificatie en controllersynthese, zodat uw autonome ontwerpen voldoen aan strikte veiligheids- en stabiliteitsnormen.U gaat van het eenvoudig testen van autonome systemen naar het wiskundig bewijzen van hun juistheid. Door te begrijpen hoe u systeemdynamiek kunt modelleren en veiligheidseigenschappen kunt uitdrukken, krijgt u de vaardigheden die nodig zijn om controllers te ontwerpen die een veilige werking onder verschillende omstandigheden garanderen. Wat u zult leren: Begrijp fundamentele systeemdynamica en hoe u autonoom gedrag wiskundig kunt modelleren; Pas Lyapunov-stabiliteitstheorie toe om de stabiele toestanden op lange termijn van dynamische systemen te verifiëren; Analyseer bereikbaarheid en gebruik barrièrecertificaten om te garanderen dat veiligheidskritische grenzen nooit worden overschreden; Verken formele modelcontrole Technieken om systemen te verifiëren tegen reguliere en omega-reguliere tijdelijke eigenschappen; Synthetiseer correct-by-constructie controllers die automatisch het gewenste veiligheidsbeleid afdwingen; Onderzoek moderne veiligheidsuitdagingen, waaronder het verifiëeren van systemen die leren-enabled componenten en neurale netwerken bevatten. De cursus begint met essentiële wiskundige terminologie en fundamentele systeemmodellering voordat u door stabiliteitsanalyse, formele verificatiealgoritmen en controllersynthesetechnieken wordt geleid. Deze cursus is bedoeld voor aspirant-robotica-ingenieurs, computerwetenschappers en systeemontwikkelaars die op zoek zijn naar een toegankelijk instappunt in formele methoden, waarvoor alleen een basisachtergrond in wiskunde vereist is.Start vandaag nog met lezen om de wiskundige fundamenten van veilige autonomie onder de knie te krijgen.