SCADA-system (Supervisory Control and Data Acquisition) har under de senaste decennierna använts i stor utsträckning, med utmärkta resultat för nätverksdrift och -förvaltning. Kunder ställer emellertid krav på att SCADA-system ska kunna integrera externa komponenter för att möjliggöra utveckling av befintliga och nya affärsprocesser. Det innebär att dessa system utvecklas från en monolitisk infrastruktur till en löst kopplad och flexibel arkitektur. Således har nya behov uppstått för att förbättra systemets interoperabilitet, minska komplexiteten och förbättra underhållet. Föreliggande masterprojekt presenterar ett ramverk för att förutsäga systems interoperabilitetet (IPF); ett ramverk som stöder arkitekturprocessen under de tidiga stadierna av produktutveckling. Vidare har arbetet undersökt några alternativa arkitekturer, vilka har modellerats och verifierats med hjälp av ovannämnda ramverk. En första konceptuell arkitektur har utvecklats för att förbättra interoperabiliteten hos interna system, för att reducera kopplingen mellan det grundläggande SCADA-systemet och Energy Management-systemet (EMS). Därefter genererades en andra arkitektur som möjliggör integration av externa komponenter för att främja den externa interoperabiliteten. Resultat visar att de föreslagna arkitekturerna är korrekta (enligt IPF) och systemets driftskompatibilitet förbättras. Vidare förefaller den slutligt föreslagna lösningen vara mindre komplex än den nuvarande arkitekturen på lång sikt, men det skulle behövas en större insats och väsentliga förändringar för att uppgradera systemarkitekturen. / SCADA (Supervisory Control and Data Acquisition) systems have been widely used during the last decades delivering excellent results for the power network operation and management. However, some current customer requirements are for SCADA systems to integrate external components in order to perform advanced power network studies and develop both existing and new business processes. This novel viewpoint will make these systems evolve from a monolithic infrastructure towards a loosely coupled and flexible architecture. Hence, new needs have arisen with the aim of improving the system interoperability, reducing the complexity and enhancing the maintainability. This master´s thesis project presents an Interoperability Prediction Framework (IPF), that supports the architecture design process during the early stages of product development. In addition, this work has also investigated some alternative architectures, which have been modelled and verified using the previously mentioned framework. A first conceptual architecture has been designed to improve the internal system interoperability, reducing the coupling between the basic SCADA and the Energy Management System (EMS). Later, a second architecture that allows the integration of external components has been introduced to promote the external interoperability. Results show that the proposed architectures are correct (according to the IPF) and the interoperability of the system is improved. Furthermore, initial conclusions suggest that the final proposed solution would be less complex than the current architecture in the long term, although a large effort and substantial changes would be needed to upgrade the system architecture.

