This research study advances the body of knowledge of leadership studies by examining the impact of prayer on the relationship between supervisory support and employee perception of organizational equity. Studies have shown a positive correlation between prayer and motivation. Equity theory is an organizational development theory which focuses on the employee perception of workplace fairness an...

In Ramadge-Wonham supervisory control theory we often need to check nonconflict of plants and corresponding synthesized supervisors. For a large system such a check imposes a great computational challenge because of the complexity incurred by composition of plants and supervisors. In this paper we present a novel procedure based on automaton abstractions, which removes internal transitions of r...

In this work we introduce an automatic adaptation approach for Coloured Petri Nets models. For this approach we define a procedure for the synthesis of a new model based on a given model and a set of behavior restrictions. This procedure was defined based on the concepts and techniques of the supervisory control theory and model checking. Moreover, we tackle the adaptation problem in the contex...

A make-to-order business model requires manufacturing control to face customised product variability and traceability. Considering the product as central to the automation rationale provides each product occurrence with informational and decisional capabilities. This paper considers a formal framework for such product-driven automation within the context of the Supervisory Control Theory. Two i...

This contribution addresses the synthesis of supervisory control for hybrid systems with discrete external signals. Such systems are in general neither l-complete nor can they be represented by nite state machines. We nd an l-complete approximation (abstraction) l for , represent it by a nite state machine, and investigate the control problem for the approximation. If a solution exists, we synt...

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...

Two basic measures, model complexity and model construction efficiency, are usually used to evaluate the implementability (or ease of use in practice) of a methodology for modeling the control of a discrete event manufacturing system (DEMS) on the shop floor. Many well-recognized methods are used to represent and analyze the dynamics of DEMS’s, but not many relevant applications have been found...

Abstmct We focus on the training scheme for the neural networks t o learn in the regions of unstable equilibrium states and the identification and the control using these networks. These can be achieved by introducing a supervisory controller during the learning period of the neural networks. The supervisory controller is derigned based on Lyapunov theory and it guarantees the bonndednese of th...

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...