Formale Synthese verteilter Prozesssteuerungen

• Applicant: Professor Dr.-Ing. Hans-Michael Hanisch
• Subject Area: Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
• Term: from 2009 to 2012
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 101803482

• Final Report Year: 2012

Final Report Abstract

Der Zielstellung des Forschungsvorhabens wurde weitestgehend genüge getan. Aus Gründen der Prototyphaftigkeit wurde von der Extraktion einzelner steuerbarer Trajektorien Abstand genommen. Stattdessen wurde ein spezifikationskonformer Unterraum des Zustandsraumes des ungesteuerten Anlagenverhaltens ermittelt. Wie die weiter oben dargestellten Ergebnisse zeigen, ist dieser wesentlich „überschaubarer“ als der komplette Zustandsraum. Wesentlichen Einfluss auf diesen spezifikationskonformen Unterraum, und die daraus synthetisierte Steuerung, hat die Auswahl der spezifikationskonformen Trajektorien des Transition-Invarianten-Graphen. Hier sind noch weitere Verfeinerungen möglich, welche eine genauere Untersuchung bedingen. Beispielsweise wird Anlagenverhalten als unerwünscht interpretiert, wenn es nicht ausdrücklich spezifiziert wurde. Hier könnte eine gewisse Toleranz das Ergebnis des Syntheseprozesses positiv beeinflussen. Da eine optimale Syntheselösung in diesem Forschungsstadium ausdrücklich nicht Ziel des Forschungsvorhabens war, besteht auch hier noch Spielraum für weiteres Wirken.

Publications

• Synthesis of Distributed Safety Controllers with Incomplete State Observation, Annual Conference of the IEEE Industrial Electronics Society (IECON´2009), Porto, Portugal, 2009, pp 4383 - 4390
  D. Missal and H.-M. Hanisch
  
• Formal Synthesis Approach for Distributed Process Control, 9th International Conference on New Information Technologies and Systems, Penza, Russia, 2010, Part 1, pp 32 - 48
  H.-C. Lapp, D. Missal, H.-M. Hanisch
  
• A new Model Structure based Synthesis Approach for Distributed Discrete Process Control, IEEE 9th International Conference on Industrial Informatics (INDIN), 2011, pp 527 - 532
  T. Winkler, H.-C. Lapp and H.-M. Hanisch
  
• Formal Synthesis of Safety Controller Code for Distributed Controllers, Martin Luther University Halle-Wittenberg, Logos Verlag Berlin, 2012, Vol. 9, pages 162, ISBN: 978-3-8325-3147-8
  Dirk Missal; Hanisch, H.-M. (Ed.)
  
• Process Control Synthesis Improved by Structural Model Properties, Proceedings of 2nd International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS), SciTePress, 2012, pp 343 - 351
  H.-C. Lapp and H.-M. Hanisch