Cette thèse contribue à l’étude de la fiabilité et de la sécurité-innocuité des systèmes informatisés, modélisés par des systèmes à événements discrets. Les principales contributions concernent la théorie des Systèmes de Contrôle (notés C Systems) et l’approche par Monitoring des modèles.Dans la première partie de la thèse, nous étudions la théorie des Systèmes de Contrôle qui combine et étend de façon significative, les systèmes de réécriture de la théorie des langages et le contrôle supervisé. Un système de contrôle est une structure générique qui contient deux composants : le composant contrôlé et le composant contrôlant qui restreint le comportement du composant contrôlé. Les deux composants sont exprimés en utilisant le même formalisme comme des automates ou des grammaires. Nous considérons différentes classes de systèmes de contrôle basés sur différents formalismes comme, par exemple, les automates, les grammaires, ainsi que leurs versions infinies et concurrentes. Ensuite, une application de cette théorie est présentée. Les systèmes de contrôle basés sur les automates de Büchi sont utilisés pour vérifier par model-checking, des propriétés définissant la correction sur des traces d’exécution spécifiées par une assertion de type nevertrace.Dans la seconde partie de la thèse, nous investiguons l’approche de monitoring des modèles dont la théorie des systèmes de contrôle constitue les fondations formelles. Le principe pivot de cette approche est la «spécification de propriétés comme contrôleur». En d’autres termes, pour un système, les exigences fonctionnelles, d’une part, et des propriétés, d’autre part, sont modélisées et implantées séparément, les propriétés spécifiées contrôlant le comportement issu des exigences fonctionnelles. De cette approche découle ainsi deux techniques alternatives, respectivement nommées monitoring de modèle et génération de modèle. Cette approche peut être utilisée de diverses manières pour améliorer la fiabilité et la sécurité-innocuité de divers types de systèmes. Nous présentons quelques applications qui montrent l’intérêt pratique de cette contribution théorique. Tout d’abord, cette approche aide à prendre en compte les évolutions des spécifications des propriétés. En second lieu, elle fournit une base théorique à la sécurité fonctionnelle, popularisée par la norme IEC 61508. En troisième lieu, l’approche peut être utilisée pour formaliser et vérifier l’application de guides de bonnes pratiques ou des règles de modélisation appliquées par exemple pour des modèles UML.Ces résultats constituent les bases pour des études futures de dispositifs plus perfectionnés, et fournissent une nouvelle voie pour s’assurer de la fiabilité et de la sécurité-innocuité des systèmes / This thesis contributes to the study of reliability and safety of computer and software systems which are modeled as discrete event systems. The major contributions include the theory of Control Systems (C Systems) and the model monitoring approach.In the first part of the thesis, we study the theory of control systems which combines and significantly extends regulated rewriting in formal languages theory and supervisory control. The control system is a generic framework, and contains two components: the controlled component and the controlling component that restricts the behavior of the controlled component. The two components are expressed using the same formalism, e.g., automata or grammars. We consider various classes of control systems based on different formalisms, for example, automaton control systems, grammar control systems, and their infinite versions and concurrent variants. After that, an application of the theory is presented. The Büchi automata based control system is used to model and check correctness properties on execution traces specified by nevertrace claims.In the second part of the thesis, we investigate the model monitoring approach whose theoretical foundation is the theory of control systems. The key principle of the approach is “property specifications as controllers”. In other words, the functional requirements and property specification of a system are separately modeled and implemented, and the latter one controls the behavior of the former one. The model monitoring approach contains two alternative techniques, namely model monitoring and model generating. The approach can be applied in several ways to improve reliability and safety of various classes of systems. We present some typical applications to show its strong power. First, the approach provides better support for the change and evolution of property specifications. Second, it provides the theoretical foundation of safety-related systems in the standard IEC 61508 for ensuring the functional validity. Third, it is used to formalize and check guidelines and consistency rules of UML.These results lay out the foundations for further study of more advanced control mechanisms, and provide a new way for ensuring reliability and safety

