The design of logic controllers for event-driven systems continue to rely largely on intuitive methods rather than on formal techniques. This approach results in a control code that requires extensive verification, is hard to maintain and modify, and may even fail at times. Supervisory control theory (SCT) provides a formal approach to logic control synthesis. In order to demonstrate the useful...

This paper presents a proposal for the implementation of the local modular supervisory control theory focused on the cost. From the approach based on the controllable languages, the paper explores the accomplishment of the theoretical model in low cost platforms, based on small-sized PLCs, micro-controllers and commercial electronic devices. A control structure is, then, proposed as the adequat...

Due to increasing system complexity, time-to-market and development costs reduction, new engineering processes are required. Model-based engineering processes are suitable candidates because they support system development by enabling the use of various model-based analysis techniques and tools. As a result, they are able to cope with complexity and have the potential to reduce time-to-market a...

In this paper, we present two different methods for the synthesis of a simplified controller using Petri Nets. The supervisory control theory presented by Ramadge and Wonham is adapted to Petri nets modeling. Uncontrollable transitions in discrete event systems are the cause of forbidden states in supervisory control. This paper concerns the problem of forbidden states in safe Petri Net. We pre...

In this paper we present a theory for decentralized supervisory control of a general class of multiprocess discrete event systems referred to as interacting discrete event systems (IDES). An IDES is a discrete event system that consists of a number of components working concurrently and possibly restricted by a well-defined interaction specification. We extend the notion of decentralized superv...

In this paper we extend the theory of supervisory control of nondeterministic discrete event systems subject to nondeterministic speci cation developed in We focus our attention on nonblocking and liveness considerations and develop algorithms for nonblocking supervisor synthesis

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

A Communicating Transaction Process (CTP) is a computational model that serves as a high level specification language for reactive embedded system components and their interactions. It consists of a network of communicating processes coordinating their behaviors via common actions and the common actions are refined as a set of guarded Message Sequence Charts (MSCs). There has been little work d...

he anticipated extensive use of flexible-manufacturing workT cells in the future has encouraged recent research efforts on the development of automatic supervisory-control methodologies. However, despite intensive research on the theoretical aspects of the control of manufacturing workcells, modeled as discrete-event systems (DES), a limited amount of research has been reported on the implement...