MENÜ MENÜ  

cover

Symbolische Erreichbarkeitsanalyse und automatische Implementierung strukturierter, zeitbewerteter Steuerungsmodelle

Hallenser Schriften zur Automatisierungstechnik, Bd. 3

Jan Thieme

ISBN 978-3-8325-0014-6
235 Seiten, Erscheinungsjahr: 2002
Preis: 40.50 €
Bei der Automatisierung von Produktionsanlagen der Fertigungs- oder Verfahrenstechnik kommen programmierbare Steuerungen zum Einsatz. Die korrekte Funktion einer solchen Steuerung entscheidet maßgeblich darüber, ob das automatisierte System spezifikationsgemäß arbeitet oder nicht. Aus dieser Tatsache erwächst das Bedürfnis, Nachweise über die korrekte Arbeitsweise von Steuerungen zu erbringen. Mit formalen, auf mathematischen Modellen basierenden Verifikationsverfahren lassen sich diese Nachweise führen. Im Mittelpunkt der Arbeit stehen die Definition einer Modellform und die Entwicklung von Methoden zur Umsetzung eines derartigen Verifikationsvorhabens.

Keywords:
  • Hierarchische Systemmodellierung
  • Zeitbewertete Steuerungsmodelle
  • Symbolische Analyse
  • Code-Generierung
  • Funktionsbausteine

KAUFOPTIONEN

40.50 €
Nur noch 2 Ex. auf Lager
Versandkostenfrei innerhalb Deutschlands


Wollen auch Sie Ihre Dissertation veröffentlichen?