Automation ist heute in allen Lebensbereichen zu finden. Die „zuverlässige“ Automation soll den „unzuverlässigen“ Menschen (Benutzer/Operateur) entlasten, kompensieren, teilweise sogar ersetzen. Eine Automation kann jedoch Fehler machen, wurde sie doch von „unzuverlässigen“ Menschen (Entwicklern) entwickelt. Deshalb verfolgte das Projekt ATEO einen in der Forschung bisher nur theoretisch betrachteten Ansatz zur Optimierung der Funktionallokation zwischen Mensch und Maschine. Hierbei handelt es sich um die Optimierung der Arbeitsteilung zwischen Operateuren und Entwicklern von komplexen, dynamischen, technischen Systemen inklusive Automationen. Diese Dissertation beschäftigt sich mit den Leistungsdeterminanten dieser Entwickler. Die bisher in der Literatur beschriebenen Befunde zu diesen Leistungsdeterminanten wurden zu einem deskriptiven „Modell der Leistungsdeterminanten von Entwicklern“ zusammengetragen. Anschließend wurde die potentielle Leistungsdeterminante „Informationsverfügbarkeit“ unter Einsatz von 90 professionellen Entwicklern experimentell beleuchtet. Zur Erfassung der abhängigen Variable „Güte der Automatikkonzepte“ wurde ein Bewertungsinstrument entwickelt. Zudem wurde die Komplexität der verwendeten Versuchsumgebung „Socially Augmented Microworld“ experimentell erhöht, damit für professionelle Entwickler die Konzeption von Automatiken nicht zu leicht ist. Zusätzlich wurde eine Automatiksoftware zur Implementierung und Konfiguration der von den Entwicklern konzipierten Automatiken entwickelt. Durch die Untersuchung konnte gezeigt werden, dass die Kontrollvariablen „Erfahrungsindex“, „Witzanzahl“ und „Leistungsmotiv HE“ einen höheren Einfluss auf die Güte des Konzeptions¬ergebnisses haben als die systematisch variierte „Informationsverfügbarkeit“. Erst durch Eliminierung der Wirkung dieser Kontrollvariablen konnte ein signifikanter Einfluss der zur Verfügung gestellten Informationen auf die Güte der Automatikkonzepte nachgewiesen werden. / Automation is currently to be found in all aspects of life. “Reliable” automation is believed to take the pressure off, to compensate, or even displace the “unreliable” human (user/operator). However, as a consequence of being developed by “unreliable” humans (developers) automations can also be susceptible to error. The Project ATEO (division of work between developers and operators) pursues an, so far in researches only theoretical considered, approach to optimize the function allocation between human and machine. It is about an optimization of the division of responsibilities between operators and developers of complex, dynamic, technical systems including automations. This thesis concerns the performance determinants of these developers. Literature regarding the previous findings of performance determinants research were gathered into a descriptive "model of developers'' performance determinants". Subsequently, the potential performance determinant "information availability" was examined experimentally by using 90 professional developers. To capture the dependent variable "quality of automation concepts" an assessment tool was developed. Moreover, the complexity of the used test environment "Socially Augmented Microworld" was experimentally heightened to ensure that for these developers the conception of automatic functions was not too easy. Also, an automations software was designed to enable the implementation and configuration of the developer-created automations. The results of the experiment with the professional developers showed that the control variables “experience index”, “number of jokes” and “achievement motive hope of success” had a higher influence on the quality of the design result as the systematically varied "information availability". Only by eliminating the effect of these control variables a significant influence of the performance determinant “information availability” on the quality of automation conceptions was attested.

Les principaux objectifs de la thèse sont de proposer des modèles dynamiques pour décrire la circulation routière en adaptant des modèles de la mécanique des fluides et à partir de ces modèles de concevoir et mettre en œuvre des algorithmes de contrôle. La circulation routière est considérée comme un système complexe organisé dans une structure décentralisée à trois niveaux: au plus haut niveau il y a le réseau routier, décomposé, au niveau suivant, en objets routiers (tronçons et intersections), aussi décomposés, au dernier niveau, en éléments (segments) routiers.La thèse est organisée en six chapitres. Le premier chapitre présente les problèmes spécifiques aux réseaux de circulation routière, ainsi que des modèles et des algorithmes de contrôle trouvés dans la littérature. Le deuxième chapitre présente les principaux outils nécessaires pour décrire un modèle de trafic macroscopique et des façons pour représenter le flux de véhicules. Dans le troisième chapitre, des modèles dynamiques sont proposés pour différents segments et tronçons routiers. Le quatrième chapitre est consacré à la conception d’algorithmes pour le contrôle du trafic et l’optimisation de la circulation, y compris une analyse de robustesse pour évaluer la tolérance du système aux non-linéarités du modèle. Le cinquième chapitre présente une stratégie de contrôle pour le réseau routier, en utilisant la représentation par des modèles à compartiments et le concept de dynamique positive. Dans le dernier chapitre de la thèse, les contributions de l’auteur sont mises en évidence et quelques perspectives pour le développement ultérieur de la recherche sont présentées / The main objectives of this thesis are to propose dynamic models in order to describe road traffic by adapting models of fluid mechanics and based on these models to design and implement control algorithms. Road traffic is seen as a complex system organized in a decentralized structure. At the highest level of complexity there is the traffic network, considered as a part of a city’s road infrastructure. At the next level, the network is decomposed into traffic objects represented by road sections (streets) and intersections. At the last level of complexity there are the road segments that are parts of a road section.The thesis is organized into six chapters. The first chapter presents specific problems of road traffic networks, as well as control models and algorithms found in literature. The second chapter presents the main tools needed to describe a macroscopic traffic model, and some ways of representing the flow of vehicles. In the third chapter, dynamic models are proposed for different road segments and sections. The fourth chapter is devoted to designing algorithms for traffic control and optimization, including a robustness analysis to evaluate the system’s tolerance to model nonlinearities. The fifth chapter presents a control strategy for the road network, using the representation with compartmental models and the concept of positive dynamic. In the last chapter of the thesis, the author’s contributions are highlighted and some perspectives for further development of the research are presented

