TU Braunschweig

Symbolfoto

Prof. Dr.-Ing. Dr. h.c. Eckehard Schnieder

ausgewählte Veröffentlichungen


Monographien

Verkehrsleittechnik - Automatisierung des Straßen- und Schienenverkehrs.
Springer Verlag, 2007. ISBN 978-3-540-48296-3

Methoden der Automatisierung.
Vieweg & Sohn Verlagsgesellschaft, Braunschweig/Wiesbaden, 1999. ISBN 3-528-06566-4.

Prozeßinformatik - Einführung mit Petrinetzen.
Vieweg-Verlag, Braunschweig, 2. erweiterte Auflage, November 1993. ISBN 3-528-13358-9.

Petrinetze in der Automatisierungstechnik.
Oldenbourg Verlag 1992, ISBN 978-3486220450

Reihen/Tagungsbände

Tagungsbände der Fachtagung "Formal Methods for Automation and Safety in Railway and Automotive Systems" - FORMS/FORMAT 1999-2008
Braunschweig bzw. Budapest/Ungarn, L'Harmattan.

Tagungsbände der Fachtagung "Entwurf komplexer Automatisierungssysteme" - EKA 1991-2006
ab 2008 gemeinsam mit Prof. Dr. U. Jumar und Prof. Dr. Chr. Diedrich
.
Braunschweig, Institut für Regelungs- und Automatisierungstechnik bzw. Institut für Verkehrssicherheit und Automatisierungstechnik
ab 2008: Institut für Automation und Kommunikation, Mageburg

Ehrig, H.; Damm, W.; Desel, J.; Große-Whode, M.; Reif, W.; Schnieder, E.; Westkämper, E.:
Integration of Software Specification Techniques for Applications in Engineering.
Springer Verlag, 2004. ISBN 978-3-540-23135-6.

Engell, S.; Frehse, G.; Schnieder, E., Hrsg.:
Modeling, Analysis and Design of Hybrid Systems.
Springer, Berlin, 2002. ISBN 3-540-43812-2.

Schnieder, E.; Becker, U., Hrsg.:
Tagungsband des IFAC Symposiums on Control in Transportation Systems 2000.
Pergamon, Oxford, 2001. ISBN 0-089-043552-1.

Aufsätze

Schnieder, L.; Schnieder, E.:
Präzisierung des normativen Sicherheitsbegriffs durch formalisierte Begriffsbildung.
In: acatech, Hrsg.: Sicherheitsforschung - Chancen und Perspektiven, S. 73-115, Berlin Heidelberg, 2009. Springer.

Schnieder, E.; Drewes, J.:
Bemessung und Kenngrößen der Verkehrssicherheit.
Zeitschrift für Verkehrssicherheit. 54(3), S. 117-123, 2008.

Schnieder, E.; Schnieder, L.:
Axiomatik der Begriffe für die Automatisierungstechnik.
atp - Automatisierungstechnische Praxis. Oktober 2008.

Schnieder, E.; Slovak, R:
Profund: Ein integrativer Ansatz zum Entwurf verlässlicher Automatisierungssysteme.
atp - Automatisierungstechnische Praxis. , Juli 2007.

Integrierte Modellierung der Funktion und Zuverlässigkeit komplexer Mensch-Maschine-Systeme zur Bestimmung der Verfügbarkeit und Sicherheit.
Tagungsband 22. Tagung Technische Zuverlässigkeit, S. 67-85, Düsseldorf, 2005. TTZ - 22. Tagung Technische Zuverlässigkeit/07.-08.04.2005, Stuttgart, VDI Verlag.

Ist Verkehrssicherheit berechenbar?.
In Braunschweigische Wissenschaftliche Gesellschaft, Hrsg.: Jahrbuch 2004 der Braunschweigischen Wissenschaftlichen Gesellschaft.
J. Cramer Verlag, S. 155-178, Braunschweig, Juni 2005.

Polke, B.; Schnieder, E.:
Formalisierte Prozessbeschreibungen - Entwurf der Richtlinie VDI/VDE 3682 und deren Anwendung.
atp - Automatisierungstechnische Praxis. 45, S. 26-33, August 2003.

Control for traffic safety-safety of traffic control.
In: Tsugawa, Sadayuki; Aoki, Masayoshi, Hrsg.: CTS 2003 - Preprints, S. 1-13, August 2003. IFAC.

Train and Railway Operations Control.
Knowledge for sustainable Development - An Inside into the Encyclopedia of Life Support Systems.
UNESCO Publishing-Eolss publishers, Paris, France, Oxford, UK, 2002.

Integration heterogener Modellwelten der Automatisierungstechnik.
In: Manfred Nagl, Bernhard Westfechtel, Hrsg.: Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, S. 23-41, 2003. DFG Workshop RWTH Aachen 20.-22. März 2002, WILEY-VCH. ISBN 3-527-27769-2.

Modellkonzepte in der Automatisierungstechnik.
In: Gregor Engels, Andreas Oberweis, Albert Zündorf, Hrsg.: Modellierung 2001, S. 7 - 17, Bad Lippspringe, März 2001. Workshop der Gesellschaft für Informatik e.V.(GI) 28.-30.03.01 in Bad Lippspringe, Köllen Druck + Verlag GmbH, Bonn.

Die Idealisierung des Kontinuierlichen - zur Modellierung kontinuierlich-diskreten Verhaltens in der Automatisierungstechnik und Informatik.
45.Internationales Wissenschaftliches Kolloquium, S. 3-16, Technische Universität Ilmenau, Oktober 2000. Ilmenau 04.-06.10.2000.

Chouikha, M.; Janhsen, A.; Schnieder, E.:
Klassifikation und Bewertung von Beschreibungsmitteln für die Automatisierungstechnik.
at - Automatisierungstechnik. 46(12), S. 582-591, Dezember 1998.

Automatisierung von Sicherheitsfunktionen für den Schienenverkehr.
at - Automatisierungstechnik. 46(2), S. 69-77, Februar 1998.

Multisensorsysteme für den modernen Schienenverkehr.
Sensoren und Messysteme, S. 507-518, Düsseldorf, März 1996. VDI/VDE/GMA Tagung Bad Nauheim, VDI-Verlag. ISBN 3180912553.

Betriebsleittechnik für die Magnetschnellbahn TRANSRAPID.
at - Automatisierungstechnik. 44(9), S. 428-436, September 1996.

Petrinetze in der Automatisierungstechnik (Teil 1 & Teil 2).
at - Automatisierungstechnik. 37(5/6), S.173-181, S. 234-241, Mai/Juni 1989.


http://www.iva.ing.tu-bs.de?iT=5&relPath=/institut/mitarbeiter/schnieder/veroeffentlichungen.php