AG_Diss_2011

Ghanaim, Abouelabbas:
Modeling and Control of closed-loop Networked PLC-Systems.


Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Sept. 29th, 2011.

Shaker-Verlag, Aachen, Nov. 2011, ISBN: 978-3-8400-0520-2

Abstract

The term Networked Control Systems (NCS) in recent literature refers to the interdisciplinary research area, combining both network and control theory, in order to guarantee the stability and performance of an NCS. In contrast response time estimation in Networked Automation Systems (NAS) combines network and formal modeling tools to guarantee certain time performance for time critical automation tasks. The two research areas seem to be independent, despite both of them work rather in studying delays in networked automation and control systems. Networked closed loop systems that use Programmable Logic Controllers (PLC) play an important role in recent manufacturing. PLC-based networked control systems (PLC-based NCS) constitute a well–known category of industrial automation and control systems that use time-based execution platforms. In this dissertation, we present a unified formal modeling and control design of PLC-based NCS. The modeling phase proposes a two-step approach for modeling and simulation of delays in Networked Automation and Control Systems (NAS/NCS). In the first modeling step, a detailed parametric structure conserving hieratical timed model for the whole NAS/NCS is built and simulated using Colored Petri Nets (CPN). The detailed parametric model aims to understand the key parameters that affect delay performance and to generate extensive time-stamped delay data records. NAS/NCS CPN-based models use PLC as a system controller and Ethernet as a control network. The models capture the most important features of such time-driven systems, such as client/server input/output scanning and cyclical execution of the control algorithm on the system controller. The second modeling step introduces a new concept of direct and hidden Markov modeling in the area of response time estimation in NAS, instead of the assumption of independent and identically distributed (iid) random delays. The dissertation enhances the use of Markov models in NCS delay modeling by introducing the concept of mutual Markov modeling to analyze interaction between the two types of induced delays, namely, the sensor-to-controller time delay τsc or S-C link delay and the controller-to-actuator time delay τca or C-A link delay. The results of mutual Markov models is used in the control phase to design a novel two-mode-dependent NCS control scheme, in which the controller depends on mutual Markov models for both S-C and C-A delays, instead of previous designs that use independent Markov models for each delay. The resulting closed-loop system can be represented as Markovian Jump Linear System (MJLS). The dissertation concludes with proposing a modified algorithm for solving the Linear/Bilinear Matrix Inequalities (BMIs/LMIs) stability conditions with non-convex constraints using the new mutual Markov models.

 

Kurzfassung

Bei vernetzten Regelungssystemen (VRS) sind Sensoren, Aktuatoren und Regler durch Echtzeit-Kommunikationsnetze miteinander verbunden sind. Beim Reglerentwurf und der Analyse sind die, durch die Kommunikation entstehenden, Verzögerungen im geschlossenen Regelkreis zu berücksichtigen. Man unterscheidet hier gemeinhin die Sensor-Regler- Verzögerung (sensor-to-controller time delay, τsc) und die Regler-Aktuator-Verzögerung (controller-to-actuator time delay, τca). Diese Zeiten sind i.A. nicht fest sondern unterliegen stochastischen Schwankungen. Speicherprogrammierbare Steuerungen (SPS) sind die in der Industrie am häufigsten eingesetzten Hardwareplattformen zur Implementierung von Regelungs- und Steuerungsaufgaben. SPS-basierte VRS bilden deshalb eine bekannte und im industriellen Einsatz wichtige Untergruppe der VRS, die sich dadurch auszeichnet, dass zeitbasierte Ausführungsplattformen verwendet werden. In der vorliegenden Arbeit wird ein neues Verfahren zur Modellierung und zum Reglerentwurf für SPS-basierte VRS vorgestellt. Zur Modellierung wird ein zweistufiger Ansatz vorgeschlagen. Im ersten Schritt wird ein Modell des VRS auf Basis dessen Hardware-Struktur mittels farbiger Petri-Netz strukturerhaltend komponentenbasiert aufgebaut. Dieses Modell kann einfach parametriert werden und wird zur Gewinnung umfangreicher Verzögerungsdatensätze simuliert. Die in der Simulation gewonnenen Daten dienen im zweiten Schritt zur Erstellung einen kompakten Markov-Modells, das seinerseits zu Reglerentwurf und -analyse eingesetzt werden kann. Neben bekannten Formen der Markov-Modelle für Verzögerungen in VRS, stellt die Arbeit hierzu einen neuen Ansatz vor, bei dem die beiden Verzögerungen (τsc und τca) zusammen in einem Markov-Modell betrachtet werden. Für dieses neue Modell wird schließlich ein Reglerentwurfsverfahren vorgestellt. Hierzu wird ein modifizierter Algorithmus zur Lösung der Stabilitätsbedingungen für Markov Jump Linear Systems (MJLS) vorgeschlagen. Das Verfahren wird schließlich an einem Referenzbeispiel evaluiert.