Coalgebraic techniques are applied to the supervisory control of discrete-event systems with partial observations. Classical notions from concurrency theory are specialized to control theory. The concept of weak transitions enables the relational characterization of observability and gives rise to a coalgebraic formulation of the necessary and sufficient conditions for the existence of a superv...

To perform Industrial power plant monitoring and control using CAN and ZIGBEE by collecting the real time parameters and to control if it exceeds the pre-defined value. Implementation of this project in a power plant is to monitor and control the real time temperature, power (voltage and current), intruder security, water level, and fire along with safe and secure operations. This project is on...

Timely faults detection in an industrial process is a key aspect for designing a framework for intelligent supervisory control. A way to perform supervisory control is by providing intelligence to the supervision mechanism in continuous processes exposed to faults in order to cope with the identification of a diversity of faults, classify them and to be able to anticipate the consequences deriv...

Swarm robotics studies large groups of robots that work together to accomplish common tasks. Much of the used source code is developed in an ad-hoc manner, meaning that the correctness of the controller is not always verifiable. In previous work, supervisory control theory (SCT) and associated design tools have been used to address this problem. Given a formal description of the swarm’s agents ...

This paper provides an overview of multilevel flow modelling (MFM) and its application for design of displays for the supervisory control of industrial plant. The problem of designing the inforrrzatian content of sacpervisory displays is discussed and plant representations like MFM using levels of means-end and part-whole. abstractions are proposed as a solution to this design problem. The basi...

This paper presents the implementation of an adaptive supervisory sliding fuzzy cerebellar model articulation controller (FCMAC) in the speed sensorless vector control of an induction motor (IM) drive system. The proposed adaptive supervisory sliding FCMAC comprised a supervisory controller, integral sliding surface, and an adaptive FCMAC. The integral sliding surface was employed to eliminate ...

Industrial Control Systems (ICS) and SCADA (Supervisory Control and Data Acquisition) systems are typically used in industries such as electricity generation and supply, gas supply, logistics, manufacturing and hospitals and are considered critical national infrastructure. The evolution of these systems from isolated environments into internet connected ones, in combination with their long serv...

Because of their scale, complexity and requirement of expandability, Large Scale Distributed Control Systems (LSDCS) are usually created in a multistep integration process. To succeed, it has to be governed by well-defined information architecture, appropriate communication infrastructure and the supervisory role of the time notion taken into consideration from the very beginning of the design ...