Fachgebiet Automatisierungstechnik (AT Plus)

Veröffentlichungen und Lehrbücher

  • Z. Zhang, T. Leifeld, P. Zhang. Reduced-order observer design for Boolean control systems. IEEE Transactions on Automatic Control, Vol 65, No. 1, pp. 434-441, 2020.
  • Z. Zhang, T. Leifeld, P. Zhang. Reconstructibility analysis and observer design for Boolean control networks. IEEE Transactions on Control of Network Systems, Vol. 7, No. 1, pp. 516-528, 2020.
  • M. Fauser, P. Zhang. Resilience of Cyber-Physical Systems to Covert Attacks by Exploiting an Improved Encryption Scheme. Accepted by the 59th Conference on Decision and Control (CDC). Jeju Island, Republic of Korea, Dec. 2020.
  • A. Abdelkarim, P. Zhang. Optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer Programming. Accepted by the 7th International Symposium on Model-Based Safety and Assessment (IMBSA 2020). Lisbon, Portugal, Sept. 2020.
  • R. Fritz, N. Krebs, P. Zhang. A Monte-Carlo Tree Search based Tracking Control Approach for Time Petri Nets. Proceedings of the 21st IFAC World Congress (IFAC), Berlin, Germany, 2020.
  • R. Fritz, P. Zhang. Tracking Controller Design for Petri Nets with Inputs and Outputs. Proceedings of the 2020 American Control Conference (ACC). Denver, USA, 2020.
  • D. Mikhaylenko, P. Zhang. Stealthy local covert attacks on cyber-physical systems. Proceedings of the 2020 American Control Conference (ACC). Denver, USA, 2020.
  • M. Fu, P. Zhang, J. Li, Y. Wu. Observer and reference governor based control strategy to suppress stick-slip vibrations in oil welldrill-string. Journal of Sound and Vibration. Vol. 457, pp. 37-50, 2019.
  • Z. Zhang, T. Leifeld, P. Zhang. An improved algorithm for stabilization of Boolean networks via pinning control. Proceedings of  the 2019 IEEE Conference on Decision and Control (CDC), pp. 114 - 119,  Nice, France, Dec. 2019.
  • R. Chen, Z. Zhang, P. Zhang, M. Mangold. Fault Tolerant Control for Hexacopter with Reducing Yaw Rate. Proceedings of the 2019 4th International Conference on Control and Fault-Tolerant Systems (SysTol), pp. 171 - 176, Casablanca, Marocco, Sept. 2019
  • D. Martynova, P. Zhang. Completely stealthy attacks on cyber-physical system with parity space based monitoring. Proceedings of by the 2019 American Control Conference (ACC), pp. 4424 - 4429,  Philadelphia, PA, USA, July 2019.
  • R. Fritz, M. Fauser, P. Zhang. Controller encryption for discrete event systems. Proceedings of the 2019 American Control Conference (ACC), pp. 5633 - 5638, Philadelphia, PA, USA, July 2019.
  • R. Fritz, P. Schwarz, P. Zhang. Modeling of Cyber Attacks and a Time Guard Detection for ICS Based on Discrete Event Systems. Proceedings of the 2019 European Control Conference (ECC), pp. 4368 - 4373, Naples, Italy, June 2019.
  • T. Leifeld, B. Venn, S. Cui, Z. Zhang, T. Mühlhaus, P. Zhang. Curve form based quantization of short time series data. Proceedings of the 2019 European Control Conference (ECC), pp. 3710 - 3715,  Naples, Italy, June 2019.
  • R. Fritz, J. Napitupulu, P. Zhang. Tracking control for Petri nets based on Monte-Carlo Tree Search. Proceedings of the 2019 European Control Conference (ECC), pp. 4180 - 4185, Naples, Italy, June 2019.
  • D. Martynova, P. Zhang. An Approach to Encrypted Fault Detection of Cyber-Physical Systems. Proceedings of the 2019 Asian Control Conference (ASCC), pp. 1501 - 1506,  Kitakyushu, Fukuoka, Japan, June 2019.
  • T. Leifeld, Z. Zhang, P. Zhang. Identification of Boolean network models from time series data incorporating prior knowledge. Frontiers in Physiology - Systems Biology, 2018, Heft 9, 695.
  • Z. Zhang, T. Leifeld, P. Zhang. Finite Horizon Tracking Control of Boolean Control Networks. IEEE Transactions on Automatic Control, 2018, vol. 63, no. 6, pp. 1708-1715.
  • R. Fritz, P. Zhang. Fault-tolerant tracking control of petri nets - Fehlertolerante Folgesteuerung von Petri-Netzen. at - Automatisierungstechnik 2018; 66(1): pp. 30-40.
  • R. Fritz, P. Zhang. Overview of fault-tolerant control methods for discret event systems. Proceedings of the 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess), IFAC PapersOnLine, Vol. 51, Issue 24, pp. 88-95, Warsaw, Poland, 2018.
  • R. Fritz, P. Zhang. Detektion von Angriffen auf Cyber-Physische Fertigungssysteme. Proceedings of the 2018  Automation, VDI-Berichte Nr. 2330, pp. 69 - 80, Baden-Baden, Germany, 2018.
  • T. Leifeld, Z. Zhang, P. Zhang. Data-Driven Controller Design for Boolean Control Networks. Proceedings of the 2018 American Control Conference (ACC), pp. 3044 - 3049, Milwaukee, Wisconsin, USA 2018.
  • Z. Zhang, T. Leifeld, P. Zhang. Active Fault Detection of Boolean Control Networks. Proceedings of the 2018 American Control Conference (ACC), pp.5001 - 5006, Milwaukee, Wisconsin, USA 2018.
  • R. Fritz, P. Zhang. Tracking control for petri nets with forbidden states. Proceedings of the 2018 European Control Conference (ECC), pp. 1888 - 1893, Limassol, Cyprus, 2018.
  • D. Martynova, P. Zhang. Secure estimation and attack detection in cyber-physical systems with switching attack. Proceedings of the 2018 European Control Conference (ECC), pp. 356 - 361,  Limassol, Cyprus, 2018.
  • R. Fritz, P. Zhang. Modeling and detection of cyber attacks on discrete event systems. Proceedings of the 14th Workshop on Discrete Event Systems (WODES), pp. 296-301, Sorrento Coast, Italy, 2018.
  • Z. Zhang, T. Leifeld, P. Zhang: Distributed observer design for large-scale Boolean control networks. Proceedings of the 2017 American Control Conference (ACC), pp. 2618 - 2623, Seattle, USA.
  • Z. Zhang, T. Leifeld, P. Zhang: Unknown input decoupling and estimation in observer design for Boolean control networks. Proceedings of the 20th IFAC World Congress, pp. 2972 - 2977, Toulouse, France, 2017.
  • D. Martynova, P. Zhang: Optimization of maintenance schedule for safety instrumented systems. Proceedings of the 20th IFAC World Congress, pp. 12995 - 13000, Toulouse, France, 2017.
  • S. Gau, T. Leifeld, P. Zhang: A Novel and Fast MPC Based Control Strategy for Switched Linear Systems Including Soft Switching Cost. Proceedings of the 56th IEEE Conference on Decision and Control (CDC), pp. 6513 - 6518, Melbourne, Australia, 2017.
  • A. Nehring, P. Zhang: Scenario based MPC for decentralized switched systems with Plug and Play capabilitites. Proceedings of the 56th IEEE Conference on Decision and Control (CDC), pp. 5304 - 5309, Melbourne, Australia, 2017.
  • Ch. Schellenberger, P. Zhang: Detection of covert attacks on cyber-physical systems by extending the system dynamics with an auxiliary system. Proceedings of the 56th IEEE Conference on Decision and Control (CDC), pp. 1374 - 1379, Melbourne, Australia, 2017.
  • Z. Zhang, T. Leifeld, P. Zhang: Identification of Boolean Control Networks Incorporating Prior Knowledge. Proceedings of the 56th IEEE Conference on Decision and Control (CDC), pp. 5839 - 5844, Melbourne, Australia, 2017.
  • K. Machleidt: Preventive maintenance of Safety-related Systems - modeling, analysis, and optimization / Präventive Instandhaltung sicherheitsbezogener Systeme - Modellierung, Analyse und Optimierung. Shaker Verlag, Aachen, 2016, ISBN: 978-3-8440-4151-4.
  • T. Leifeld, J. Schlegel, P. Zhang: Ein neuer Ansatz zur Verfügbarkeitsanalyse von Sicherheitseinrichtungen. at-Automatisierungstechnik 2016, Vol. 64(6), pp. 457-466.
  • T. Leifeld, Z. Zhang, P. Zhang: Fault detection for probabilistic Boolean networks. Proceedings of the 2016 European Control Conference (ECC), pp.740 - 745, Aalborg, Denmark, 2016.
  • S. Fischer, M. Floeck, V. Hensel, T. Kleinert, E. Kruschitz, T. Leifeld, M. Messner, B. Schrörs, J. Wiesner, H. D. Winkel: "Keep it short and simple" bei der Analyse von IT-Sicherheitsrisiken in PLT-Sicherheitssystemen. Automation 2016, paper 579, Baden Baden, 06.2016 .
  • Z. Zhang, T. Leifeld, P. Zhang: Finite horizon tracking control of Boolean control networks. Proceedings of the 2016 American Control Conference (ACC), pp. 6965 - 6970, Boston, USA, 2016.
  • A. Höhn, P. Zhang: Detection of replay attacks in cyber-physical systems. Proceedings of the 2016 American Control Conference (ACC), pp. 290 - 295, Boston, USA, 2016.
  • A. Höhn, P. Zhang: Detection of covert attacks and zero dynamics attacks in cyber-physical systems. Proceedings of the 2016 American Control Conference (ACC), pp. 302 - 307, Boston, USA, 2016.
  • A. Nehring, P. Zhang: Decentralized scenario-based plug and play MPC for linear systems with multiplicative uncertainties. Journal of Physics: Conference Series, Volume 783, conference 1, pp. 12 - 23, Lille, France, 2016.
  • Z. Zhang, T. Leifeld, P. Zhang: Observer design for Boolean control networks. Proceedings of the 55th IEEE Conference on Decision and Control (CDC), pp. 6272-6277, Las Vegas, USA, 2016.
  • S. Schneider: Automatic Modeling and Fault Diagnosis of Timed Concurrent Discrete Event Systems. Logos Verlag Berlin, ISBN: 978-3-8325-3981-8.
  • L. Litz: Wahrscheinlichkeitstheorie für Ingenieure - Grundlagen, Übungen, Anwendungen. bookboon.com. ISBN 978-87-403-0928-7.
  • L. Litz: Zufallsvariablen für Ingenieure - Grundlagen, Übungen, Anwendungen. bookboon.com. ISBN 978-87-403-0975-1.
  • P. Zhang: Properties of certain optimal ratio-type fault detection performance indices with respect to sampling period. Proceedings of the 9th IFAC Symposium SAFEPROCESS, pp. 919 - 924, Paris, France, 2015.
  • Rodner, T.; Litz, L.: Inaktivitätsmonitoring und automatische Alarmierung - Von der Theorie in die Praxis. 7. Deutscher AAL-Kongress, Berlin, Germany, Jan. 2014, Paper-ID A17.
  • Schneider, S.; Litz, L.: Automatic Partitioning of DES Models for Distributed Fault Diagnosis Purposes. 12th IFAC/IEEE Workshop on Discrete Event Systems (WODES'14), Cachan, France, 2014, pp. 21-26. .
  • Rodner, T.; Schelisch, L.: Abschlussbericht des Projekts Technisch-soziales Assistenzsystem für Komfort, Sicherheit, Gesundheit und Kommunikation im innerstädtischen Quartier - Teilvorhaben Entwicklung des technischen Teilsystems und sozialwissenschaftliche Begleit- und Akzeptanzforschung. Förderkennzeichen 16SV4016, Berichtszeitraum: 01.08.2010 - 31.12.2013.
  • Machleidt, K., Litz, L.: Effiziente Wiederholungsprüfungen sicherheitstechnischer Systeme in der Prozessindustrie. Chemie Ingenieur Technik, Volume 86, Issue 9, September 2014, p. 1573.
  • Haupt, A., Tognetti, E., Bauchspiess, A., Litz, L.: Control Design in a Distributed WNCS Using Energy Optimal Scheduled Medium Access. 53rd IEEE Conference on Decision and Control, Los Angeles, Dec. 2014.
  • Litz, Lothar: Grundlagen der Automatisierungstechnik Regelungssyssteme - Steuerungssysteme - Hybride Systeme 2. aktualisierte Auflage. Oldenbourg Verlag, 2013, ISBN 978-3-486-70888-2.
  • Litz, L.; Bondorf, N.; Casel, D.: Qualität von Studium und Lehre an der TU Kaiserslautern: das down-up-Prinzip in Theorie und Praxis. In: Handbuch Qualität in Studium und Lehre: Evaluation nutzen, Akkreditierung sichern, Profil schärfen/ Hrsg.: Benz, W.; Kohler, J.; Landfried, K., Stuttgart: Raabe, 2013 - C 3.3. S. 1 - 14.
  • Steffen, Thomas: Funkbasierte Modellfolgeregelung mit ressourcenschonender Adaption der Übertragungsintervalle / Model Following Feedback Control with transfer interval adaptation for low resource WNCS (Diss.). Logos Verlag Berlin, 2013. ISBN: 978-3-8325-3467-7.
  • Chamaken, Alain Tierry Kamde: Model-Based Cross-Design for Wireless Networked Control Systems with Limited Resources / Modellgestütztes Cross-Design für funkbasierte Regelungssysteme mit beschränkten Ressourcen (Diss.). Shaker Verlag Aachen, 2013. ISBN: 978-3-8440-2014-4.
  • Schneider, S.; Litz, L.: Automatische Fehlerdiagnose in großen industriellen Fertigungsanlagen. Proceedings of the Automation 2013 (GMA-Congress), Baden-Baden, Germany, 2013, pp. 159-162.
  • Schneider, S.; Litz, L.: Automatische Fehlerdiagnose SPS-gesteuerter Anlagen. atp - Automatisierungstechnische Praxis, Jg. 55, 7-8/2013, S. 54-61.
  • Danancher, M.; Lesage, J.-J.; Litz, L.; Faraut, G.: A Discrete event model for multiple inhabitants location tracking . Proceedings of 9th IEEE International Conference on Automation Science and Engineering (CASE 2013), Madison, USA, 17-20 Aug. 2013, pp. 922 - 927.
  • Rodner, T.; Litz, L.: Data-driven generation of rule-based behavior models for an Ambient Assisted Living system. Proceedings of the 3rd IEEE International Conference on Consumer Electronics - Berlin (IEEE 2013 ICCE-Berlin), Berlin, Germany, September 8-11, 2013, pp. 35-38.
  • Danancher, M.; Faraut, G.; Lesage, J.-J.; Litz, L.: A DES Simulator for Location Tracking of Inhabitants in Smart Home. Proceedings of the 8th EUROSIM Congress on Modelling and Simulation, Cardiff, UK, September 10-13, 2013, pp. 330 - 335.
  • Danancher, M.; Lesage, J.-J.; Litz, L.; Faraut, G.: Online Location Tracking of a Single Inhabitant based on a State Estimator. Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2013), Manchester, UK, October 13-16, 2013, pp. 391 - 396 .
  • Danancher, M.: A Discrete Event Approach for Model-Based Location Tracking of Inhabitants in Smart Homes / Ein ereignisdiskreter Ansatz für modellbaierte Einwohnerlokalisierung in intelligenten Wohnungen (Diss.). .
  • Roth, M.; Schneider, S.; Lesage, J.-J.; Litz, L.: Fault Detection and Isolation in Manufacturing Systems with an Identified Discrete Event Model. International Journal of Systems Science. Vol. 43, No. 10, October 2012, pp. 1826–1841.
  • Floeck, M.; Litz, L.; Spellerberg, A.: Monitoring Patterns of Inactivity in the Home with Domotics Networks. In: Augusto J.C. u.a. (Ets): Ambient Intelligence and Smart Environments, Handbook of Ambient Assisted Living - Technology for Healthcare, Rehabilitation and Well-being. ISBN 978-1-60750-836-6, IOS Press Amsterdam, 2012, pp. 258 - 282.
  • Bauer, P.; Rodner, T.; Litz, L.: AAL-Eignung von HomeAutomation-Sensorik - Anforderungen und Realität (Fitness-analysis of home automation sensors for AAL purposes - Requirements and reality). 5. Deutscher AAL-Kongress, Berlin, Germany, Jan. 2012, Paper-ID 10.3.
  • Machleidt, K.; Litz, L.: Rechnergestützte Ermittlung optimaler Instandhaltungsstrategien für PLT-Schutzeinrichtungen. Proceedings of the Automation 2012 (VDI/GMA-Congress 2012), Baden-Baden, Germany, June 2012, pp. 191-194.
  • Machleidt, K.; Litz, L.: Optimal prooftests for Safety Instrumented Systems based on maintenance models. Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference & the Annual European Safety and Reliability Conference (PSAM 11 & ESREL 2012), Helsinki, Finland, June 2012, pp. 6011-6020.
  • Danancher, M., Lesage, J.-J., Litz, L.: Indoor Location Tracking Based on a Discrete Event Model. Proceedings of the 10th International Conference on Smart Homes and Health Telematics (ICOST'12).
  • Steffen, T.; Haupt A.; Litz L.: New structures with integral action for resource constrained control systems. Proceedings of the 31st Chinese Control Conference, Hefei, July 25-27, 2012.
  • Machleidt, K.; Litz, L.: Instandhaltungsstrategien für PLT-Schutzeinrichtungen. atp edition, Oldenbourg Industrieverlag München, Nr. 11, Nov. 2012, pp. 28 - 35.
  • Schneider, S., Litz, L., Lesage, J.-J.: Determination of Timed Transitions in Identified Discrete-Event Models for Fault Detection. 51st IEEE Conference on Decision and Control (CDC'12). Maui, Hawaii, December 10-13, 2012, accepted.
  • Rodner, T.; Floeck, M.; Litz, L.: Inaktivitätsüberwachung und Alarmhandling zur Verringerung von Fehlalarmen. 4. Deutscher AAL-Kongress, Berlin, Germany, Jan. 2011, Paper-ID 10.1.
  • Machleidt, K.; Litz, L.: An Optimization Approach for Safety Instrumented System Design. Proceedings of the Annual Reliability and Maintainability Symposium, (RAMS 2011) Lake Buena Vista, USA, Jan. 2011, pp. 409-414.
  • Roth, M.; Lesage, J.-J.; Litz, L.: The Concept of Residuals for Fault Localization in Discrete Event Systems. Control Engineering Practice, Vol. 19, No. 9, September 2011, pp. 978-988.
  • Schneider, S.; Danancher, M.; Litz, L.: Timed Residuals for Fault Detection and Isolation in Discrete Event Systems. 3rd International Workshop on Discrete Systems (DCDS'11), Saarbrücken, Germany, June 14-17, 2011, pp. 35-40.
  • Danancher, M., Roth, M., Lesage, J.-J., Litz, L.: A comparative study of three model-based FDI approaches for Discrete Event Systems. 3rd International Workshop on Discrete Systems (DCDS'11), Saarbrücken, Germany, June 14-17, 2011, pp. 29-34.
  • Floeck, M.; Litz, L.; Rodner, T.: An Ambient Approach to Emergency Detection Based on Location Tracking. Proceedings of the 9th International Conference on Smart Homes and Health Telematics (ICOST 2011), Montreal, Canada, June 2011, pp. 296-302.
  • Chamaken, A.; Litz, L: Modelling and optimization of the lifetime of wireless nodes in wireless networked control systems. Proceedings of the Automation 2011 (VDI/GMA-Congress 2011), Baden-Baden, Germany, June 2011, pp.93-96.
  • Machleidt, K.; Litz, L.: Kosteneinsparungen bei PLT-Schutzeinrichtungen durch automatischen optimierten Entwurf. Proceedings of the Automation 2011 (VDI/GMA-Congress 2011), Baden-Baden, Germany, June 2011, pp. 169-172.
  • Machleidt, K.; Litz, L.; Gabriel, T.: SIS-design automation by use of Abstract Safety Markup Language. Advances in Safety, Reliability and Risk Management: ESREL 2011, Troyes, France, Sept. 2011, pp. 970-976.
  • Rodner, T.; Bauer, P.; Litz, L.: Inaktivitätsmonitoring mit funkbasierter Sensorik: Anforderungen und optimale Platzierung. Embedded goes medical 2011, München, 5.-6. Oktober 2011.
  • Steffen, T.; Litz L.: Two Structures for Resource Constrained Control Systems with Output Feedback. IEEE ICCA'11, Santiago de Chile 19.-21.12.2011.
  • Floeck, M.; Litz, L.: Aktivitätsüberwachung in Bestandswohnungen mit einfach nachrüstbarer Basisausstattung. 3. Deutscher AAL-Kongress, Berlin, Germany, Jan. 2010, Paper-ID 8.1.
  • Düpont, D.: Merging Bottom-up and Top-down Availability for realistic Analysis of Safety-related Loops (Verzahnung von Bottom-Up und tTop-Down-Verfügbarkeit zur Abbildung realen Verhaltens). Aachen, 2010 (Diss.).
  • Floeck, M.; Litz, L.: Advanced algorithms for activity monitoring among seniors living single in their private homes' . Proceedings of ISG International Society for Gerontechnology - 7th World Congress, Vancouver, Canada, May 2010, p. 211.
  • Chamaken, A.; Litz, L: Control Performance Optimization in Wireless Networked Control Systems: A Case Study. Proceedings of the Automation 2010 (VDI/GMA-Congress 2010), Baden-Baden, Germany, June 2010, pp. 89-93.
  • Chamaken, A.; Litz, L: Joint Design of Control and Communication for Wireless Networked Control Systems. at Automatisierungstechnik, Oldenbourg Verlag, Vol. 58, No. 4, April 2010, pp. 192-205.
  • Gabriel, T.; Litz, L.: Generische Erzeugung von Verfügbarkeits-Rechenmodellen für PLT-Schutzeinrichtungen. Automation 2010, Baden-Baden, June 15-16, 2010.
  • Roth, M.; Lesage, J.-J.; Litz, L.: Identification of Discrete Event Systems - Implementation Issues and Model Completeness. Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics (ICINCO), Funchal, Portugal, June 2010.
  • Chamaken, A.; Litz, L: Joint Design of Control and Communication for Wireless Networked Control Systems. American Control Conference 2010 (ACC'10), Baltimore, USA, June 2010, pp. 1834-1840.
  • Gabriel, T.; Schrörs, B.: PFD-Berechnung für komplexe PLT-Schutzeinrichtungen - Ausführung von BPCS-Funktionen mit SIS-Armaturen. DECHEMA Info-Brief 31/2010.
  • Roth, M.; Lesage, J.-J.; Litz, L.: Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems. Proceedings of the 2010 American Control Conference (ACC2010), Baltimore, USA, June, 2010.
  • Gabriel, T.; Litz, L.; Schrörs, B.: SIL3-Abschaltung nach DIN EN 61511 für elektromechanische Betriebsmittel. TÜ Bd. 51 (2010) Nr. 7/8- Juli/August.
  • Steffen T., Litz L., Bauchspieß A., Ishihara J.: Stable sampling period adaptation for energy saving in ambient intelligence networks. XVIII Congresso Brasileiro de Automática, Sociedade Brasileira de Automática, Bonito, Brazil, 13.-16. September, pp. 4469-4475.
  • Floeck, M.: Activity Monitoring and Automatic Alarm Generation in Private, AAL-enabled Homes (Aktivitätsbeobachtung und automatische Alarmgenerierung in mit AAL-Technik ausgestatteten Wohnungen). Logos Verlag Berlin, 2010 (DIss.).
  • Roth, M.: Identifiacation and Fault Diagnosis of Industrial Closed-Loop Discrete Event Systems (Identifikation und Fehlerdiagnose industrieller ereignisdiskreter Closed-Loop Systeme). Logos Verlag Berlin, 2010 (Diss.).
  • Gabriel, T.: Generic Construction of Unavailability Calculation Models based on a Structures SIF Description Language. 
  • Floeck, M.; Litz, L.: Eine Methodik zur automatischen Generierung von Alarmen für Gesundheitsgefahren aus den Sensorsignalen der Hausautomatisierung. Proceedings 2. Dt. AAL-Kongress, Berlin, Germany, Jan. 2009, Paper-ID 6.5.
  • Roth, M.; Lesage, J.-J.; Litz, L.: An FDI Method for Manufacturing Systems Based on an Identified Model. 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'09), Moscow, Russia, June 2009, pp. 1389 - 1394 .
  • Chamaken, A; Litz, L. ; Kraemer, M.; Gotzhein, R. : Model-based C3-Cross-Design for Wireless Networked Control Systems. Proceedings of the NE{S|T}COC Symposium on Recent Trends in Networked Systems and Cooperative Control (NESCOC) and Workshop on Network Induced Constraints in Control (NETCOC), Stuttgart, Germany, September 2009.
  • Gabriel, T.; Litz, L.; Schrörs, B.: Rahmenbedingungen für die Ausführung von BPCSFunktionen mit SIS-Armaturen. Proceedings of Automation 2009, Baden-Baden, Germany, June 2009.
  • Chamaken, A.; Litz, L.; Krämer, M.; Gotzhein, R.: A New Approach to the Joint Design of Control and Communication in Wireless Networked Control Systems. Proceedings of the Automation 2009 (VDI/GMA-Congress 2009), Baden-Baden, Germany, June 2009, pp. 251-255.
  • Roth, M.; Lesage, J.-J.; Litz, L.: A residual inspired approach for fault localization in DES. Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Event Systems (DCDS'09), Bari, Italy, June 2009, pp. 347-352 .
  • Schulze, B.; Floeck, M.; Litz, L.: A Video Monitoring System for Activity Recognition and Fall Detection. Proceedings of the 7th International Conference on Smart Homes and Health Telematics (ICOST 2009), Tours, France, July 2009.
  • Roth, M.; Lesage, J.-J.; Litz, L.: Distributed Identification of discrete event systems for fault detection purposes. Proceedings of the European Control Conference 2009 (ECC 2009), Budapest, Hungary, August 2009, pp. 2590-2595.
  • Chamaken, A.; Litz, L.; Krämer, M.; Gotzhein, R.: Cross-Layer Design of Wireless Networked Control Systems with Energy Limitations. European Control Conference 2009 (ECC'09), Budapest, Hungary, August 2009, pp. 2325-2330.
  • Floeck, M.; Litz, L.: Inactivity Patterns and Alarm Generation in Senior Citizens’ Houses. Proceedings of the European Control Conference 2009 (ECC 2009), Budapest, Hungary, August 2009.
  • Le, A.; Jaitner, T.; Litz, L.: Model Predictive Control for Sensor-based Group Training Optimization in Professional cycling. Proceedings of the European Control Conference 2009 (ECC 2009), Budapest, Hungary, Aug. 2009, pp. 1305-1310.
  • Gotzhein, R.; Krämer, M.; Chamaken, A. ; Litz, L.: Energy-aware System Design with SDL. 4th System Design Languages Forum (SDL2009), Bochum, Germany, September 2009, pp. 19-33.
  • Roth, M.; Lesage, J.-J.; Litz, L.: Verteilte Identifikation ereignisdiskreter Systeme zur Fehlererkennung und -Diagnose. Workshop des GMA-Fachausschusses 1.30, Salzburg, Austria, September 2009.
  • Le, A.: Sensor-based training optimization in professional cycling by model predictive control (Sensorbasierte Trainingsoptimierung im Profi-Radsport mittels einer modellprädiktiven Regelung). Aachen, 2010.
  • Gabriel, T.; Litz, L.; Schrörs, B.: Steigerung der Verfügbarkeit von PLT-Schutzeinrichtungen durch Mitbenutzung von Komponenten des Prozessleitsystems. TÜ - Technische Überwachung, Bd. 49, Nr. 1/2 - Jan./Feb., Springer VDI Verlag, Düsseldorf, 2008, pp. 30-34.
  • Litz, L.; Gabriel, T.; Groß, M.; Gabel, O.: Networked Control Systems (NCS) - Stand und Ausblick. at Automatisierungstechnik, Oldenbourg Wissenschaftsverlag, Vol. 56, No. 1, Jan. 2008, pp. 4-19.
  • Floeck, M.; Litz, L.: Lange selbstbestimmt leben mit geeigneter Hausautomatisierung und einem persönlichen technischen Assistenten. 1. Deutscher AAL Kongress, Berlin, Germany, Jan. 2008, pp. 287 - 290.
  • Düpont, D.; Litz, L.; Netter, P.: Lokalisierung und Analyse von Fehlerquellen beim numerischen SIL-Nachweis. atp - Automatisierungstechnische Praxis, 02/2008, Oldenbourg Industrieverlag GmbH, München, 2008, pp. 62-67.
  • Theile, A., Düpont, D., Litz, L., Schäfer, G., Röhrig, W., Nowotny, W.: Nachweis einer SIL 2 Eignung für Absperrklappen auf Basis realer Einsatzdaten. Industriearmaturen, 3/2008, Vulkan Verlag, Essen, 2008.
  • Gabriel, T.; Schrörs, B.; Litz, L.: A formal approach to derive configurable Markov models for arbitrarily structures safety loops. Proceedings of the 9th International Conference on Probabilistic Safety Assessment and Management (PSAM9), Hong Kong, China, May 2008.
  • Le, A.; Litz, L.; Jaitner T.: A Model Predictive Controller for Sensor-based Training Optimization of a Cyclist Group. The Engineering of Sport 7, Vol. 1, 2008, pp. 413-423.
  • Le, A.; Jaitner, T.; Tobias, F.; Litz, L.: A Dynamic Heart Rate Prediction Model for Training Optimization in Cycling. The Engineering of Sport 7, Vol. 1, 2008, pp. 425-433.
  • Gabriel, T.; Schrörs, B.; Litz, L.: Generische Erzeugung von Markov-Modellen zur Berechnung sicherheitstechnischer Kenngrößen in PLT-Schutzeinrichtungen. . Proceedings of Automation 2008, Baden-Baden, Germany, June 2008.
  • Gabel, O.: Entwurf von QoS-adaptiven Regelungen für AmI-Systeme mit heuristischen Methoden. Shaker Verlag, Aachen, 2008 (Diss).
  • Gabriel, T.; Schrörs, B.; Litz, L.: Generische Erzeugung von Markov-Modellen zur Berechnung sicherheitstechnischer Kenngrößen in PLT-Schutzeinrichtungen. atp - 07/2008, Oldenbourg Industrieverlag, München 2008, S. 53 - 60.
  • Gabriel, T.; Litz, L.; Schrörs, B.: Systematic approach for the SIL-proof of non-standard safety-loops. Proceedings of the 5th Petroleum and Chemical Industry Conference Europe, PCIC Europe, Weimar, Germany, 2008, pp. 171 - 178.
  • Hildebrandt, A.; Düpont, D.; Litz, L.: Berechnung der Ausfallwahrscheinlichkeit (PFD) von heterogenen mehrkanaligen Sicherheitskreisen mittels effektiver Fehlerraten. Automation, VDI Wissensforum IWB GmbH, Düsseldorf, 2008.
  • Le, A.; Litz, L.: An Ambient Intelligence System for the Indoor Cycling Training . Proceedings of the1st Joint International Pre-Olympic Conference of Sports Science & Sports Engineering, Vol. 2 (Bio-Mechanics and Sports Engineering), Nanjing, China, Aug. 2008, pp. 271-276.
  • Vieira, B. B. S.; Wyant, R. S.; Oliveira, F. A. R.; Litz, L.; Bauchspiess, A.: Building Identification for Energy-Saving Automation using First-Principles Models . Proceedings of VIII INDUSCON - Conferência Internacional de Aplicações Industriais, Poços de Caldas, Aug. 2008 .
  • Carrillo, N.: Condition Monitoring of Complex Rotating Machines Using System Identification and Speech Processing Techniques. Logos Verlag, Berlin 2008 (Diss).
  • Floeck, M.; Litz, L.: Activity- and Inactivity-Based Approaches to Analyze an Assisted Living Environment. Proceedings of the 2nd International Conference on Emerging Security Information, Systems and Technologies SECURWARE '08, Cap Esterel, France, 2008, pp. 311 - 316.
  • Felgner, F.: Design of Virtual Airflow Sensors for Thermal Comfort Control. Shaker Verlag, Aachen, 2008 (Diss).
  • Floeck, M.; Litz, L.: Assisted Living in Kaiserslautern - Ergebnisse aus einem realen Wohnungsbauprojekt. eHome 2008 Assisted Living Congress, Berlin, Germany, Oct 2008.
  • Düpont, D., Theile, A., Litz, L., Schäfer, G., Nowotny, W.: SIL Qualification for Butterfly Valves based on Proven-In-Use Experience. Valve World Conference, Maastricht, Netherlands, November 2008.
  • Lothar Litz, Melanie Gross: Covering Assisted Living Key Areas based on Home Automation Sensors. IEEE International Conference On Networking, Sensing and Control 2007, London.
  • Düpont, D.; Litz, L.; Netter, P.: Field-based Evaluation of PFD Values for Safety-related Loop Typicals. Proceedings of the 22nd Annual CCPS International Conference - Case Histories: Anvancing Process Safety through Design and Operations, pp. 187-200, Houston (USA), April 2007.
  • Düpont, D.; Litz, L.; Netter, P.: Lokalisierung und Analyse von Fehlerquellen beim numerischen SIL-Nachweis. GMA-Kongress 2007 - Automation im gesamten Lebenszyklus, VDI Wissensforum IWB GmbH, S. 237-246, Düsseldorf, 2007.
  • Roth, M.; Litz, L.: Modellbasierte Fehlererkennung und Diagnose in großen SPS-gesteuerten Produktionsanlagen. Proceedings of VDI/GMA-Kongress 2007, pp. 275-284, Baden-Baden, Juni 2007.
  • Roth, M.; Klein, S.; Litz, L.: Modellbasierte Fehlererkennung und Fehlerdiagnose für große SPS-gesteuerte Produktionsanlagen. GMA-Kongress 2007 - Automation im gesamten Lebenszyklus, VDI Wissensforum IWB GmbH, S. 237-246, Düsseldorf, 2007.
  • Düpont, D.; Litz, L.; Netter, P.: Sources of Mistakes in PFD Calculations for Safety-related Loop Typicals. Proceedings of the 4th PCIC Europe - Electrical and Instrumentation Applications, pp. 139-146, Paris (France), June 2007.
  • Roth, M.; Klein, S.; Litz, L.: Generic determination of fault models for FDI purposes. Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems, p. 227-232, Cachan (France), June 2007.
  • Lothar Litz, Melanie Gross: Concepts and Realization of an Assisted Living Project by Extended Home Automation. Festival of International Conferences on Caregiving, Disability, Aging and Technology, Toronto 2007.
  • Le, A.; Jaitner, T.; Litz, L.: Sensor-based Training Optimization of a Cyclist Group. Proceedings of 7th International Conference on Hybrid Intelligent Systems, pp. 265-270, Kaiserslautern, Germany, September 2007.
  • Floeck, M.; Groß, M.; Litz, L.: Ambient Assisted Living: Ein neues Konzept für selbstbestimmtes Leben im Alter durch Einsatz moderner Hausautomatisierungstechnik. Ralf Tia; Robert Riener; Martin Buss, Tim C. Lüth (Hrg.): VDI Fortschritt-Berichte, Reihe 17, Nr. 267: Automatisierungstechnische Verfahren für die Medizin - 7. Workshop - Tagungsband, München, 2007, S. 13-14 (siehe Fe 304) .
  • Floeck, M.; Litz, L.: Concept and Design of an AAL Home Monitoring System based on a Personal Cuimputerized Assistive Unit. AMI 07, AAL Workshop, Darmstadt, 2007.
  • Düpont, D.; Litz, L.; Netter, P.: PFD-Berechnung für PLT-Schutzeinrichtungen unter Abbildung realer Einsatzbedingungen. Fachgemeinschaft Sicherheitstechnik, PROCESSNET, Dechema, Info-Brief Nr. 26, pp. 6-7, Frankfurt am Main, Dezember 2007.
  • Groß, M.; Floeck, M.; Litz, L.: Supporting Independence with Assistive Technology. Bern Blobel, Peter Pharwo, Jana Zwarova, Diego Lopez (Hrgs): eHealth: Combining Health Telematics, Telemedicine Biomedical Engineering and Bioinformatics to the Edge, CeHR, Regensburg, 2007, S. 185 - 190.
  • Floeck, M.; Litz, L.: Aging in Place: Supporting Senior Citizens' Independence with Ambient Assistive Living Technology. mst / news, 6/2007, pp.34 - 35.
  • Felgner, F.; Litz, L.: Airflow-dependent models for virtual sensing of thermal comfort. In: I. Troch, F. Breitenecker (Hsg.): Proceedings 5th Vienna Symposium on Mathematical Modelling (MATHMOD 2006). Paper 61, ARGESIM-Verlag, Wien, 2006.
  • Felgner, F.; Merz, R.; Litz, L.: Modular modelling of thermal building behaviour using Modelica. In: I. Troch (Editor): Mathematical and Computer Modelling of Dynamical Systems (Taylor & Francis) - Special Issue: Modular Physical Modelling, Vol. 12, No. 1, Februar 2006, S. 35 - 49.
  • Litz, L.; Düpont, D.; Netter, P.: SIL validation of safety instrumented loops in use by statistical methods. atp International - Automation Technology in Practice, 1/2006, pp. 29-32, R. Oldenbourg Verlag, Apr. 2006.
  • Felgner, F.: Klimaregelungen, die mitfühlen. In: UNI-Spectrum 2/2006 (ISSN 0937-4728), S. 10-11.
  • Düpont, D.; Litz, L.; Netter, P.: Evaluation of the analytical bottom-up SIL proof by statistical top-down methods. Proceedings of the 8th International Conference on Probabilistic Safety Assessment and Management (PSAM8), New Orleans (USA), 2006.
  • Felgner, F.; Litz, L.: Modellbasen für virtuelle Behaglichkeitssensoren. In: M. Becker, H. Szczerbicka (Hrsg.): Frontiers in Simulation - 19. Symposium Simulationstechnik (ASIM 2006), ISBN 3-936150-49-4, S. 227 - 233, Hannover, 2006.
  • Gabel, O.; Litz, L.: Feedback Control in AmI-Networks - Managing the Limited Resource Problem by QoS-Adaptive Control. at - Automatisierungstechnik 54 9/2006, S. 430-436.
  • Felgner, F.; Litz, L.: Ein Basismodell für virtuelle Behaglichkeitssensoren. Workshop des GMA-Fachausschusses 1.30, 27.-29.09.2006. ISBN 3-9810664-3-X, S. 199-213.
  • Bauchspiess, A.; Ishihara, J. Y.; Felgner, F.; Litz, L.: First-principles structured identification for predictive HVAC control. In: Proceedings XII. Congresso Latino-Americano de Controle Automático (CLCA), Salvador, 2006.
  • Gabel, O.; Litz, L.: AConML: Fernleiten und Ferninstandhalten mit generischen XML-basierten Diensten. in ATP 47 (3), S. 44-47, 2005.
  • Münch, P.; Gabel, O.: Untersuchungen zur Energiegewinnung für AmI-Systeme. kluedo.ub.uni-kl.de/volltexte/2005/1874/, 2005. Veröffentlichung zu S 165.
  • Gabel, O.: Probleme und Lösungsansätze für NCS in AmI-Netzwerken. VDI-Berichte 1883, GMA Kongress, S. 209-216, 2005.
  • Le, A.: Gabel, O.: Entwurf eines Reglers für das AmI-Szenario Assisted Training. kluedo.ub.uni-kl.de/volltexte/2005/1875/, 2005. Veröffentlich zu M 019.
  • Klein, S.; Litz, L.; Lesage, J.-J.: Fault detection of discrete event systems using an identification approach. Proc. of the 16th IFAC World Congress, Paper Mo-E17-TO4, Prag, July 2005.
  • Gabel, O.; Litz, L.; Gerkhardt, D.: Feedback Control in AmI-Networks - Managing the Limited Resource Problem by QoS-Adaptive Control. Proceedings of the IIIS CCCT Conference, S. 588-593, 2005.
  • Düpont, D.; Litz, L.; Netter, P.: Evaluierung bestehender Sicherheitskreise anhand statistischer Methoden, Poster. Dechema Jahrestagungen 2005, Chemie Ingenieur Technik, 77. Jahrgang, No. 8, Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim, S. 1143, 2005.
  • Klein, S.; Lesage, J.-J.; Litz, L.: Identification comportementale des systèmes logiques en vue de leur surveillance. Proc. of the conference Modelisation des Systèmes Réactifs, MSR'05, pp. 111-126, Autrans (France), Oct. 2005.
  • Gabel, O.: NCS Testbed for Ambient Intelligence. Proceedings of the IEEE SMC Conference, 2005. pp. 115-120.
  • Litz, L.; Gabel, O.; Solihin, I.: NCS-Controllers for Ambient Intelligence Networks - Control Performance versus Control Effort. Proceedings of the IEEE Conference on Decision and Control, S. 1571-1576, 2005.
  • Litz, L.; Düpont, D.; Netter, P.: SIL-Validation of Safety Instrumented Loops in Use by Statistical Methods. Conference Proceedings PCIC Europe, pp. 69-76, 2005.
  • Litz, L.; Lunze, J.: Grundausbildung in der Automatisierungstechnik - Basic Courses in Automatic Control. at - Automatisierungstechnik 52 (2004) 2, R. Oldenbourg Verlag, S. 69 - 74.
  • Majhi, S.; Litz, L.: Relay Based On-Line Tuning of PID Controllers. at 52 (2004) 5, R. Oldenbourg Verlag, S. 202-208.
  • Kriz, T., Gabel, O.: Laufzeitmessungen in MICA2-Systemen. kluedo.ub.uni-kl.de/volltexte/2004/1687/, 2004.
  • Frey, G.; Klein, S.: Spezifiaktion von Betriebszuständen und Betriebsartenumschaltungen - GEMMA: Ein Ansatz aus Frankreich. atp - Automatisierungstechnische Praxis, 46(2004)3, pp. 37-40, Oldenbourg Verlag, Mar. 2004.
  • Litz, L; Gabel, O.: Intranet/Internettechnologien. Früh:, K. F. (Hrsg.): Handbuch der Prozessautomatisierung: Prozessleittechnik für verfahrenstechnische Anlagen. 3. Auflage, München: Oldenbourg-Verlag, S. 49-63, 2004.
  • Litz, L.: Safety and Availability of Components and Systems. Proceedings of the 1st European Conference on Electrical and Instrumentation Applications in the Petroleum and Chemical Industry (PCIC Europe 2004), Basle (Switzerland), May 2004.
  • Albrecht, Marc: Modellierung des Strömungsverhaltens in einen klimatisierten Konferenzraum. .
  • Bani Younis, M.; Frey, G.: Visualization of PLC Programs Using XML . Proceedings of the American Control Conference (ACC2004), Boston, USA, pp. 3082-3087, June 30 - July 2, 2004.
  • Frey, G.; Kowalewski, S.: Einordnung und Bewertung von Beschreibungsmitteln aus der Automatisierungstechnik. atp - Automatisierungstechnische Praxis, 46(2004)9, pp. 73-79, Oldenbourg Verlag, Sept. 2004.
  • Litz, L.: Grundlagen der Automatisierungstechnik. Oldenbourg Verlag München, Wien, ISBN 3-486-27383-3, 2004.
  • Gabel, Bani Younis: Internet based Remote Control and Remote Maintenance with AConML. Proceedings of IEEE SMC, pp. 490-495, 2004.
  • Gabel, O.; Litz, L.: Automatic Control Markup Language – Protocol and Model. Proceedings of IEEE SMC, pp. 964-969, 2004.
  • Litz, L.; Wehn, N.; Schürmann, B.: Research Center "Ambient Intelligence" at the University of Kaiserslautern. Tagungsband VDE Kongress, Berlin: VDE Verlag, Band 1, pp. 19-24, 2004.
  • Frey, G.; Bani Younis, M.: A Re-Engineering Approach for PLC Programs using Finite Automata and UML. 2004 IEEE International Conference on Information Reuse and Integration, IRI-2004, Las Vegas, USA, pp. 24-29, Nov. 2004.
  • Bani Younis, M.; Frey, G.: Formalization of PLC Programs to Sustain Reliability. Proceeding of the 2004 IEEE Conference on Robotics, Automation and Mechatronics, RAM-2004, Singapore, pp. 507-511, Dec. 2004.
  • Hussain, T.; Frey, G.: Developing IEC 61499 Compliant Distributed Systems with Network Enabled Controllers. Proceeding of the 2004 IEEE Conference on Robotics, Automation and Mechatronics, RAM-2004, Singapore, pp. 613-618, Dec. 2004.
  • Gabel, O.; Litz, L.: Adaptive Control in NCS with Variable Delays and Packet Losses - A Heuristic Approach. Proceedings of IEEE Conference on Decision and Control, pp. 1586 - 1591, 2004.
  • Bock, W.; Litz, L.: Mathematical Analysis of an Evaporating Crystallization Process. Proceedings of the 4th IMACS Symposium on Mathematical Modeling (MATHMOD), paper 077, Vienna (Austria), Feb. 2003.
  • Felgner, F.; Merz, R., Litz, L.: Modelling Thermal Building Dynamics with Modelica. Proceedings of the 4th IMACS Symposium on Mathematical Modeling (MATHMOD), paper 109, Vienna (Austria), Feb. 2003.
  • Cladera, R.; Frey, G.: A schema for the improved allocation of functionality in distributed industrial-process measurement and control systems. XXVIII. ASR '2003 Seminar, Instruments and Control, Ostrava (Czech Republic), May 6, 2003.
  • Frey, G.; Kowalewski, S.: Klassifizierung und Bewertung von Beschreibungsmitteln aus der Automatisierungstechnik. Proceedings of GMA Kongress 2003, Baden-Baden, June 2003, VDI-Berichte 1756, pp. 135-142, VDI-Verlag, Düsseldorf, 2003.
  • Majhi, S.; Litz, L.: Relay Based Estimation of Process Model Parameters. Proceedings of the American Control Conference (ACC) 2003, Denver, pp. 2949-2953.
  • Majhi, S.; Litz, L.: On-Line Tuning of PID Controllers. Proceedings of the American Control Conference (ACC) 2003, Denver, pp. 5003-5004.
  • Klein, S.; Frey, G.; Litz, L.: Designing fault-tolerant Controllers using Model-Checking. Proceedings of the IFAC-Safeprocess 2003, Washington (USA), CD-Rom paper 16, pp. 115-120, June 2003.
  • Frey, G.; Kowalewski, S.: Entwurf einer Richtlinie zur Einordnung und Bewertung von Beschreibungsmitteln aus der Automatisierungstechnik. Proceedings of EKA 2003, Braunschweig, pp. 15-23, June 2003.
  • Frey, G.: Hierarchical Design of Logic Controllers using Signal Interpreted Petri Nets. Proceedings of the IFAC ADHS 2003, Saint-Malo (France), pp. 401-406, June 2003.
  • Bock, W.; König, H.; Litz, L.: Optimal Coordination of Crystallization Batch Processes using Rules and Practices of Extreme Programming. Proceedings of the IEEE Conferece on Control Applications 2003, Istanbul (Turkey), pp. 856-860, June 2003.
  • Klein, S.; Frey, G.; Minas, M.: PLC Programming with Signal Interpreted Petri Nets. Proceedings of the ICATPN 2003, Eindhoven (The Netherlands), LNCS 2679, pp. 440-449, Springer Verlag, June 2003.
  • Klein, S.; Frey, G.; Litz, L.; Lesage, J.-J.: Supporting the Changeability of SIPN-based Logic Control Algorithms by Verification and Validation. Proceedings of CESA 2003, Lille (France), CD-Rom paper S2-I-04-0176, July 2003.
  • Bani Younis, M.; Frey, G.: Formalization of Existing PLC Programs: A Survey. Proceedings of CESA 2003, Lille (France), Paper No. S2-R-00-0239, July , 2003.
  • Frey, G.: An Integrated Approach for the Development of Logic Controllers Based on Signal Interpreted Petri Nets. Proceedings of IEEE MMAR 2003, Miedzyzdroje (PL), pp 831-836, Aug. 2003.
  • Frey, G.; Felgner, F.: Simulative Validierung Petrinetz-basierter Steuerungen durch Transformation in Modelica. Proceedings 17. Symposium Simulationstechnik (ASIM 2003), Magdeburg, Sept. 2003, pp.81-86.
  • Greifeneder, Jürgen ; Bödcher, Alexander ; Trapp, Markus ; Gabel, Oliver ; Trapp, Mario : Szenario Human Centered Manufacturing (Man-u-Faktur 2012). kluedo.ub.uni-kl.de/volltexte/2003/1652/.
  • Gabel, O.: Internettechnologien und deren Anwendung in der Automatisierungstechnik. (ISBN 3-8322-2038-0), Aachen: Shaker Verlag, 2003.
  • Litz, L.; Gabel, O. ; Arnheiter, T.: Papierlose Feldmontage 2015 (AmI-Szenario). kluedo.ub.uni-kl.de/volltexte/2003/1655/.
  • Frey, Georg: Design and formal Analysis of Petri Net based Logic Control Algorithms - Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen. (ISBN 3-8322-0043-6), Dissertation, University of Kaiserslautern, Shaker Verlag, Aachen, April 2002.
  • Felgner, F.; Agustina, S.; Cladera Bohigas, R.; Merz, R.; Litz, L: Simulation of Thermal Building Behaviour in Modelica. Proceedings of the 2nd International Modelica Conference, pp. 147 - 154, DLR Oberpfaffenhofen, Germany, March 18-19, 2002.
  • Frey, G.; Minas, M.; John, K.-H.: Steuerungsentwurf mit Petrinetzen. SPS-Magazin 4/5 2002, TeDo-Verlag, Marburg, pp. 44-47, April 2002.
  • Klein, S.; Frey, G.; Litz, L.: A Petri Net based Approach to the Development of correct Logic Controllers. Proceedings of the 2nd International Workshop on Integration of Specification Techniques for Applications in Engineering (INT 2002), Grenoble (France), pp. 116-129, April 2002.
  • Klein, S.; Weng, X.; Frey, G.; Lesage, J.-J.; Litz, L.: Controller Design for an FMS using Signal Interpreted Petri Nets and SFC. Proceedings of the American Control Conference 2002 (ACC2002), Anchorage, Alaska, pp. 4141-4146, May 2002.
  • Minas, M.; Frey, G.: Visual PLC-Programming using Signal Interpreted Petri Nets. Proceedings of the American Control Conference 2002 (ACC2002), Anchorage, Alaska, pp. 5019-5024, May 2002.
  • Weng, X.; Litz, L.: Model checking: towards generating a correct specification for logic controllers. Proceedings of the American Control Conference 2002 (ACC2002), Anchorage, Alaska, pp. 4457-4462, May 2002.
  • Klein, S.: SIPN Editor, User's Manual. Technical Report I20/2002, Institute of Automatic Control, University of Kaiserslautern, May 2002.
  • Klein, S.; Frey, G.: Control of a Flexible Manufacturing System using SIPN. Technical Report I23/2002, Institute of Automatic Control, University of Kaiserslautern, July 2002.
  • Voos, Holger: Market-Based Control: Eine neue Methode zur automatisierten Ressourcenzuteilung. .
  • Merz, Rolf Mathias: Objektorientierte Modellierung thermischen Gebäudeverhaltens. .
  • Felgner, F.; Merz, R.; Agustina, S.; Cladera, R.; Litz, L.: Simulation thermischer Gebäudedynamik in Modelica. Proceedings 16. Symposium Simulationstechnik (ASIM 2002), S. 579 - 584, Rostock, 2002.
  • Frey, G.: Formal methods in PLC control demonstrated at a flexible manufacturing line. Proceedings of the 5th IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services BASYS2002, Cancun, Mexico, pp. 501-508, Sept. 2002.
  • Frey, G.: Software Quality in Logic Controller Programming. Proceedings of the IEEE SMC 2002, Hammamet (Tunisia), Paper ID MP1A4, Oct. 2002.
  • Felgner, F.: Entwicklung einer Fuzzy-Control-Bibliothek in Modelica. Proceedings 12. Workshop Fuzzy-Systeme, S. 107 - 118, Dortmund, 2002.
  • Xiong, N; Litz, L.: Reduction of fuzzy control rules by means of premise learning method and case study, Fuzzy Sets and Systems, Volume 132, Issue 2, 1 December 2002, Pages 217-231.
  • Litz, L.: Wahrscheinlichkeitstheorie für Ingenieure - Grundlagen, Anwendungen, Übungen. Hüthig Verlag Heidelberg, 2001, 266 Seiten.
  • Gabel, Oliver: Internet Applications in Automation. In: Tagungsband GMA/ISPE-Conference 2001, S. 175-185.
  • Gabel, O.; Frey, G. (Edts.): Internet in der Automatisierungstechnik - Seminarband zum Seminar Prozessautomatisierung im Sommersemester 2001. Technical Report I13/2001, Institute of Automatic Control, University of Kaiserslautern, July 2001.
  • Gabel, Oliver: AConML-An Opportunity for Standardized Remote Control and Remote Maintenance? Proceedings of the IIIS SCI 2001, Orlando, 22.-25. Juli, 2001.
  • Frey, G.; Minas, M.: Internet-based development of logic controllers using Signal Interpreted Petri Nets and IEC 61131. Proceedings of the SCI 2001, Orlando (FL), Volume 3, pp. 297-302, July 2001.
  • Weng, X., Litz, L.: Model Checking of Signal Interpreted Petri Nets. In Proc. of IEEE International Conference on Systems Man and Cybernetics, SMC'2001, Tucson (AZ), pp. 2748-2752, Oct. 2001.
  • Mertke, T.; Frey, G.: Proceedings of the IEEE SMC 2001, Tucson (AZ), pp. 2700-2705, Oct 2001.
  • Frey, G.: Experiment for the Validation of Transparency Metrics, Part A: Test Problems - Formal Correctness Analysis - Transparency Analysis - Solutions (EVTM-A, 2nd Edition). Technical Report I14/2001, Institute of Automatic Control, University of Kaiserslautern, Oct. 2001.
  • Frey, G.: Experiment for the Validation of Transparency Metrics, Part B: Work-Sheets, Control-Sheets, and Result-Tables (EVTM-B, 2nd Edition). Technical Report I14/2000, Institute of Automatic Control, University of Kaiserslautern, Oct. 2001.
  • Frey, G.: Experiment for the Validation of Transparency Metrics, Part C: Evaluation of the Results (EVTM-C). Technical Report I16/2001, Institute of Automatic Control, University of Kaiserslautern, Oct. 2001.
  • Klein, S.: Drill Simulator. Technical Report I18/2001, Institute of Automatic Control, University of Kaiserslautern, Oct. 2001.
  • Denu, Patrick: Entwurf modellprädiktiver Regler auf Grundlage der Hyperstabilitätstheorie. Shaker Verlag, Reihe Automatisierungstechnik.
  • Frey, G.; Minas, M.; John, K.-H.: Integration von Petrinetzen in den Steuerungsentwurf nach IEC61131. Proceedings of the SPS/IPC/Drives 2001, Nürnberg (Germany), pp. 197-205, Nov. 2001.
  • Gabel, Oliver: Automatic Control Markup Language. In: Tagungsband SPS/IPC/DRIVES 2001, Hüthig Verlag, Heidelberg, 2001, S. 179-187.
  • Maas, H.; Frey, G.: Documentation and Control Scenarios for a Flexible Manufacturing Line. Technical Report I17/2001, Institute of Automatic Control, University of Kaiserslautern, Dec. 2001.
  • Frey, G.: SIPN, Hierarchical SIPN, and Extensions. Technical Report I19/2001, Institute of Automatic Control, University of Kaiserslautern, Dec. 2001.
  • Frey, G.: Modellierung flexibler Fertigungslinien und Bestimmung gültiger Produktionsfolgen mit Hilfe einer ereignisdiskreten Zustandsbeschreibung. at - Automatisierungstechnik 48(2000)1, R. Oldenbourg Verlag, S.16-25, Jan 2000.
  • Frey, G.; Moßig, K.; Schnabel, M.: Assembly line sequencing based on Petri-net T-invariants. Control Engineering Practice 8 (1) (2000), pp. 63-69, Jan. 2000.
  • A. Diehl: Bussysteme in der Kältetechnik - Chance oder Übel? (Teil 2). ki Luft- und Kältetechnik 1/2000; C.F.Müller Verlag, Hüthig GmbH, Heidelberg, S. 33-36.
  • Frey, G.; Litz, L.: Steuerungsentwurf mit Petrinetzen. IEE - Automatisierung + Datentechnik 45 (2000) 2, S. 61-62, Hüthig Verlag, Feb. 2000.
  • Diehl, A.: Dynamic Simulation of Refrigeration Plants Based on a Object-Oriented Top-Down Model. In: Proceedings of Modelling and Control Conference 2000, MIC-2000, Innsbruck, 2000, Paper Code: 306-021, p. 403 - 409.
  • Frey, G. ; Schmidt, A.: Automatische Erzeugung von SPS-Programmen aus Petrinetzen. Tagungsband der Fachtagung Verteilte Automatisierung 2000, VA 2000, Magdeburg, Germany, 2000, pp. 177-184, Mar. 2000.
  • Frey, G.; Litz, L.: XML Based Interchange Format for Petri Nets—A Control Engineers Point of View. Meeting on XML/SGML based Interchange Formats for Petri Nets, Int. Conf. on Application and Theory of Petri Nets, Aarhus (DK), Web-Proc. at: www.daimi.au.dk/pn2000/Interchange/position.html, June, 2000.
  • Frey, G.; Litz, L.: SFC nach IEC 1131-3 - Steuerungen transparent entwerfen. Maier, H.; Piotrowski, A. (Editors): Praxishandbuch Messen, Steuern, Regeln. Interest Verlag, Augsburg, Supplement 3/2000 (ISBN: 3-8245-4900-X), May 2000.
  • Merz, R., Litz,L.: Objektorientierte mathematische Modellierung: generische Methoden bei komplexen dynamischen Systemen. Informatik Spektrum 2 (2000), Springer-Verlag Heidelberg, S. 90-99.
  • Frey, G.: Petri Net based Design and Analysis of Logic Controllers. Poster at the NSF Workshop on Logic Control for Manufacturing Systems, Ann Arbor (USA), June 26-27, 2000, web-presentation at www-personal.engin.umich.edu/~tilbury/logiccontrol/posters.html.
  • Frey, G.: Analysis of Petri Net based Control Algorithms - Basic Properties. Proceedings of the American Control Conference ACC 2000, Chicago (IL), pp. 3172-3176, June 2000.
  • Frey, G.: Automatic Implementation of Petri net based Control Algorithms on PLC. Proceedings of the American Control Conference ACC 2000, Chicago (IL), pp. 2819-2823, June 2000.
  • Frey, G.; Litz L.: Correctness Analysis of Petri Net based Logic Controllers. Proceedings of the American Control Conference ACC 2000, Chicago (IL), pp. 3165-3166, June 2000.
  • Frey, G.; Litz L.: Transparency Analysis of Petri net based Logic Controllers - A Measure for Software Quality in Automation. Proceedings of the American Control Conference ACC 2000, Chicago (IL), pp. 3182-3186, June 2000.
  • Diehl, A.: Zuverlässigkeit durch dezentrale, busbasierte Automatisierung . In: ki Luft- und Kältetechnik 7/2000; C.F.Müller Verlag, Hüthig GmbH, Heidelberg, S. 327-331.
  • Chouikha, M.; Decknatel, G.; Drath, R.; Frey, G.; Müller, C.; Simon, C.; Thieme, J.; Wolter, K.: Petri Net-Based Descriptions for Discrete-Continuous Systems. at-Automatisierungstechnik - Special Issue: Hybrid Systems I: Modeling and Control, 48(2000)9, R. Oldenbourg Verlag, pp. 415-425, Sept. 2000.
  • Frey, G.: PLC Programming for Hybrid Systems via Signal Interpreted Petri Nets. Proceedings of the 4th International Conference on Automation of Mixed Processes ADPM, Dortmund (Germany), pp. 189-194, Sept. 2000.
  • Litz, L.; Diehl, A. : Feldbus - quo vadis? In: abb.de/connect 04 2000, ABB, Segment Automation, Mannheim, S.6-7, Ausgabe 4 / 2000 (siehe auch: http:\\www.abb.de\connect).
  • Denu, P.; Diehl, A.; Frey, G.; Litz, L.; Gabel, O.: Nutzung der Internettechnologie für die Automatisierungstechnik. atp - Automatisierungstechnische Praxis 42(2000)10, pp. 64-69, R. Oldenbourg Verlag, Oct. 2000.
  • Frey, G.; Minas, M.: Editing, Visualizing, and Implementing Signal Interpreted Petri Nets. Proceedings of the AWPN 2000, Koblenz (Germany), pp. 57-62, Oct. 2000.
  • Weng, X.; Merz, R.; Litz, L.: TSIPN Framework for Formal Spezification of Logic Control Systems. Proceedings of the AWPN 2000, Koblenz (Germany), pp. 39-46, Oct. 2000.
  • Frey, G.; Litz, L.; Klöckner, F.: Complexity metrics for Petri net based logic control algorithms. Proceedings of the IEEE SMC 2000, Nashville (TN), pp. 1204-1209, Oct. 2000.
  • Frey, G.; Litz L.: Formal methods in PLC programming. Proceedings of the IEEE SMC 2000, Nashville (TN), pp. 2431-2436, Oct. 2000.
  • Xiong, Ning: Designing Compact and Comprehensible Fuzzy Controllers Using Genetic Algotithms. Shaker Verlag, Reihe Automatisierungstechnik.
  • Diehl, A.: Das Internet als Standard für die Fernwirktechnik. . In: Tagungsband Deutsche Kälte-Klima-Tagung, 22.-24. November 2000, Bremen.
  • Diehl, A.; Gabel, O.: Internetbasiertes Fernleiten und Ferninstandhalten autark automatisierter Prozesse am Beispiel einer Aufzugsteuerung. In: Tagungsband SPS/IPC/DRIVES, 28.-30. November 2000, Nürnberg, S. 115-123.
  • Frey, G.: Experiment for the Validation of Transparency Metrics, Part A: Test Problems - Formal Correctness Analysis - Transparency Analysis - Solutions (EVTM-A). Technical Report I11/2000, Institute of Automatic Control, University of Kaiserslautern, Nov. 2000.
  • Frey, G.: Experiment for the Validation of Transparency Metrics, Part B: Work-Sheets, Control-Sheets, and Result-Tables (EVTM-B). Technical Report I12/2000, Institute of Automatic Control, University of Kaiserslautern, Nov. 2000.
  • Klaaßen, Klaus-Peter: Online-Optimierung von Fuzzy Controllern mit Hilfe neuronaler Lernverfahren. Shaker Verlag, Reihe Automatisierungstechnik.
  • Diehl, A.: Das Internet als Standard für den Fernservice in der Supermarktautomatisierung, Teil 1. In: KK, Die Kälte und Klimatechnik (03/01), Gentner Verlag, Stuttgart, S. 70-73.
  • Diehl, A.: Das Internet als Standard für den Fernservice in der Supermarktautomatisierung, Teil 2. In: KK, Die Kälte und Klimatechnik (04/01), Gentner Verlag, Stuttgart, S. 70-77.
  • Diehl, Andreas: Das Internet als Standard für den Fernservice in der Supermarktautomatisierung. In: Proceedings KK-Fachtagung, 26.04.2001, Stuttgart.
  • Becker, M.; Diehl, A.; Schettler, H.G.: Diskussionsbeitrag: Ist energiesparende Kältetechnik zu teuer? / Teil 1. ki Luft- und Kältetechnik 1/99; C.F.Müller Verlag, Hüthig GmbH, Heidelberg, S. 31-35.
  • Frey, G.: INCOM'98 Advances in Industrial Engineering. at - Automatisierungstechnik 47 (1999) 1, S. 49-50, R. Oldenbourg Verlag, Jan. 1999.
  • Diehl, A.; Becker, M.: Energieeinsparung und Energiemanagement - Gegenwart und Zukunft. Tagungsband Kälte-Seminar'99 Kaiserslautern, Transferstelle für Kältetechnik, Universität Kaiserslautern, 1998.
  • Becker, M.; Diehl, A.; Schettler, H.G.: Diskussionsbeitrag: Ist energiesparende Kältetechnik zu teuer? / Teil 2. ki Luft- und Kältetechnik 1/99; C.F.Müller Verlag, Hüthig GmbH, Heidelberg.
  • Diehl, A.; Becker, M.; Litz, L.: Die Automatisierung in der Kältetechnik - Gestern und heute. ki Luft- und Kältetechnik 2/99; C.F.Müller Verlag, Hüthig, Heidelberg, S.101 - 106.
  • Litz, L.; Frey, G.: Methoden und Werkzeuge zum industriellen Steuerungsentwurf - Historie, Stand, Ausblick. at - Automatisierungstechnik 47(1999)4, R. Oldenbourg Verlag, S. 145-156.
  • Diehl, A.: Technische und wirtschaftliche Optimierung von Kälteanlagen. In: ki Luft- und Kältetechnik 5/99; C.F.Müller Verlag, Hüthig GmbH, Heidelberg, S.296-297.
  • Diehl, A.: Technische und wirtschaftliche Optimierung von Kälteanlagen. UNI SPECTRUM 3; Universität Kaiserslautern, 1999, S.25-26.
  • Habtom, Ressom: Dynamic System and Virtual Sensor Modeling Using Neural Networks. Fortschritt-Berichte, VDI-Verlag, Reihe 8, Nr. 771.
  • Diehl, A.: Diskussionsforum: Bussysteme in der Kältetechnik - Chance oder Übel? (Ankündigung). In: ki Luft- und Kältetechnik 7/99; C.F.Müller Verlag, Hüthig GmbH, Heidelberg, S.373.
  • Diehl, A.; Becker, M.; Habtom, R.: Modellierung einer kältetechnischen Anlage mit rekurrenten Neuronalen Netzen. atp - Automatisierungstechnische Praxis 9/99, R. Oldenbourg Verlag, S. 22-31.
  • Xiong, N.; Litz, L.: Generating linguistic fuzzy rules for pattern classification with genetic algorithms. Lecture Notes in Artificial Intelligence 1704 (1999), Springer Verlag, S. 574-579.
  • Diehl, A.; Litz, L.; Gerlach, O.: Object-Oriented Top-Down Model For Dynamic Simulation Of Compression Plants. Proceedings of 20th International Conference of Refrigeration, ICR99, Sydney, 1999, Paper Code: 064.
  • Diehl, A.; Becker, M.: Optimisation Of Refrigeration Plants Based On Partitioned And Decentralised Control Instances. Proceedings of 20th International Conference of Refrigeration, ICR99, Sydney, 1999, Paper Code: 043.
  • Frey, G.; Litz, L.: A Measure for Transparency in Net Based Control Algorithms. Proceedings of the IEEE SMC'99, 12.-15. October 1999, Tokyo (J), Volume III, pp. 887-892.
  • Frey, G.; Kottke, R.: Integrated Information Flow in Manufacturing Systems using a Relational Database. Proceedings of the IEEE SMC'99, 12.-15. Oktober 1999, Tokyo (J), Volume IV, pp. 516-521.
  • Diehl, A.: Ein Konzept zur Automatisierung leistungsregelbarer Kompressionskälteanlagen. Tagungsband Deutsche Kälte-Klima-Tagung, 17.-19. November 1999, Berlin, S. 218-233.
  • Frey, G.: Integration von Petrinetzen in eine IEC 1131 Entwicklungsumgebung. Tagungsband SPS/IPC/DRIVES'99 Nürnberg, Hüthig Verlag, Heidelberg, 1999, S. 118-127.
  • Frey, G.; Kottke, R.: Datenbankbasierte Kopplung von betriebswirtschaftlicher und technischer Software. Technical Report I10/1999, Institute of Automatic Control, University of Kaiserslautern, Dec. 1999.
  • Diehl, A.: Bussysteme in der Kältetechnik - Chance oder Übel ? (Teil 1). ki Luft- und Kältetechnik 12/99; C.F.Müller Verlag, Hüthig GmbH, Heidelberg, S. 638-641.
  • Litz, L.: Die Prozeßleitebene - Spiegelung ihrer Funktionen an der gerätetechnischen Ausstattung und am Nutzenprofil für den Gesamtprozeß. In: VDI-Berichte 1067 Automatisierungstechnik, VDI Verlag Düsseldorf 1993, S. 397-404.
  • Klaaßen, Klaus-Peter; Litz, Lothar: A New Clustering Method for the Extraction of Interpretable Fuzzy Rules from Data . Proceedings EUFIT '98, pp. 649-653, Verlag Mainz, Aachen 1998.
  • Litz, L.; Klaaßen, K.-P.; Habtom, R.: Methodik und Einsatzpotential von Fuzzy Control, Neuronalen Netzen und Neuro-Fuzzy. In: Schmitt, T.G.; Hansen, J. (Hrsg.): Schriftenreihe des Fachgebietes Siedlungswasserwirtschaft, Universität Kaiserslautern, Band 11, 1998, S. 23-38.
  • Klaaßen, Klaus-Peter; Litz, Lothar: Multiobjective optimisation of fuzzy controllers using evolutionary algorithms . Proceedings of the IEE Control '98, Swansea (Wales), pp. 1581-1586.
  • Frey, G.: Transparente SPS-Programmierung unter SFC: Keine Freiheit ohne Grenzen. IEE - Automatisierung + Datentechnik (1998) 1, pp.14-15, Hüthig Verlag, Jan 1998.
  • Litz, L.: Sicherheitsgerichtete Automatisierungstechnik. Automatisierungstechnik - at 46 (1998), S.55 (Editorial).
  • Litz, L.: Grundlagen der sicherheitsgerichteten Automatisierungstechnik. Automatisierungstechnik - at 46 (1998), S. 56 - 68.
  • Diehl, Andreas: Einfluß der Automatisierung auf den wirtschaftlichen Betrieb von kältetechnischen Anlagen. Kälte-Seminar '98, Uni-KL, Tagungsband 98 (nur die Folien).
  • Klaaßen, Klaus-Peter: Verfahren zur Erstellung eines regelbasierten Fuzzy-Systems mit vorgegebenem Übertragungsverhalten. Patentanmeldung 198 11 490.7-51 vom 17.03.98.
  • Becker, M.; Diehl, A.: Seminar-Artikel: Optimierung von Kälteanlagen. In: ki Luft- und Kältetechnik 5/98; C.F.Müller Verlag, Hüthig GmbH, Heidelberg; S.262-263.
  • Frey, G.: Steuerungstechnisch interpretierte Petri-Netze. Chapter 2.4.6, in: Abel, D.; Lemmer, K. (Hrsg.), Theorie ereignisdiskreter Systeme, S.30-35. R. Oldenbourg Verlag, München, 1998.
  • Habtom, R.: Soft-Sensing using Neural Networks. Proc. of IEEE International Symposium on Intelligent Control, Gaithersburg, 1998, pp. 342.347.
  • Frey, G.; Litz,L.: Entwurf und formale Verifikation von Steuerungen mit interpretierten Petri-Netzen. Proceedings of the GMA-Kongreß'98 Mess- und Automatisierungstechnik "Neue Entwicklungen Technologie Anwendungen", Ludwigsburg (Germany), VDI Berichte 1397, S. 291-298, VDI-Verlag, Düsseldorf, June 1998.
  • Diehl, A.; Becker, M.: Ein dezentrales, modulares Konzept zur Automatisierung kältetechnischer Anlagen. In: Tagungsband GMA-Kongreß'98 Ludwigsburg, VDI-Bericht 1397, Düsseldorf, S.395-402.
  • Frey, G.; Moßig,K.; Schnabel,M.: Assembly Line Sequencing based on Petri Net T-Invariants. Preprints of the 9th IFAC-Symposium on Information Control in Manufacturing, INCOM'98, Nancy-Metz (France), Vol. 2, pp. 33-38, June 1998.
  • Becker, M.; Diehl, A.: Seminar-Artikel: Kälteanlagen - ein heißes Thema. In: UNI SPECTRUM 3/98, Freundeskreis der Universität (Hrsg.), ISSN 0937-4728, S. 30-31.
  • Becker, M.: Automatisierung in der Kältetechnik - Notwendiges Übel oder Chance? KI (1998), Heft 8, S. 371-374.
  • Frey, G.; Schettler, H.G.: Algebraic Analysis of Petri Net based Control Algorithms. Proceedings of the IEE WODES'98, Cagliari (Italy), pp. 94-96, Aug. 1998 .
  • Habtom, R.; Litz, L.: Virtual sensors based on recurrent neural networks and the extended Kalman filter. In Proceedings of IEEE International Conference on Control Applications, pp. 163-167, Trieste, Italy, 1998.
  • Habtom, R.; Litz, L.: Neural network-based inferential sensing. In: Niklasson, L.,et al (Hrsg.):Perspective in Neural Computing (Proceedings of 8th International Conference on Artificial Neural Networks, Skövde, Sweden), Springer Verlag 1998, S. 785-790.
  • Xiong,N.; Litz, L.: A new genetic based approach to fuzzy controller design and its application. Proc. IEEE Conference on Control Applications, pp. 937-941,Trieste, Italy, 1998.
  • Xiong,N.; Litz, L.: Learning rule premises containing incomplete structure based on evolutionary algorithm. Proc. EUFIT'98, Verlag Mainz, Aachen, Germany, 1998.
  • Frey, G.; Egger, T.: Closing the gap between engineering and business software. Proceedings of the The Tenth International IFIP WG 5.2/5.3 Conference Prolamat'98, Trento (Italy), CD-ROM paper #27, Sept. 1998.
  • Xiong,N.; Litz, L.: Building Takagi-Sugeno fuzzy models based on genetic algorithm. Proc. IEEE Conference on Intelligent Engineering Systems, Vienna, Austria, 1998, pp. 245-250.
  • Diehl, A.; Frey, G.: Optimization of a Blood Separation Process. Proceedings of the IEE International Conference on Simulation - Innovation Through Simulation, York (GB), pp. 19-26, Sept. 1998.
  • Frey, G.: Simulation of Hybrid Systems based on Interpreted Petri Nets. Proceedings of the IEE International Conference on Simulation - Innovation Through Simulation, York (GB), pp. 168-175, Sept. 1998.
  • Frey, G.; Litz, L.: Verification and Validation of Control Algorithms by Coupling of Interpreted Petri Nets. Proceedings of the IEEE SMC'98, San Diego (CA), Vol. 1, pp. 7-12, Oct. 1998.
  • Litz, L.; Frey, G.: A Graduate Course on Logic Process Control based on Petri Nets.> Proceedings of the IEEE SMC'98, San Diego (CA), Vol. 1, pp. 274-277, Oct. 1998.
  • Frey, G.: Entwurfstool für transparente sichere und wartbare Steuerungen. Müller, K.; Habiger, E.; Brandenburg, G. (Hrsg.), A&D Kompendium 1999, S. 67, KM Verlagsges., München, 1998.
  • Jörns, C.; Kühner, R.: Hybride Modellierung des innerstädtischen Verkehrs auf der Basis adaptiver interpretierter Petri-Netze. at 44 (1997), R. Oldenbourg Verlag.
  • Jörns, C.: Ein integriertes Steuerungsentwurfs- und Verifikationskonzept mit Hilfe interpretierter Petri-Netze. Dissertation, Universität Kaiserslautern, Fortschritt-Berichte VDI, Reihe 8, Nr. 641, VDI-Verlag Düsseldorf ,1997.
  • Geisen, Sylvia: Beitrag zum Jahresbericht 1996 der Stiftung Rheinland-Pfalz für Innovation: Gesamtoptimierung in der Hausbeheizung für Ein-, Zwei-, Mehrfamilienhäuser und gewerbliche Bauten mit innovativer Automatisierungstechnik. In: Jahresbericht 1996 der Stiftung Rheinland- Pfalz für Innovation.
  • Grossmann, Karl: Ein neues Verfahren zur Globale Optimierung und dessen Anwendung in der Automatisierungstechnik. Shaker Verlag, Reihe Automatisierungstechnik.
  • Grossmann, Karl: Ein neues Verfahren zur Globale Optimierung und dessen Anwendung in der Automatisierungstechnik. Dissertation, Universität Kaiserslautern, Shaker-Verlag, 1997 .
  • Habtom, R., Litz, L.: Estimation of unmeasured inputs using recurrent neural networks and the extended Kalman filter. In: Proc. IEEE International Conference on Neural Networks, Houston 1997, pp. 2067-2071.
  • Litz L.: Neue Rubrik: Softwarewerkzeuge. at 45 (1997) 7, S. 303, R. Oldenbourg Verlag.
  • Frey G.; Litz L.; Jörns C.: Steuerungsentwurfstool Netmate. at - Automatisierungstechnik 45 (1997)7, R. Oldenbourg Verlag, S. 304-305.
  • Habtom, R.; Litz, L.: Neural network-based control of nonlinear dynamic systems with unmeasured inputs. In: Proc. of 12th International Conference on Systems Engineering, Coventry, UK 1997, pp. 296-300.
  • Frey, G.; Litz, L.: Wie transparent sind SFC-Programme? GMA-Fachtagung Steuerungstechnik "Methodik komplexer Anwendungen" in Langen (Germany), Okt. 1997, GMA-Bericht 31, S. 75-78.
  • Litz, L.: Methoden und Werkzeuge zum Steuerungsentwurf - Historie, Stand, Ausblick. GMA-Fachtagung Steuerungstechnik "Methodik komplexer Anwendungen" in Langen 10/97. GMA-Bericht 31, S. 1-16.
  • Habtom, R.; Litz, L.: Neurocontrol of nonlinear dynamic systems subject to unmeasured disturbance inputs. Proceedings of 12. Int. Conference on Systems Engineering, Coventry, UK, 1997, pp. 2067-2071.
  • Klaaßen, K.-P.; Litz, L.: Modellierung, Regelung und Überwachung einer großtechnischen Granulationsanlage mit Fuzzy Control. In: Forschungsbericht Nr. 0397 zum 7. Workshop "Fuzzy Control" des GMA-UA 1.4.2, Forschungsberichte Universität Dortmund, Fakultät für Elektrotechnik, Dortmund 1997, S. 121-132.
  • Frey, G.; Litz,L.: Transparenter Steuerungsentwurf mit SFC nach IEC 1131-3. Proceedings of the SPS/IPC/DRIVES'97, Nuremberg (Germany), pp. 240-249, Hüthig Verlag, Nov. 1997.
  • Jörns, C.; Litz, L.: Comparison of some order reduction methods by application on high order models of technical processes. In: Proceedings of the 1. IMACS Symposium on Mathematical Modelling, pp. 217-221, Wien 1994.
  • Becker, M.: Automatisierung kältetechnischer Anlagen auf Basis der mathematischen Modellierung des Gesamtsystems. Dissertation, Universität Kaiserslautern, Fortschritt-Berichte VDI, Reihe 19, Nr. 86, VDI-Verlag Düsseldorf 1996.
  • Becker, M., Litz. L.: Modellierung und dynamische Simulation kältetechnischer Anlagen. In: VDI Berichte 1282, Düsseldorf, VDI-Verlag 1996, S. 183-194.
  • Hasse, H. ; Becker, M.; Grossmann, K.; Maurer, G.:: Top-down model for dynamic simulation of cold-storage plants. International Journal of Refrigeration (Int. J. Refrig.), Vol. 19, No. 1, 1996, pp. 10-18.
  • Jörns, C.: Transparent representation of information flow in automatic control systems for verification purposes. In: Proc. WODES '96. Edinburgh, Scotland.
  • Jörns, C.: Spezifikation und Verifikation hierarchischer Steuerungen. In: Proc. GMA-Kongreß Baden-Baden 1996. VDI Berichte 1282, Düsseldorf, VDI-Verlag 1996, S. 35-46.
  • Jörns, C.; Litz, L.: Hierarchical Control Design and Verification with Adaptive Interpreted Petri Nets. Preprints 13th IFAC World Congress, San Francisco, 1996, Track J, pp. 501-506.
  • Jörns, C.; Litz, L: Analyse und Verifikation von Steuerungsalgorithmen in der Ablaufsprache nach DIN EN 61131-3. In: Schraft, Brandenburg (Hrsg.): Tagungsband SPS/IPC/DRIVES '96, VDE-Verlag 1996, S. 211-220.
  • Jörns, K.-P., Jörns, C.: Verfahren und Einrichtung zur Verbindung des systemeigenen Fahrweges einer Magnetschnellbahn mit dem herkömmlichen System der Eisenbahn. Deutsches Patent P 4447437.7-24.
  • König, H.: Der Regelbasisfehler - ein Zugang zum transparenten Entwurf von Fuzzy Controllern. Dissertation, Universität Kaiserslautern, Fortschritt-Berichte VDI, Reihe 8, Nr. 554, VDI-Verlag Düsseldorf 1996.
  • König, H.; Litz, L.: Inconsistency Detection - a Powerful Means for the Design of MIMO Fuzzy Controllers. Proceedings of the Fifth IEEE International Conference on Fuzzy Systems, New Orleans 1996, pp. 1191-1197.
  • König, H.; Litz, L.: Automatisierung eines Trocknungsprozesses in der Zuckerindustrie mit Fuzzy Control. . In: Forschungsbericht Nr. 0794 zum 6. Workshop „Fuzzy Control" des GMA-UA 1.4.2, Forschungsberichte Universität Dortmund, Fakultät für Elektrotechnik, Dortmund 1996, S. 27-37.
  • Litz, L.; König H.: An Advanced Inference Strategy for Fuzzy Control Based on a New Fuzzy Implication Function. Proceedings of the Fifth IEEE International Conference on Fuzzy Systems, New Orleans 1996, pp. 1296-1302.
  • König, Harald: Der Regelbasisfehler - ein Zugang zum transparenten Entwurf von Fuzzy Controllern. Fortschritt-Berichte, VDI-Verlag, Reihe 8, Nr. 554.
  • Jörns, C.: Normenkonformer Steuerungsentwurf hierarischer Steuerungen mit interpretierten Petri-Netzen. Technical Report I8/1996, Institute of Automatic Control, University of Kaiserslautern, Apr. 1996.
  • Grossmann, K.: Leistungsfähige globale Optimierung zur Anwendung in der Automatisierungstechnik. Technical Report I5/1996, Institute of Automatic Control, University of Kaiserslautern, Jul. 1996.
  • Habtom, R.: Neural network-based identification and control of nonlinear dynamic systems. Technical Report I6/1996, Institute of Automatic Control, University of Kaiserslautern, Sept. 1996.
  • König, H.; Litz, L.; Geisen, S: Energie- und Komfortoptimierung in der Hausbeheizung durch simulationsgestützten Entwurf. VDI Berichte 1282, Düsseldorf, VDI-Verlag 1996, S. 205-215.
  • Jörns, Carsten: Ein integriertes Steuerungsentwurfs- und Verifikationskonzept mit Hilfe interpretierter Petri-Netze. Fortschritt-Berichte, VDI-Verlag, Reihe 8, Nr. 641.
  • Jörns, C.: Steuerungsverifikation auf der Basis einer hybriden Modellbeschreibung. In: Schnieder (Hrsg.) Entwurf komplexer Automatisierungssysteme, Braunschweig, 1995, Eigenverlag ISBN 3 9803363 3 6, S. 479-494.
  • Jörns, C.: Netmate, ein objektorientiertes Werkzeug zur Spezifikation, Verifikation und SPS-Implementierung von Steuerungsalgorithmen mit Hilfe von interpretierten Petri-Netzen. In: Algorithmen und Werkzeuge für Petrinetze, Berichte der CvO Universität Oldenburg, 1995.
  • Jörns, C.; Litz, L.: Hybrid Modelling with Petri Nets for the Verification of Logic Control Algorithms. Proc. Third European Control Conference ECC95, pp. 2035-2040, Rom 1995.
  • König, H.: Die IMPLIKATION-UND-Inferenz - echte Attraktivitätsfunktionen als Ergebnis des Schließens mit echten Implikationsoperatoren. In: Forschungsbericht Nr. 0295 zum 5. Workshop "Fuzzy Control" des GMA UA 1.4.2, Forschungsberichte Universität Dortmund, Fakultät für Elektrotechnik, Dortmund 1995, S. 28-41.
  • Litz, L.: Grundlagen der Bussysteme. In: Forst (Hrsg) Bussysteme für die Prozeßleittechnik, VDE-Verlag Berlin, Offenbach 1995, S. 9-38.
  • Litz, L. (Hrsg.): Automatisierung energie- und verfahrenstechnischer Prozesse. VDE-Verlag Berlin, Offenbach 1995.
  • Litz, L.: Entwurf industrieller Prozeßsteuerungen auf der Basis geeigneter Petri-Netz-Interpretationen. In: Schnieder (Hrsg.) Entwurf komplexer Automatisierungssysteme, Braunschweig, 1995, Eigenverlag ISBN 3 980336336, S. 417-430.
  • Litz, L.; König, H.: Flexibler Simulator für konventionell und fußbodenbeheizte Häuser. atp 37 (1995), S. 36-41.
  • Jörns, C.; Litz, L.; Bergold, S.: Automatische Erzeugung von SPS-Programmen auf der Basis von Petri-Netzen. atp (37) 1995, Heft 3, S. 10-14.
  • Becker, M.; Hasse, H.; Litz, L.: Fuzzy Control - Ein neuer Weg zur Automatisierung in der Kältetechnik. Ki Luft- und Kältetechnik 5/1995, S. 232-236.
  • Litz, L.: Systemtechnische Basis einer ganzheitlichen Automatisierung. Berichtsband zum VDE-Kurpfalz Seminar 95/7, 1995, S. 1-29.
  • Becker, M.; Hasse, H.; Grossmann, K.; Litz, L.: Top-down model for the simulation of the dynamic behaviour of cold storage plants. Proc. of the 19th Intern. Congress of Refrigeration 20. -25.08.1995, Vol. IIIb, pp. 743-750.
  • Klaaßen, K. P.: Ein überwachtes Lernverfahren für einen Fuzzy-Controller auf der Grundlage einer neuen Inferenz- und Defuzzifizierungsmethode. In: Tagungsband zum 3. GI-Workshop Fuzzy-Neuro-Systeme '95, Darmstadt 1995, S. 49-56.
  • Grossmann, K.: Heuristische Optimierungsverfahren in der Systemtheorie. Technical Report I4/1995, Institute of Automatic Control, University of Kaiserslautern, Nov. 1995.
  • Becker, Martin: Automatisierung kältetechnischer Anlagen auf Basis der mathematischen Modellierung des Gesamtsystems. Fortschritt-Berichte, VDI-Verlag, Reihe 19, Nr. 86.
  • Becker, M.; Hasse, H.; Litz, L.: Fuzzy Control - Ein neuer Weg zur Automatisierung in der gewerblichen Kältetechnik. DKV-Tagungsbericht 1994, Bd. III, S. 217-231.
  • Becker, M; Oestreich, D.; Hasse, H.; Litz, L.: Fuzzy Control for Temperature and Humidity in Regfrigeration Systems. In: Proceedings of the 3rd IEEE Conference on Control Applications, Glasgow 1994, Vol. 3, pp. 1607-1612.
  • Becker, M.; Van Recum, S.: Ein Verfahren zur bedarfsgesteuerten Abtauerkennung in gewerblichen Kälteanlagen unter Einsatz eines Fuzzy-Entscheiders. Tagungsband zum 39. Internationalen wissenschaftlichen Kolloquium, Ilmenau 1994, Bd. 3, S. 316-323.
  • König, H.; Litz, L.: Entdeckung von Inkonsistenzen in der Wissensbasis durch eine neue Inferenzmethode. GMA-Aussprachetag Fuzzy Control, Langen 1994. VDI Berichte Nr. 1113, S. 329-348, VDI Verlag, Düsseldorf 1994.
  • König, H.; Litz, L: The rule base error - definition and application to an advanced inference and defuzzification strategy. Proc. First Asian Control Conference, pp. 997-1000, Tokyo 1994.
  • König, H.; Litz, L.: A systematic approach to perform inference and defuzzification in fuzzy logic controllers. Proc. Second Int. Conf. on Intelligent Systems Engineering, pp. 201-206, Hamburg 1994.
  • König, H.; Litz, L.: The rule base error - a key for a new inference strategy. Proc. EUFIT'94, pp. 448-453, Aachen 1994.
  • König, H.; Litz, L.: Der Regelbasisfehler - Grundlage einer neuen, transparenten Inferenzmethode für Fuzzy Control. at 42 (1994) S. 458-465.
  • Litz, L.; König, H.: Fuzzy Control als gemeinsames Entwurfsmittel für Regelung, Steuerung und Überwachung. Berichtsband zum 4. Workshop "Fuzzy Control" des GMA UA 1.4.2, Dortmund 1994.
  • Litz, L.; Tauchnitz, Th.: Künftige Entwicklung der Prozeßleittechnik. atp 36 (1994), S. 16-27.
  • Litz, L.: Systemtechnische Basis einer ganzheitlichen Automatisierung. Berichtsband zum VDE-Kurpfalz Seminar 94/7, 1994, S. 1-32.
  • Becker, C.; Litz, L.; Siffling, G.: Regelungstechnik Übungsbuch. Hüthig Buch Verlag Heidelberg, 4. überarbeitete Auflage 1993.
  • Jörns, C.; Litz, L.;Huber, D.; Rode M.: Verfahren und Einrichtung zur Regelung der Kontaktkraft zwischen Stromabnehmer und Fahrdraht. Deutsches Patent 4334716, 1996.
  • König, H.; Litz, L.: Verfahren zur automatischen Schlußfolgerung (Inferenz) für regelbasierte Fuzzy-Systeme. Deutsches Patent P4336921.
  • König, H.; Litz, L.: Der Regelbasisfehler als Grundlage einer neuen Inferenz- und Defuzzifizierungsmethode. In: Forschungsbericht Nr. 0293 zum 3. Workshop "Fuzzy Control" des GMA-UA 1.4.2, Forschungsberichte Universität Dortmund, Fakultät für Elektrotechnik, Dortmund 1993, S. 60-72.
  • König, J.; Jörns, C.; Pandit, M.: Praxisgerechte Implementierung eines GPC zur Regelung verfahrenstechnischer Strecken. In: Unbehauen, H. (Hrsg.): GMA-Bericht 20 zum Aussprachetag Einsatz adaptiver Regelverfahren in Düsseldorf. S. 73-84, 1993.
  • Litz, L.: Fuzzy Control - Einführung und Übersicht. In: Forst (Hrsg): Fuzzy Control in der Prozeßleittechnik. VDE-Verlag Berlin, Offenbach 1993, S. 3-26.
  • Litz, L.; Tauchnitz, T.; König, H.: INTERKAMA 92: Prozeßleitsysteme. atp 35 (1993) S. 6-25.
  • Huber, D.; Jörns, C.; Tessun, H.: Aktive Stromabnehmer bei Hochgeschwindigkeitszügen. In: eb - Elektrische Bahnen 91 (1993), S. 382-387.
  • König, H.: Fehlerfunktionen als Grundlage für die Inferenz und Defuzzifzierung bei Fuzzy Control. Technical Report I1/1993, Institute of Automatic Control, University of Kaiserslautern, Apr. 1993.
  • Litz, L.: Systemtechnische Basis einer ganzheitlichen Automatisierung. Berichtsband zum VDE-Kurpfalzseminar 93/8, S. 1-25.
  • Becker, M.: Einsatz von Fuzzy Control in der gewerblichen Kältetechnik. Tagungsband zur VDE-Fachtagung ”Technische Anwendungen von Fuzzy-Systemen”, Dortmund 1992, S. 201-210.
  • Becker, M.; Hasse, H.; Kosack, P.; Maurer, G.; Scherer, H.: Thermodynamisches Modell zur Simulation dynamischer Vorgänge im gekoppelten System Kälteanlage/Kühlraum. DKV-Tagungsbericht 19, 1992, Bd. II/1, S. 335-353.
  • Litz, L.: Prozeßleitsysteme. ACHEMA'91: Prozeßleitsysteme. atp 34 (1992), S. 6-20.
  • Litz, L.: Anforderungen der Anwender an die Prozeßleitsysteme der nächsten Generation. atp 34 (1992), S. 164-175.
Zum Seitenanfang