Abstract Discrete Event Systems (DESs) are classically modeled as Finite State Machines
(FSMs), and controlled in a maximally permissive, controllable, and nonblocking way using …

Thermal comfort is a decisive factor in broiler chicken production, as it defines the
relationship between food consumption and meat production. Temperature and humidity are …

Abstract In emerging Manufacturing Systems (MSs), flexibility is a key issue. It is related to
the ability for a MS to recognize the context and switch its workflow accordingly. Although the …

This paper deals with two relevant aspects of the Supervisory Control Problem (SCP) of
Discrete Event Systems (DES): the degree of difficulty faced when modeling specifications to …

This paper proposes an algorithm for the synthesis of modular supervisors using extended
finite-state machines, ie, state machines with variables and guards on the transitions …

Local modular control (LMC) is an approach to the supervisory control theory (SCT) of
discrete-event systems that exploits the modularity of plant and specifications. Recently …

To meet the customized requirements of customers is the core orientation to achieve the
transition from production-centered manufacturing to service-centered manufacturing. As an …

ABSTRACT Finite-State Automata (FSA) are foundations for modelling, synthesis,
verification, and implementation of controllers for manufacturing systems. However, FSA are …

This paper presents an algorithm that combines modular synthesis for extended finite-state
machines (EFSM) with abstraction of variables by symbolic manipulation, in order to …

Web services play a major role in electronic businesses and allow organizations to perform
certain business activities in a distributed fashion. In some circumstances, a single service is …