doc. RNDr. Tomáš Masopust, Ph.D., DSc.

2012

• On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs

  JIRÁSKOVÁ Galina MASOPUST Tomáš

  Article in Proceedings

  17th International Conference on Implementation and Application of Automata (CIAA 2012), year: 2012

• Supervisory Control Synthesis of Discrete-Event Systems using a Coordination Scheme

  KOMENDA Jan MASOPUST Tomáš SCHUPPEN Jan H. van

  Article in Periodical

  Automatica, year: 2012, volume: 48, edition: 2, DOI

2011

• Blackhole Pushdown Automata

  CSUHAJ-VARJÚ Erzsebet MASOPUST Tomáš VASZIL Gyorgy

  Article in Periodical

  Fundamenta Informaticae, year: 2011, volume: 112, edition: 2-3, DOI

• Complexity in Union-Free Regular Languages

  JIRÁSKOVÁ Galina MASOPUST Tomáš

  Article in Periodical

  International Journal of Foundations of Computer Science, year: 2011, volume: 22, edition: 7, DOI

• Control of Distributed Systems: Tutorial and Overview

  BOUTIN Olivier KOMENDA Jan MASOPUST Tomáš PAMBAKIAN Nicola VAN SCHUPPEN Jan H. KEMPKER Pia L. RAN André C. M.

  Article in Periodical

  European Journal of Control, year: 2011, volume: 17, edition: 5-6, DOI

• Cooperating Distributed Grammar Systems with Random Context Grammars as Components

  KŘIVKA Zbyněk MASOPUST Tomáš

  Article in Periodical

  Acta Cybernetica, year: 2011, volume: 20, edition: 2

• Coordinated Control of Discrete Event Systems with Nonprefix-Closed Languages

  KOMENDA Jan MASOPUST Tomáš VAN SCHUPPEN Jan H.

  Article in Proceedings

  IFAC World Congress 2011, year: 2011

• Hierarchical Control with Partial Observations: Sufficient Conditions

  OLIVIER Boutin KOMENDA Jan MASOPUST Tomáš KLAUS Schmidt VAN SCHUPPEN Jan H.

  Article in Proceedings

  50th IEEE Conference on Decision and Control and European Control Conference, year: 2011

• State Complexity of Projected Languages

  JIRÁSKOVÁ Galina MASOPUST Tomáš

  Article in Proceedings

  DCFS 2011, LNCS 6808, year: 2011

• Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator

  KOMENDA Jan MASOPUST Tomáš VAN SCHUPPEN Jan H.

  Article in Periodical

  Systems & Control Letters, year: 2011, volume: 60, edition: 7