Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Logout in [min] [minutetext]

Varianten von Hybriden Automaten - Einzelansicht

Grunddaten
Veranstaltungsart Seminar Langtext
Veranstaltungsnummer 100041 Kurztext
Semester SS 2020 SWS 2
Erwartete Teilnehmer/-innen Studienjahr
Max. Teilnehmer/-innen
Credits Belegung Belegpflicht
Hyperlink
Sprache deutsch
Termine Gruppe: [unbenannt] iCalendar Export für Outlook
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Di. 14:00 bis 16:00 woch 07.04.2020 bis 14.07.2020  Einsteinstr. 62 - M A 201 (SR 2)        
Gruppe [unbenannt]:
 


Zugeordnete Personen
Zugeordnete Personen Zuständigkeit
Remke, Anne, Prof. Dr. verantwort
Delicaris, Joanna begleitend
Niehage, Mathis begleitend
da Silva, Carina, Dr. begleitend
Studiengänge
Abschluss - Studiengang Sem ECTS Bereich Teilgebiet
Master - Informatik (88 079 8) -
Master - Informatik (88 079 14) -
Master - Mathematik (88 105 13) -
MEd Gymnasien u Gesamt - Informatik (E3 079 14) -
Prüfungen / Module
Prüfungsnummer Modul
12001 Informatikseminar - Master Informatik Version 2014
24001 Informatikseminar aus dem Bereich formale Methoden - Master Informatik Version 2014
502001 Veranstaltung - Master Mathematik Version 2013
2047001 Informatikseminar - Master Mathematik Version 2013
13001 Seminar - MEd Gymnasien u Gesamt Informatik Version 2014
402001 Veranstaltung - Master Mathematik Version 2010
Zuordnung zu Einrichtungen
Fachbereich 10 Mathematik und Informatik
Inhalt
Kommentar

Hybride Automaten kombinieren diskretes und kontinuierliches Verhalten mit nichtdeterministischen Wahlmöglichkeiten, z.B. bei der Wahl von Transitionen oder bei dem Zurücksetzen von kontinuierlichen Variablen. Es existieren verschiedenste Varianten dieses Modellformalismus, mit unterschiedlicher Ausdrucksstärke und unterschiedlich exakten und effizienten Analyse- bzw. Approximationsverfahren.
 
In diesem Seminar betrachten wir Varianten von Hybriden Automaten: Zum einen vergleichen wir die Ausdrucksstärke der verschiedenen Modellformalismen und zum anderen sollen bestehende Analyse- und Approximationsverfahren vorgestellt werden.
 
Insbesondere werden wir auch die Kombination von Hybriden Automaten mit diskreten oder kontinuierlichen Wahrscheinlichkeiten betrachten, sogenannte Probabilistic Hybrid Automata, bzw. Stochastic Hybrid Automata.
 
Im ersten Teil des Seminars werden verschiedene Varianten von HA mit der dazugehörigen Literatur als Themen vergeben und es wird erwartet, dass die Studierenden sich in den folgenden Wochen aktiv mit der Ausdrucksstärke des Modellformalismus auseinandersetzen. Im Austausch mit anderen Seminarteilnehmern soll dann eine erste Einordnung der verschiedenen Formalismen bzgl. ihrer Ausdrucksstärke erstellt werden. Hieraus ergibt sich die Frage, wie in der Klassifikation benachbarte Formalismen zueinander in Beziehung stehen. Dieser Frage soll im Weiteren nachgegangen werden und es wird erwartet, dass jeder Seminarteilnehmer in einer Abschlusspräsentation und einer kurzen Ausarbeitung die Ergebnisse der eigenen Arbeit darstellt.


Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SS 2020 , Aktuelles Semester: SoSe 2024