Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen

Buch | Softcover

156 Seiten

2000
Logos Berlin (Verlag)
978-3-89722-506-0 (ISBN)

Ziel dieser Arbeit ist die Betrachtung von Steuerungssynthesen und Steuerungsverifikation im Rahmen des formalen Steuerungsentwurfes.

Reihe/Serie	Hallenser Schriften zur Automatisierungstechnik ; 1
Sprache	deutsch
Maße	145 x 210 mm
Einbandart	Paperback
Themenwelt	Technik ► Elektrotechnik / Energietechnik
Schlagworte	Condition/Event-System • Formaler Steuerungsentwurf • HC/Technik/Elektronik, Elektrotechnik, Nachrichtentechnik • Petri Netz • Petri-Netz • Steuerungssynthese • Steuerungstechnik • Steuerungsverifikation
ISBN-10	3-89722-506-9 / 3897225069
ISBN-13	978-3-89722-506-0 / 9783897225060
Zustand	Neuware