This master’s thesis deal with principles temperature measurement using resistive temperature sensor PT100 and algorithm design PSD controler. In Work is includ description problems temperature measurement and way evaluation by means of mikrokontroler, which by PWM output controls supplied heat power. Next is here described method realization controls device for heating electric furnace with setup via Ethernet.

My diploma thesis deals with the design and production of the first of the two parts of a device for classifying goods. This device needs two programmable logic controllers (hereafter PLCs), produced by Phoenix Contact, to complete these activities. These controllers are interconnected. One part of the solution, which is described in my thesis in detail, deals with the communication between these controllers, the design of optimalization of methods of classifying goods, which is important for the operation of the whole device and visualization realization. The PLCs are programmed in PC worx software and the visualisation has been made using the Visu+ programme produced by Phoenix Contact. The outcome of my thesis is a device, which, after setting up of the parameters, works independently and is completely controlled by a HDMI touch screen. This thesis has been supported by the Czech Ministry of Education in the frame of MSM 0021630529 Research Intention Inteligent Systems in Automation.

Nous avons étudié dans cette thèse une approche discrète de la synthèse de contrôleurs pour les systèmes hybrides permettant la manipulation de dynamiques non-linéaires : les états sont regroupés dans une partition finie au prix d'une sur-approximation non déterministe de la relation de transition. Nous avons développé des algorithmes permettant de réduire l'explosion du nombre d'états due à la discrétisation en exploitant des propriétés des systèmes ODE. Ces algorithmes sont basés sur une approche hiérarchique du problème de la synthèse en le résolvant pour des sous problèmes et en utilisant ces résultats pour réduire l'espace d'états global. Nous avons aussi combiné des objectifs de vivacité et de sécurité pour s'approcher d'une stabilisation. Des résultats implémentés sur un prototype viennent montrer l'intérêt de cette approche.Pour la vérification, nous avons étudié le problème du model checking d'automates temporisés basé sur la résolution SAT. Nous avons exploré des solutions alternatives pour le codage des réductions SAT basées sur des exécutions parallèles de transitions indépendantes. Alors qu'une telle optimisation a déjà été étudiée pour les systèmes discrets, une approche intuitive pour les automates temporisés serait de considérer que des transitions en parallèle ont lieu au même instant (synchrones). Toutefois il est possible de relâcher cette condition et nous avons montré trois sémantiques différentes pour les séquences temporisées avec des transitions parallèles. Nous montrons la correction des sémantiques et décrivons des résultats expérimentaux réalisés avec notre prototype. / We consider a discretization based approach to controller synthesis of hybrid systems that allows to handle non-linear dynamics. In such an approach, states are grouped together in a finite index partition at the price of a non-deterministic over approximation of the transition relation. The main contribution of this work is a technique to reduce the state explosion generated by the discretization: exploiting structural properties of ODE systems, we propose a hierarchical approach to the synthesis problem by solving it first for sub problems and using the results for state space reduction in the full problem. A secondary contribution concerns combined safety and liveness control objectives that approximate stabilization. Results implemented on a prototype show the benefit of this approach. For the verification, we study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel executions of independent transitions. While such an optimization has been studied for discrete systems, its transposition to timed automata poses the question of what it means for timed transitions to be executed “in parallel”. The most obvious interpretation is that the transitions in parallel take place at the same time (synchronously). However, it is possible to relax this condition. On the whole, we define and analyse three different semantics of timed sequences with parallel transitions. We prove the correctness of the proposed semantics and report experimental results with a prototype implementation.

