Formal modeling and synthesis of event-transferring communication among decentralized supervisors for discrete-event systems

@article{Mannani2009FormalMA,
  title={Formal modeling and synthesis of event-transferring communication among decentralized supervisors for discrete-event systems},
  author={Amin Mannani and Peyman Gohari},
  journal={2009 IEEE International Conference on Systems, Man and Cybernetics},
  year={2009},
  pages={3237-3242}
}
This work proposes to model and synthesize Event-transferring communication among decentralized supervisors for a Discrete-Event System (DES) within the framework of Distributed Supervised Discrete-Event Systems (DSDESs), which was introduced by the authors. This relies on the Polynomial Dynamical System (PDS) representation of DSDESs, which reveals the informational dependencies among supervisors. To serve these dependencies, communication between every two supervisors is modeled by a… CONTINUE READING

References

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

Finite Fields, 1st ed

  • R. Lidl, H. Niederreiter
  • 1997
1 Excerpt

Symbolic systems: Theory, computation, and applications

  • R. Germundsson
  • Ph.D. dissertation, Univ. of Linköping, S- 581 83…
  • 1995
1 Excerpt

Polynomial dynamical systems over finite fields

  • M. L. Borgne, A. Benveniste, P. L. Guernic
  • Algebraic Computing in Control. Heidelberg…
  • 1991
2 Excerpts

Similar Papers

Loading similar papers…