Supremal normal sublanguages of large distributed discrete-event systems

@inproceedings{Komenda2004SupremalNS,
  title={Supremal normal sublanguages of large distributed discrete-event systems},
  author={Jan Komenda and Jan H. van Schuppen},
  year={2004}
}
Coalgebraic methods provide new results and insights for modular supervisory control of discrete-event systems (DES), where the overall system is composed of subsystems that are themselves partially observed DES. It is well known that the computation of supremal normal sublanguages is computationally very difficult. The attention of this paper is focused on complex distributed systems that are composed of a large number of small subsystems that are combined in a modular fashion. Conditions are… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 10 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 14 REFERENCES

A Uniform Approach for Computing Supremal Sublanguages Arising in Supervisory Control theory. Control group report

  • T. S. Yoo, S. Lafortune, F. Lin
  • CGR 02-04 Dept. of EECS,
  • 2001
Highly Influential
4 Excerpts

Coalgebra and coinduction in discrete-event control, submitted to Discrete Event Dynamical Systems: Theory and Applications

  • J. Komenda
  • 2004
2 Excerpts

Similar Papers

Loading similar papers…