hybrid systems SOSE 2019 Gedächtnisprotokoll

-die definitionen der bestandteile eines Hybrid automaton mit formeln
 - gezeichnet einen verlauf mit verschiedenen guards, wie ist der verlauf, wie wird geswitcht, wie geht es weiter
-switched linear systems: necessary condition + sufficient condition für arbitrary switching, JQLF, GUAS, formeln dazu, was sagt das aus
-was ist behavioral systems theory, (t,W,B), B maps W on t, zwei automatons mit unterschiedlichem B wobei einer feiner ist-> was sagt das aus

er hat sich im Grunde an der Vorlesung entlang gehangelt und wenn man schnell gut antwortet fragt er auch mehr