The automation of industrial processes has been one of the greatest innovations in the industrial sector. It allows faster and accurate operations of production processes while producing more outputs than old manual production techniques. In the beverage industry, this innovation was also well embraced, especially to improve its bottling processes. However it has been proven that a continuous optimization of automation techniques using advanced and current trend of automation is the only way industrial companies will survive in a very competitive market. This becomes more challenging for small to medium scale enterprises (SMEs) which are not always keen in adopting new technologies by fear of overspending their little revenues. By doing so, SMEs are exposing themselves to limited growth and vulnerable lifecycle in this fast growing automation world. The main contribution of this study was to develop practical and affordable applications that will optimize the bottling process of a SME beverage plant by combining its existing production resources to basic principles of the current trend of automation, Industry 4.0 (I40). This research enabled the small beverage industry to achieve higher production rate, better delivery time and easy access of plant information through production forecast using linear regression, predictive maintenance using speed vibration sensor and decentralization of production monitoring via cloud applications. The existing plant Siemens S7-1200 programmable logic controller (PLC) and ZENON supervisory control and data acquisition (SCADA) system were used to program the optimized process with very few additional resources. This study also opened doors for automation in SMEs, in general, to use I40 in their production processes with available means and limited cost. / School of Computing / M.Tech (Engineering, Electrical)

