Inhalt:
Wie entwirft man diskrete Regler für nichtlineare kontinuierliche
Strecken so, daß eine vorgegebene Regelungsaufgabe
garantiert gelöst wird, ohne daß nachgelagerte
Simulations-, Verifikations- oder Anpassungsschritte nötig
wären?
Fokus: Genäherte Bisimulationen. Was sind sie, unter welchen
Voraussetzungen existieren sie, wie kann man sie berechnen, und wie
kann man aus ihnen bei der Lösung von Regelungsaufgaben Nutzen
ziehen? Anwendung: Bewegungsplanung für Roboter.
Anmeldung:
beim ersten Termin
Umfang:
2 (Seminar)
Sprachen:
Deutsch, Englisch
Ort, Zeit:
siehe Vorlesungsverzeichnis
Next meetings: Tue, July 27, 10 am; Thu, July 29, 10 am.
Literatur:
Wird Teilnehmern zur Verfügung gestellt,
u.a.:
P Tabuada, Verification and Control of Hybrid Systems, Springer, 2009