New Results on Testing Modularity of Local Supervisors using Abstractions

  title={New Results on Testing Modularity of Local Supervisors using Abstractions},
  author={Patr{\'i}cia Nascimento Pena and Jos{\'e} Eduardo Ribeiro Cury and St{\'e}phane Lafortune},
  journal={2006 IEEE Conference on Emerging Technologies and Factory Automation},
This paper presents a variation of the methodology, established in a previous paper, to test a modular system for nonconflict using abstractions of its supervisors. In this work, information about the model and control structure of the system are used to derive a solution where some of the conditions established before are not required. The local modular approach is used to design the supervisors and supervisor reduction techniques are also used to help defining the set of events that are kept… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
7 Citations
28 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 28 references

On the Computation of Natural Observers in Discrete-Event Systems

  • L. Feng
  • Technical report,
  • 2006
Highly Influential
4 Excerpts

Notes on Control of Discrete-Event Systems

  • W. Wonham
  • Dept. of Electrical & Computer Engineering…
  • 2005
2 Excerpts

Controle Supervisório Modular e Multitarefa de Sistemas Compostos

  • M. de Queiroz
  • PhD thesis, Universidade Federal de Santa…
  • 2004
1 Excerpt

Similar Papers

Loading similar papers…