Κύριος στόχος της παρούσας διατριβής ήταν να συμβάλλει στην συστηματοποίηση του έργου του Ηλεκτρολόγου Μηχανικού όταν αναλύει, μοντελοποιεί και σχεδιάζει τον έλεγχο ενός βιομηχανικού συστήματος. Για την μοντελοποίηση βιομηχανικών συστημάτων έχουν προταθεί διάφορες μέθοδοι, όπως τα δίκτυα Petri και όλες οι μορφές αυτομάτων ελέγχου. Τα αυτόματα αποτέλεσαν την βάση για την δημιουργία μιας νέας μεθόδου μοντελοποίησης στα πλαίσια της παρούσας διατριβής. Τα Γενικευμένα Αυτόματα (Global Automata), όπως ονομάστηκε η νέα μέθοδος, δανείζονται χαρακτηριστικά από τις διάφορες προϋπάρχουσες μορφές αυτομάτων, ενώ εισαγάγουν νέες παραμέτρους μοντελοποίησης ώστε να καλύψουν τις όποιες ανάγκες των σύγχρονων βιομηχανικών συστημάτων. Βάσει της μεθόδου αναπτύχθηκαν διάφορα εργαλεία με στόχο την αύξηση της δύναμης μοντελοποίησης της. Το πρώτο εργαλείο περιλαμβάνει μια συστηματοποιημένη τεχνική συγχώνευσης καταστάσεων ενός μοντέλου και αποσκοπεί στον περιορισμό της υπέρμετρης αύξησης του γράφου καταστάσεων, ο οποίος σε περιπτώσεις μεγάλων συστημάτων μπορεί να φτάσει τις δεκάδες χιλιάδες καταστάσεις. Το δεύτερο εργαλείο που αναπτύχθηκε, αποτελεί την σύνθεση αυτομάτων με στόχο την δημιουργία ενός νέου αυτομάτου που έχει την ίδια ακριβώς συμπεριφορά με τα αρχικά. Η σύνθεση επιτρέπει την δημιουργία μοντέλου ακόμα και ενός συστήματος υψηλής πολυπλοκότητας, μέσω σύνθεσης των μοντέλων όλων των υποσυστημάτων του. Τέλος, τα γενικευμένα αυτόματα επιτρέπουν την δημιουργία ιεραρχικών μοντέλων που αποτελούνται από πλήθος αυτομάτων ιεραρχικά δομημένων. Σε αυτή την περίπτωση το αυτόματο του ανωτέρου επιπέδου έχει τον ρόλο του επόπτη-συντονιστή και τροφοδοτεί τα αυτόματα του κατώτερου επιπέδου με δεδομένα, τιμές αναφοράς κτλ. Αναφορικά με τον προγραμματισμό των βιομηχανικών ελεγκτών που θα επωμιστούν τον έλεγχο της διεργασίας παρουσιάζονται δύο εργαλεία παραγωγής κώδικα από ένα γενικευμένο αυτόματο. Το πρώτο εργαλείο παρουσιάζει συστηματικά τα βήματα μετατροπής ενός αυτομάτου σε εκτελέσιμο κώδικα μιας γλώσσας προγραμματισμού υψηλού επιπέδου. Η χρησιμότητα είναι σημαντική κατά την διάρκεια εξομοίωσης ενός μοντέλου και επαλήθευσης της ορθής λειτουργίας του ελεγκτή, αλλά όχι μόνο. Οι σύγχρονες βιομηχανίες είναι εξοπλισμένες με Σταθμούς Εποπτικού Έλεγχου και Συλλογής Πληροφοριών (SCADA) οι οποίοι στην πλειονότητά τους φέρουν ενσωματωμένη δυνατότητα εκτέλεσης κώδικα σε μια γλώσσα υψηλού επιπέδου. Με εκτέλεση του παραγόμενου, από το εργαλείο, κώδικα σε λογισμικό SCADA, μπορεί να επιτευχθεί και έλεγχος του συστήματος. Βέβαια, ο επικρατέστερος τύπος ελεγκτή παραμένει το Προγραμματιζόμενος Λογικός Ελεγκτής, λόγω των ιδιαίτερων χαρακτηριστικών που διαθέτει και υπερισχύει συγκριτικά με τις εναλλακτικές προσεγγίσεις. Η υλοποίηση των γενικευμένων αυτομάτων σε PLC επιτυγχάνεται μέσω του δεύτερου εργαλείου, το οποίο δημιουργήθηκε με βάση το διεθνές πρότυπο IEC 61131-3 και περιγράφει όλα τα συστηματικά βήματα που πρέπει να ακολουθήσει ο μηχανικός για να υλοποιήσει την στρατηγική ελέγχου, που εμπεριέχει ένα γενικευμένο αυτόματα, σε ένα PLC. Το πρότυπο IEC 61131-3 περιλαμβάνει ένα σύνολο πέντε γλωσσών και το εργαλείο σύνθεσης τις περιλαμβάνει όλες δίνοντας κατάλληλες κατευθύνσεις υλοποίησης με βάση τα ιδιαίτερα χαρακτηριστικά της καθεμιάς. Η παρουσίαση των γενικευμένων αυτομάτων και των εργαλείων που αναπτύχθηκαν ολοκληρώνεται μέσω παραδειγμάτων χρήσης. Οι παρουσιαζόμενες εφαρμογές αποτελούν είτε θεωρητικά συστήματα για επεξήγηση, είτε πραγματικές εφαρμογές υλοποιημένες ως εργαστηριακές διατάξεις ή ως πραγματικά συστήματα παραγωγής. / In this work Global Automata are introduced as a new method offering the convenience of modelling various types of industrial systems without any restrictions on systems properties. Their structure has common characteristics with several types of automata, such as the control graph with a finite set of states and transitions between those states. Global automata can be used for modelling hybrid systems handling both discrete and real valued variables combining flow, invariant and guard conditions from hybrid automata, with clock constraints and delayed inputs from timed and PLC automata. In addition, new modelling parameters as reset table at each transition and hierarchical classification of executable events at each state are introduced. Application independence derives from the fact that they are a super-set of every other type of automata and hence are less application depended compared to any of them. Based on Global Automata some tools were developed in order to increase their modelling power. First tool is the ability of state aggregation which generally means the merging of two or more states in order to produce a new super-state. State aggregation is a powerful tool to avoid state space expansion. The second developed tool is automata composition and is mainly used in cases where ad-hoc modelling is not a practical solution, since it allows the construction of large system model using simple models of all system’s components. Finally, global automata allow the development of hierarchical models, consisting of two or more automata. In such case, the automaton of the higher level has the role of supervisor feeding the automata of lower level with data, reference values etc. Two implementation tools for programming industrial controllers are also presented. The first tool is a synthesis tool for translating a global automaton into executable code of a programming language (i.e. C, Matlab). Tool usage is important for simulation and verification but is not limited on this. Contemporary industrial systems are equipped with Supervisory Control and Data Acquisition Systems (SCADA), which have embedded functions of running code. Consequently, an industrial system modelled as a global automaton can be controlled by the executable code running in a SCADA station. But, in industry the dominant controller is the Programmable Logic Controller, which is a special aim computer suitably built for the application control tasks. The IEC 61131-3 Programming Norm describes all the well-known languages for programming PLCs and the second tool is a synthesis tool for implementing global automata in PLCs based on this programming norm. Global automata as a modelling method and all the above mentioned tools are illustrated through representative examples. The presented examples are either theoretical or real systems implemented in the laboratory or even real production systems.

