Automatisierungstechnik 2 - Interaktive Studienpläne der TU Ilmenau

Automatisierungstechnik 1

Aufbauend auf den Kenntnissen von diskreten Systemen in der Automatisierungstechnik 1, werden theoretische Grundlagen zu stochastischen diskreten Systemen und hybriden (gemischt diskret / kontinuierlichen) Systemen vermittelt. Stochastische diskrete Systeme werden insbesondere zur Optimierung, Diagnose und Zustandsbeobachtung von Automatisierungssystemen behandelt. Die hybriden Systeme verknüpfen die Erkenntnisse aus der Regelungs- und Systemtechnik mit denen aus der Automatisierungstechnik 1, indem diskretes und kontinuierliches Verhalten ganzheitlich betrachtet wird.

Wiederholung endlicher Automaten

Steuerbarkeit und Beobachtbarkeit endlicher Automaten

Gezeitete endliche Automaten

Verifikation gezeiteter endlicher Automaten

Stochastische gezeitete Automaten

Markov Ketten

Warteschlangentheorie

Hybride Automaten

Simulation hybrider Systeme

Stabilität hybrider Systeme

Verifikation hybrider Systeme

Folien zur Vorlesung, Tafelanschrieb

C. G. Cassandras and S. Lafortune: Introduction to Discrete Event Systems. Springer, 2008.

A. van der Schaft and H. Schumacher: An Introduction to Hybrid Dynamical Systems. Springer, 2008.