Manufacturing systems may be subject to external attacks and failures, so it is important deal with the recovery of system after these situations. This article deals problem recovering a manufacturing system, modeled as discrete event (DES) using supervisory control theory (SCT), when structure, called supervisor, desynchronizes from physical plant. The desynchronization seen plant supervisor b...

In order to handle undesirable failures of a multicopter which occur in either the pre-flight process or the in-flight process, a failsafe mechanism design method based on supervisory control theory is proposed for the semi-autonomous control mode . Failsafe mechanism is a control logic that guides what subsequent actions the multicopter should take, by taking account of real-time information f...

In a new era, the organizational climate has built as the norms, values, beliefs, traditions, and ceremonies where people work together to solve problems and face challenges. This study was to determine whether there is a relationship between each of the three dimensions of organizational climate (supervisory support, autonomy, and goal direction) and Organizational Citizenship Behavior-Individ...

In this paper we deal with the problem of designing a controller for a discrete event system. We argue that the classical approach of supervisory control theory (SCT) can be used as an essential step of such a procedure. However, some of the features that make supervisory control an attractive paradigm to solve theoretical problems are often a major source of difficulty in implementing a contro...

Constraint-based processes require a set of rules that limit their behavior to certain boundaries. In these processes, the control flow is defined implicitly as a set of constraints or rules, and all possibilities that do not violate any of the given constraints are allowed to be executed. The present paper proposes a new approach to deal with constraint-based processes. The proposed approach i...

We embed the framework of infinite two-player turn-based games played on graphs with safety objectives in an epistemic temporal logic. This embedding is made possible thanks to two intermediate embeddings: the first is from infinite games with safety objectives to supervisory control theory and the second is from supervisory control theory to epistemic temporal logic. Thereby, we are able to de...

The aim of this work is to integrate the use of formal tools for analysis, control and synthesis of systems in mechatronic design. Besides, the work presents an integrated design approach for fluid power systems, in which the control system is conceived during the design process of the physical plant, making the global design more efficient and reliable.