Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2013Algorithmic approaches for system-level simulation of MEMS and aspects of cosimulation
Schneider, Peter; Clauß, Christoph; Donath, Ulrich; Elst, Günter; Enge-Rosenblatt, Olaf; Uhle, Thomas
Book Article
2013D2.8 Energy control strategy. First release
Donath, U.; Haufe, J.; Esteves, R.; Wlodarczyk, T.; Montague, S.; Vadera, S.; Jiménez-Redondo, N.
Report
2013Validierung und Anwendung des IFC-Schemas für eine raumlufttechnische Anlage zur Generierung einer Energiebedarfsberechnung im Rahmen der Open-BIM-Initiative
Stenzel, Pit
: Guruz, Romy (Betreuer); Donath, Ulrich (Betreuer)
Thesis
2012Analyse und Bewertung des IFC-Projektmodells im Bereich der technischen Gebäudeausrüstung als Grundlage für die Ableitung von Automatisierungsstrukturen in der Gebäudeklimatisierung
Stenzel, Pit
: Windisch, Ronny (Betreuer); Guruz, Romy (Betreuer); Donath, Ulrich (Betreuer)
Report
2012Approach to a simulation-based verification environment for material handling systems
Seidel, Stephan; Donath, Ulrich; Haufe, Jürgen
Conference Paper
2012D2.2 SEEDS modeling ontology. BIM methods and standards. IFC data models and IDM requirement analysis
Barragán, A.; Jiménez, N.; Márquez, F.; Cruz, J.; Haufe, J.; Stenzel, P.; Donath, U.; Nieto, L.; Meziane, F.
Report
2012Towards an integrated simulation and virtual commissioning environment for controls of material handling systems
Seidel, Stephan; Donath, Ulrich; Haufe, Jürgen
Conference Paper
2011Engineering fehlerfreier Steuerprogramme. Grafischer Programmentwurf, Modelica-basierte Verifikation, EC61131-Code-Generierung, Software in the Loop
Seidel, S.; Donath, U.
Conference Paper
2011Error-free control programs by means of graphical program design, simulation-based verification and automatic code generation
Seidel, S.; Donath, U.
Conference Paper
2011Modelica - a modelling language for heterogeneous systems
Clauß, Christoph; Donath, Ulrich; Enge-Rosenblatt, Olaf; Majetta, Kristin
Book Article
2011Planung und virtuelle Inbetriebnahme von Steuerungen für Intralogistiksysteme
Seidel, Stephan; Haufe, Jürgen; Donath, Ulrich; Ille, Frank
Conference Paper
2010Hybride Modellierung und simulationsgestützte Optimierung in der Planung von Produktionsprozessen
Donath, U.; Pullwitt, S.
Conference Paper
2010Modellierung des Real-Time-Verhaltens von Steuerungen in der Automatisierungstechnik
Seidel, S.; Klotz, T.; Donath, U.; Haufe, J.
Conference Paper
2010Modelling the real-time behaviour of machine controls using UML statecharts
Seidel, S.; Klotz, T.; Donath, U.; Haufe, J.
Conference Paper
2009Modellbasierter Entwurf von Steuerungen in der Automatisierungstechnik
Haufe, J.; Donath, U.; Lantzsch, G.
Conference Paper
2009Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik
Haufe, J.; Donath, U.; Fordran, E.; Klotz, T.
Conference Paper
2009UML-basierte Modellierung und Verifikation von Steuerungen
Donath, U.; Haufe, J.
Conference Paper
2009Unterstützung des Rapid Control Prototyping von Maschinensteuerungen durch Transformation von Hierarchischen Zustandsautomaten-Graphen in IEC 1131-Code von Speicherprogrammierbaren Steuerungen
Lindner, Lars
: Fischer, Wolf-Joachim (Hrsg.); Donath, Ulrich (Hrsg.)
Thesis
2008A new approach for modeling and verification of discrete control components within a modelica environment
Donath, U.; Haufe, J.; Blochwitz, T.; Neidhold, T.
Conference Paper
2008Simulationsgestütztes Prototyping und Optimierung von Maschinensteuerungen
Haufe, J.; Schneider, P.; Donath, U.; Reitz, S.
Conference Paper
2006Hierarchische Modellierung und Simulation von ZigBee-Netzwerken im Bereich der Gebäudeautomation
Fischbach, R.
: Donath, U. (Prüfer); Fischer, W.-J. (Prüfer)
Thesis
2005Standard Package Modelica.Electrical. Digital
Clauß, C.; Donath, U.; Schneider, A.; Weber, E.
Conference Paper
2002Kombination von Simulationsmodellen für Kommunikationssysteme auf der Basis formaler Beschreibungstechniken
Hintze, E.; Donath, U.
Conference Paper
2002VHDL - Part1. System view and language constructs
Donath, U.; Schwarz, P.
Journal Article
2000Formale Verifikation des Entwurfs einer Steuereinrichtung mittels Modelchecking
Fordran, E.; Schönherr, J.; Straube, B.; Donath, U.
Conference Paper
2000Simulationsgestützte Analyse von Profibus-Konfigurationen
Altmann, S.; Donath, U.; Hohwiller, L.
Journal Article
2000Simulationsunterstützung für die Projektierung von PROFIBUS-Systemen
Altmann, S.; Donath, U.
Conference Paper
1998Beschreibungsmittel VHDL
Donath, U.; Schwarz, P.
Book Article
1997Simulationsunterstützung für den Entwurf von Feldbussystemen
Donath, U.; Hartenstein, D.; Kabitzsch, K.; Schwarz, P.
Conference Paper
1997Softwaretest vernetzter Echtzeitsysteme
Kabitzsch, K.; Hartenstein, D.; Donath, U.
Conference Paper
1996Konfiguration und Leistungsbewertung verteilter Kommunikationssysteme mittels VHDL-Modellierung und Simulation
Altmann, S.; Donath, U.
Conference Paper
1996Simulation in der Mikrosystemtechnik mit KOSIM
Clauß, C.; Donath, U.; Haase, J.; Haufe, J.; Kurth, G.; Leitner, T.; Schneider, A.; Schwarz, P.; Trappe, P.; Winkler, F.; Wünsche, S.
Conference Paper
1995Mehr-Ebenen-Simulation automatisierungstechnischer Prozesse und Steuerungen
Donath, U.; Haufe, J.; Schwarz, P.
Conference Paper
1995Multi-Level-Simulation komplexer Automatisierungssysteme
Donath, U.; Haufe, J.; Schneider, P.; Schwarz, P.
Conference Paper
1994Parallele Multi-Level-Simulation elektronischer Schaltungen mit konservativen Synchronisationsverfahren
Schwarz, P.; Donath, U.; Haase, J.; Gruschwitz, R.; Kurth, G.
Conference Paper
1993Simulationsprinzipien unter CASSY
Trappe, P.; Donath, U.; Meyer zu Bexten, E.; Moraga, C.; Schwarz, P.
Conference Paper
1993System- und Schaltungsentwurf mit CASSY/HISIM/KOSIM
Trappe, P.; Meyer zu Bexten, E.; Donath, U.; Moraga, C.; Schwarz, P.
Conference Paper
1993System- und Schaltungssimulation mit CASSY - HISIM - KOSIM
Trappe, P.; Donath, U.; Meyer zu Bexten, E.; Moraga, C.; Schwarz, P.
Conference Paper