Neste trabalho é apresentado um estudo sobre o controle de velocidade sensorless aplicado ao Motor de Indução Trifásico (MIT) visando sobretudo, melhorar o desempenho da máquina de indução em aplicações na região de baixa frequência de operação. Para tanto, propõe-se uma abordagem utilizando a técnica de controle Direct Torque Control (DTC) com Space Vector Modulation (SVM) em conjunto com o Observador de Fluxo com Modelo de Tensão e Corrente (OFMTC), o que possibilita a estimação precisa da posição do vetor de fluxo do estator em baixa velocidade. Para a estimativa da velocidade do rotor é utilizado a estratégia Model Reference Adaptive System (MRAS) com mecanismo de adaptação fuzzy, a fim de se diminuir a sensibilidade aos parâmetros da máquina. O desempenho da estratégia de controle de velocidade sensorless proposta é testada em simulações com diferentes condições de operação buscando reproduzir alguns dos problemas encontrados em aplicações práticas, utilizando o software Matlab. Os resultados obtidos foram condizentes com resultados encontrados na literatura, comprovando o bom desempenho do sistema de controle de velocidade proposto. / This work deals with the sensorless speed control for Three-phase Induction Motor in order to improve its operation at low speed and low frequency. At first, a Direct Torque Control employing Space Vector Pulse with Modulation (SVPWM) based on Flux Observer (voltage and current model) is studied and evaluated due to its high accuracy of estimating the stator-flux at low speed. The Model Adaptive Reference (MRAS) with Fuzzy Controler is chosen in order to estimate the rotor speed. This choice is based on its capability of high performance during Three-phase Induction Motor operation even if the machines parameters and the load change during the operation. At last, some simulations with diferent operational conditions at low speed are carried out in order to test the sensorless control. The results show a good perfomance and agreed with the results shown in recent papers.

Neste trabalho é apresentado um estudo sobre o controle de velocidade sensorless aplicado ao Motor de Indução Trifásico (MIT) visando sobretudo, melhorar o desempenho da máquina de indução em aplicações na região de baixa frequência de operação. Para tanto, propõe-se uma abordagem utilizando a técnica de controle Direct Torque Control (DTC) com Space Vector Modulation (SVM) em conjunto com o Observador de Fluxo com Modelo de Tensão e Corrente (OFMTC), o que possibilita a estimação precisa da posição do vetor de fluxo do estator em baixa velocidade. Para a estimativa da velocidade do rotor é utilizado a estratégia Model Reference Adaptive System (MRAS) com mecanismo de adaptação fuzzy, a fim de se diminuir a sensibilidade aos parâmetros da máquina. O desempenho da estratégia de controle de velocidade sensorless proposta é testada em simulações com diferentes condições de operação buscando reproduzir alguns dos problemas encontrados em aplicações práticas, utilizando o software Matlab. Os resultados obtidos foram condizentes com resultados encontrados na literatura, comprovando o bom desempenho do sistema de controle de velocidade proposto. / This work deals with the sensorless speed control for Three-phase Induction Motor in order to improve its operation at low speed and low frequency. At first, a Direct Torque Control employing Space Vector Pulse with Modulation (SVPWM) based on Flux Observer (voltage and current model) is studied and evaluated due to its high accuracy of estimating the stator-flux at low speed. The Model Adaptive Reference (MRAS) with Fuzzy Controler is chosen in order to estimate the rotor speed. This choice is based on its capability of high performance during Three-phase Induction Motor operation even if the machines parameters and the load change during the operation. At last, some simulations with diferent operational conditions at low speed are carried out in order to test the sensorless control. The results show a good perfomance and agreed with the results shown in recent papers.