Im Zuge strenger werdender Emissionsrichtlinien und steigender Kraftstoffpreise spielt die Energieeffizienz mobiler Arbeitsmaschinen eine zunehmend wichtigere Rolle. Die Firma Gottwald Port Technology GmbH hat in diesem Zusammenhang einen hybriden Antriebsstrang für einen Hafenmobilkran (HMK) in Zusammenarbeit mit der Technischen Universität Dresden erforscht und umgesetzt. Bei diesem Hybridsystem wird die kinetische und potentielle Energie aus dem elektrischen Hub- und Drehwerk des Krans, welche zuvor im Bremswiderstand in Wärme umgewandelt wurde, durch einen elektrischen Energiespeicher zurückgewonnen. Im Gegensatz dazu ist das hydraulisch betriebene Wippwerk noch nicht rückspeisefähig. Ziel dieser Arbeit ist die Identifikation einer technischen Lösung zur Energierückgewinnung aus der hydraulischen Anlage eines HMK und die Bewertung des erreichbaren Kraftstoffeinsparpotentials. Zunächst wird das bestehende hydraulische System untersucht, um die Anforderungen an das rückspeisefähige Konzept zu ermitteln. Dazu werden Modelle der Kinematik und Kinetik des Wippwerks abgeleitet. Anhand einer Entscheidungsanalyse wird ein hydraulisches Konzept aus einem Katalog verfügbarer Alternativen ausgewählt. Im Anschluss daran wird ein energieflussbasiertes Modell des Konzepts in Matlab/Simulink erstellt und in das bestehende Simulationsmodell integriert. Die Simulationsergebnisse zeigen ein großes Einsparpotential an Dieselkraftstoff durch den Einsatz des rückspeisefähigen Hydrauliksystems. / Due to stricter emission restrictions and rising fuel costs energy efficiency of mobile work machines is getting more important. In cooperation with Dresden University of Technology, Gottwald Port Technology GmbH has developed a mobile harbour crane with a hybrid drive train. This system can recuperate the kinetic and potential energy from the electrical slewing and hoisting gear, which was formerly dissipated to heat. This paper deals with the identification of a technical solution to recuperate energy form the hydraulic luffing gear to determine the potential reduction of fuel consumption. At first, the actual hydraulic system is analyzed to estimate the requirements of the new recuperation system. For that purpose, models of the kinematics and kinetics of the luffing gear are created. With the help of weighted criteria, a hydraulic concept is chosen of several alternatives. Afterwards, an energy flow based model in Simulink/Matlab is created and integrated in the existing simulation model of the crane. The simulation results confirm a considerable reduction of diesel fuel due to the application of hydraulic recuperation system.

