Multitasking Supervisory Control of Discrete-Event Systems

Authors:
Max H. Queiroz;José E. Cury;W. M. Wonham
Affiliations:
LAHP---GEMM---CEFET/SC, Florianópolis, Brazil 88020-301;DAS---CTC-Federal University of Santa Catarina, Florianópolis, Brazil 88040-900;Systems Control Group, Department of Electrical and Computer Engineering, University of Toronto, Toronto, Canada M5S 3G4
Venue:
Discrete Event Dynamic Systems
Year:
2005

Citing 5
Cited 3

On the supermal controllable sublanguage of a given language

SIAM Journal on Control and Optimization
Modeling and control of automated manufacturing systems

Modeling and control of automated manufacturing systems
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Introduction to Automata Theory, Languages, and Computation (3rd Edition)

Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Brief Mutually nonblocking supervisory control of discrete event systems

Automatica (Journal of IFAC)

Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution

Discrete Event Dynamic Systems
Multi-level hierarchical interface-based supervisory control

Automatica (Journal of IFAC)
Hybrid control structure for multi-robot formation

ICANN'10 Proceedings of the 20th international conference on Artificial neural networks: Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an approach for functionally dealing with multiple tasks in the supervisory control of discrete-event systems (DES). The colored marking generator (CMG), a special type of Moore automaton, is introduced as a model that distinguishes classes of tasks in DES. The main results of supervisory control theory are extended to this model, allowing the synthesis of minimally restrictive supervisors, which respect the safety specifications and ensure coreachability of multiple control objectives. Reversibility is also investigated as an alternative way of ensuring liveness of multiple tasks. Two examples illustrate the convenience of this approach.