L'Internet des Objets (IdO) et les Environnements Intelligents (EI) ont attiré beaucoup d'activités de recherche et développement au cours de la dernière décennie. Pourtant, de nombreuses applications IdO/EI d'aujourd'hui sont encore limitées à l'acquisition et au traitement des données de capteurs et de leur contexte, avec un contrôle, le cas échéant, utilisant soit des solutions de base ou demandant l'intervention humaine, loin du contrôle automatique qui est un facteur essentiel de promouvoir ces technologies. Cette thèse vise à apporter le savoir-faire de la théorie du contrôle et des systèmes réactifs dans le domaine IdO/EI pour arriver à une solution avec une méthode formelle pour l'aspect de contrôle qui fait défaut. Nous proposons l'extension d'un canevas logiciel pour une infrastructure générique et partagée IdO/EI qui offre des interfaces de haut niveau pour réduire l'effort de conception, et qui permet l'auto-configuration et l'adaptation des applications de contrôle sur des propriétés génériques de l'environnement sans intervention humaine en utilisant les connaissances générales sur le domaine qui s'appliquent à chaque instance cible de système IdO/EI. Dans cette infrastructure étendue, les entités physiques individuelles (y compris toutes les "choses", appareils électriques et sous-ensembles de l'espace) peuvent être regroupées comme des entités virtuelles par des propriétés communes afin de fournir un niveau d'abstraction plus élevé pour le contrôle et d'autres applications, ainsi qu'une meilleure adaptation aux changements des configurations au niveau inférieur. Sur le requis d'une solution générique et commun dénominateur partagée par toutes les applications de l'IdO/EI dans un environnement donné, nous proposons pour cette infrastructure, de modéliser les entités cibles supervisées et contrôlées, y compris les entités individuelles et de leurs regroupements, ainsi que les choses et les entités spatiales, par des automates à états finis, pour être en mesure d'appliquer la technique de la synthèse des contrôleur discrets (SCD) aux différents niveaux d'abstraction et de granularité. SCD est une méthode formelle qui construit automatiquement un contrôleur, s'il existe, en assurant les objectifs de contrôle exigés concernant le modèle de comportement du système donné en termes d'automates parallèles synchrones. Les langages de programmation BZR et les outils Sigali existants sont utilisés pour effectuer la SCD et de générer un contrôleur de manière automatique. Les modules logiciels nécessaires sont proposés dans l'implémentation tels que le module de maintenance de relation qui garde une association correcte entre les instances d'entités individuelles et les groupes, et répercute des commandes d'action du contrôle de haut niveau aux actionneurs correspondants. Ce module est destiné à évoluer plus tard vers une solution plus générique comme une base de données graphes comprenant à la fois la base de connaissances générales et relations spécifiques d'instance environnement. La résolution des conflits entre les objectifs de contrôle venant de contrôleurs concurrent est également indispensable en raison des objectifs de l'ouverture de la plateforme. Un simulateur de contexte basé sur Java a été développé pour simuler l'environnement de la maison au sein de plusieurs scénarios proposés pour la validation, tels que le contrôle de la charge électrique et l'adaptation au contexte de l'activité. / The Internet of Things (IoT) and Smart Environments (SE) have attracted a lot of research and development activities during the last decade. Yet many present-day IoT/SE applications are still limited to the acquisition and processing of sensor data and its context, with control, if any, using either basic solutions or requiring human intervention, far away from the automatic control which is an essential factor to promote the technologies. This thesis targets to bring knowhow from control theory and reactive systems to the IoT/SE domain to achieve a solution with a formal method for the missing control aspect. We propose the extension of a framework in order to build a shared generic IoT/SE infrastructure offering high-level interfaces to reduce design effort, and enabling the self-configuration and adaptation of control applications over generic properties of the environment without human interaction by using general knowledge over the domain that applies to each target instance of IoT/SE system. In this extended framework, individual physical entities (including all relevant "things", appliances and subsets of space) may be grouped as virtual entities by shared properties to provide a higher level abstraction for control and other applications and better adaptation to lower level configuration changes. Requiring a generic common denominator solution shared by all IoT/SE applications in a given environment, we propose for this infrastructure, to model by finite state automata the target entities to be monitored and controlled, including both individual entities and their groupings, as well as things and space entities, to be able to apply discrete controller synthesis (DCS) technique over any of these at different levels of abstraction and granularity. DCS is a formal method which constructs automatically a controller, if it exists, guaranteeing the required control objectives regarding to the given system behavior model in terms of synchronous parallel automata. The existing BZR programming language and Sigali tools are employed to perform DCS and generate a controller in an automatic way. Necessary supporting software modules are proposed in the implementation such as the relation maintenance module keeping the correct association between individual entity instances and groups, and dispatching the action orders from the high level control to corresponding actuators. This module would evolve later to a more generic solution such as a graph data base including both the general knowledge base and specific environment instance relations. Conflict resolution between objectives of control coming from concurrent controllers is also indispensable due to the intended openness of the platform. A java based context simulator has been developed to simulate the home environment within several scenarios proposed for the validation, such as electrical load control and activity context adaptation.

L'Internet des Objets (IdO) et les Environnements Intelligents (EI) ont attiré beaucoup d'activités de recherche et développement au cours de la dernière décennie. Pourtant, de nombreuses applications IdO/EI d'aujourd'hui sont encore limitées à l'acquisition et au traitement des données de capteurs et de leur contexte, avec un contrôle, le cas échéant, utilisant soit des solutions de base ou demandant l'intervention humaine, loin du contrôle automatique qui est un facteur essentiel de promouvoir ces technologies. Cette thèse vise à apporter le savoir-faire de la théorie du contrôle et des systèmes réactifs dans le domaine IdO/EI pour arriver à une solution avec une méthode formelle pour l'aspect de contrôle qui fait défaut. Nous proposons l'extension d'un canevas logiciel pour une infrastructure générique et partagée IdO/EI qui offre des interfaces de haut niveau pour réduire l'effort de conception, et qui permet l'auto-configuration et l'adaptation des applications de contrôle sur des propriétés génériques de l'environnement sans intervention humaine en utilisant les connaissances générales sur le domaine qui s'appliquent à chaque instance cible de système IdO/EI. Dans cette infrastructure étendue, les entités physiques individuelles (y compris toutes les "choses", appareils électriques et sous-ensembles de l'espace) peuvent être regroupées comme des entités virtuelles par des propriétés communes afin de fournir un niveau d'abstraction plus élevé pour le contrôle et d'autres applications, ainsi qu'une meilleure adaptation aux changements des configurations au niveau inférieur. Sur le requis d'une solution générique et commun dénominateur partagée par toutes les applications de l'IdO/EI dans un environnement donné, nous proposons pour cette infrastructure, de modéliser les entités cibles supervisées et contrôlées, y compris les entités individuelles et de leurs regroupements, ainsi que les choses et les entités spatiales, par des automates à états finis, pour être en mesure d'appliquer la technique de la synthèse des contrôleur discrets (SCD) aux différents niveaux d'abstraction et de granularité. SCD est une méthode formelle qui construit automatiquement un contrôleur, s'il existe, en assurant les objectifs de contrôle exigés concernant le modèle de comportement du système donné en termes d'automates parallèles synchrones. Les langages de programmation BZR et les outils Sigali existants sont utilisés pour effectuer la SCD et de générer un contrôleur de manière automatique. Les modules logiciels nécessaires sont proposés dans l'implémentation tels que le module de maintenance de relation qui garde une association correcte entre les instances d'entités individuelles et les groupes, et répercute des commandes d'action du contrôle de haut niveau aux actionneurs correspondants. Ce module est destiné à évoluer plus tard vers une solution plus générique comme une base de données graphes comprenant à la fois la base de connaissances générales et relations spécifiques d'instance environnement. La résolution des conflits entre les objectifs de contrôle venant de contrôleurs concurrent est également indispensable en raison des objectifs de l'ouverture de la plateforme. Un simulateur de contexte basé sur Java a été développé pour simuler l'environnement de la maison au sein de plusieurs scénarios proposés pour la validation, tels que le contrôle de la charge électrique et l'adaptation au contexte de l'activité. / The Internet of Things (IoT) and Smart Environments (SE) have attracted a lot of research and development activities during the last decade. Yet many present-day IoT/SE applications are still limited to the acquisition and processing of sensor data and its context, with control, if any, using either basic solutions or requiring human intervention, far away from the automatic control which is an essential factor to promote the technologies. This thesis targets to bring knowhow from control theory and reactive systems to the IoT/SE domain to achieve a solution with a formal method for the missing control aspect. We propose the extension of a framework in order to build a shared generic IoT/SE infrastructure offering high-level interfaces to reduce design effort, and enabling the self-configuration and adaptation of control applications over generic properties of the environment without human interaction by using general knowledge over the domain that applies to each target instance of IoT/SE system. In this extended framework, individual physical entities (including all relevant "things", appliances and subsets of space) may be grouped as virtual entities by shared properties to provide a higher level abstraction for control and other applications and better adaptation to lower level configuration changes. Requiring a generic common denominator solution shared by all IoT/SE applications in a given environment, we propose for this infrastructure, to model by finite state automata the target entities to be monitored and controlled, including both individual entities and their groupings, as well as things and space entities, to be able to apply discrete controller synthesis (DCS) technique over any of these at different levels of abstraction and granularity. DCS is a formal method which constructs automatically a controller, if it exists, guaranteeing the required control objectives regarding to the given system behavior model in terms of synchronous parallel automata. The existing BZR programming language and Sigali tools are employed to perform DCS and generate a controller in an automatic way. Necessary supporting software modules are proposed in the implementation such as the relation maintenance module keeping the correct association between individual entity instances and groups, and dispatching the action orders from the high level control to corresponding actuators. This module would evolve later to a more generic solution such as a graph data base including both the general knowledge base and specific environment instance relations. Conflict resolution between objectives of control coming from concurrent controllers is also indispensable due to the intended openness of the platform. A java based context simulator has been developed to simulate the home environment within several scenarios proposed for the validation, such as electrical load control and activity context adaptation.

Cybercom Group AB har en kombinerad säkerhets- och integrationsplattform kallad CESP, Cybercom Enhanced Security Platform. I CESP finns bl.a. en autentiseringstjänst, åtkomstkontroll, loggning och logganalys. Det finns även ett webbaserat administrationsgränssnitt för att komma åt och administrera tjänsterna. Examensarbetet har gått ut på att utvärdera och omforma adminis-trationsgränssnittet för att göra gränssnittet mer enhetligt och lättarbetat. Examensarbetet har varit inriktat på att ge utvecklarna ett stöd för vidare utveckling med fokus på användbarhet och avslutades med en utvärdering mellan den »gamla« och »nya« administrationsportalen. Examensrapporten kommer ta upp hela arbetsprocessen indelat i dess fyra faser; undersökning, design, implementation och utvärdering. Examensarbetet har lett till en implementation av en begränsad del i en administrationsportal samt en omfattande pappersprototyp som visar hur en vidare implementation av administrationsportalen kan se ut. Resultatet av utvärderingen visade inte på någon signifikant skillnad mellan den »gamla« och »nya« administrationsportalen, detta till stor del p.g.a. felaktigt val av utvärderingsmetod som inte var lämpad att utvärdera två olika system.

In my Master´s thesis I am concerned with the questions of the human factor in air traffic control. The work is mainly focused on the air traffic controller and discusses the influences that directly or indirectly affect the air traffic controller. Considerable attention is paid to the errors that may occur during the management, their analysis and proposals for their elimination, respectively their complete disposal. The main idea is to understand the thinking of the air traffic controller as the human element in an organization and applying theories to reduce the errors in the air traffic control.

This dissertation work describes design and construction of simulated aorta device intended to demonstrate performance of the intra-aortal balloon catheter (IAB), and to test reaction of the contra-pulsation pump during simulated cardiac output in conditions of tachycardia, bradycardia and arrhythmia. The major part of the device is transparent plastic tube. The pressure pulses (waves) are generated inside this plastic tube to simulate real cardiac output. These pressure pulses are generated by step motor with membrane. The step motor is controlled by programmable control system AMiNi-E. Individual pressure pulses simulate cardiac output in conditions of tachycardia, bradycardia and arrhythmia. Required simulated cardiac output is selected by control switches. Generated pressure pulses are read by pressure sensor and are transferred to the control system of the configuration computer. Read data can be displayed as graphs in program Microsoft Excel. The intra-aortal balloon catheter (IAB) is inserted inside the aorta and is connected with contra-pulsation pump which on pressure pulse is responding.