Made available in DSpace on 2016-12-12T17:38:37Z (GMT). No. of bitstreams: 1 Moacyr Carlos Possan Junior.pdf: 1940795 bytes, checksum: 58824c0ca3ed2180f9e245d34118e117 (MD5) Previous issue date: 2009-12-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work presents a new methodology for the modeling of supervisory control systems based on state machines with outputs, obtained from the automata which represent the supervisors found with the usage of the Supervisory Control Theory (SCT) of Discrete Event Systems (DES). Procedures like that are useful to create the documentation which represents the control logic for large scale systems and for the code generation, as well as allows that the documentation and program code updates be easier when new requirements to change the control logic in flexible systems appear. Besides, it makes way for the generation of more reliable solutions and also for the possibility of automatic code generation. The proposed technique consists on the obtaining of finite state machines with outputs using as input information the automata of the supervisors obtained by the SCT and the control actions of the system, where the control logic redundancies existing in the model of the automata are eliminated. Methodologies based on either monolithic or local modular approach are proposed, where the obtained machines are further simplified in order to have simpler models which are used as templates for the implementation in Programmable Logic Controller (PLC) using Ladder language. The methodology is shown using a simple manufacturing system as example to help on its understanding. Besides, this work deals with the difficulties found in the migration from the event based theory in the TCS to the signal based practice for the CLPs. After the presentation of this methodology, it is performed the modeling and implementation for a larger system, a manufacturing cell where a comparison with another existing methodology which also has the SCT as base is performed in order to verify the advantages and disadvantages of such methodology. / Este trabalho apresenta uma nova metodologia para a modelagem de sistemas de controle supervisório baseados em máquinas de estados com saídas, obtidas a partir dos autômatos que representam os supervisores encontrados com o uso da Teoria de Controle Supervisório (TCS) de Sistemas a Eventos Discretos (SEDs). Procedimentos como este são úteis para criar a documentação relativa à especificações de sistemas de grande porte e à geração de código, assim como permitem que a atualização da documentação e do código seja facilitada quando surgem novos requisitos para variação da lógica de controle em sistemas flexíveis. Além disso, isso abre espaço para a geração de soluções mais confiáveis e também para a possibilidade de geração automática de código. A técnica proposta consiste em obter máquinas de estados finitos com saídas usando como informação os autômatos dos supervisores obtidos por intermédio da TCS e as ações de controle do sistema, onde redundâncias da lógica de controle presentes no modelo do autômato são eliminadas. São propostas abordagens tanto no contexto monolítico quanto no contexto modular local, onde as máquinas obtidas são reduzidas posteriormente com o intuito de obter modelos mais simples, que servem como referência para a implementação em Controlador Lógico Programável (CLP) usando linguagem Ladder. A metodologia é demonstrada usando um sistema de manufatura simples como exemplo a fim de facilitar sua compreensão. Além disso, este trabalho trata das dificuldades encontradas na migração da teoria baseada em eventos da TCS na prática baseada em sinais dos CLPs. Após a apresentação da metodologia, é feita a modelagem e implementação para um sistema de maior porte, uma célula de manufatura onde é efetuada uma comparação com uma metodologia já existente que também têm como base a TCS, com o intuito de verificar as vantagens e desvantagens dessa metodologia

To reduce fossil fuel consumption and carbon emission in the building sector, renewable and low carbon energy technologies are integrated in building energy systems to supply all or part of the building energy demand. In this research, an optimal supervisory controller is designed to optimize the operational cost and the CO2 emission of the integrated energy systems. For this purpose, the building energy system is defined and its boundary, components (subsystems), inputs and outputs are identified. Then a mathematical model of the components is obtained. For mathematical modelling of the energy system, a unified modelling method is used. With this method, many different building energy systems can be modelled uniformly. Two approaches are used; multi-period optimization and hybrid model predictive control. In both approaches the optimization problem is deterministic, so that at each time step the energy consumption of the building, and the available renewable energy are perfectly predicted for the prediction horizon. The controller is simulated in three different applications. In the first application the controller is used for a system consisting of a micro-combined heat and power system with an auxiliary boiler and a hot water storage tank. In this application the controller reduces the operational cost and CO2 emission by 7.31 percent and 5.19 percent respectively, with respect to the heat led operation. In the second application the controller is used to control a farm electrification system consisting of PV panels, a diesel generator and a battery bank. In this application the operational cost with respect to the common load following strategy is reduced by 3.8 percent. In the third application the controller is used to control a hybrid off-grid power system consisting of PV panels, a battery bank, an electrolyzer, a hydrogen storage tank and a fuel cell. In this application the controller maximizes the total stored energies in the battery bank and the hydrogen storage tank.

The thesis is focused on simulating of protocols from standard IEC 61850 in simulation tool OMNeT++. The theoretical part in the thesis deals with description of the field of operating technologies, supervisory control and data acquisition and protocols Tase-2/ICCP, IEC 61850, IEC 60870-5-104, DNP 3 and DLMS/COSEM. Next part deals with parameters influencing connection and description of simulation tools NS2/NS3, OPNET and OMNeT++. In the practical part there is created a network containing protocols from the standard IEC 61850 in the simulation program OMNeT++. Then in the network a end to end delay and packet loss with increasing traffic is measured.