The supervisory control of discrete event systems provides a framework for control of eventdriven systems. Applications of supervisory control theory include protocol design for communication processes, control logic synthesis in manufacturing systems, and collision avoidance in human-computer interaction systems. When designing a system at a certain level of abstraction, lower level details of...

Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...

Within the framework of Supervisory Control Theory, synthesis algorithms enable automatic generation of control rules from behavioural models of the process to be controlled and of goals to be achieved. This paper talks about a pragmatic use of these algorithms within an automation engineering context and focuses on two key issues: process and goals modelling and supervisory controller implemen...

This paper describes an object-oriented simulation approach for the design of a flexible manufacturing system that allows the implementation of control logic during the system design phase. The object-oriented design approach is built around the formal theory of supervisory control based on Finite Automata. The formalism is used to capture inter-object relationships that are difficult to identi...

In the domain of Automated Manufacturing Systems (AMS), Supervisory Control Theory (SCT) is a general modelbased framework, which contributes to the automated development of control systems. Although, SCT delivers important theoretical insights to deal with controllers design, its use in the industry is still weak, because of the discrepancy among its abstract controllers and their physical imp...

A brief introduction to the main ideas in Autonomous Control Systems is rst given and certain important issues in modeling, analysis and design are discussed. Control systems with high degree of autonomy should perform well under signi cant uncertainties in the system and environment for extended periods of time, and they must be able to compensate for certain system failures without external i...

Control of discrete-event systems with partial observations is treated by concepts and results of coalgebra and coinduction. Coalgebra is part of abstract algebra and enables a generalization of the computer science concept of bisimulation. It can be applied to automata theory and then provides a powerful algebraic tool to treat problems of supervisory control. A framework for control of discre...