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áš

  Článek ve sborníku

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

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

  KOMENDA Jan MASOPUST Tomáš SCHUPPEN Jan H. van

  Článek v odborném periodiku

  Automatica, rok: 2012, ročník: 48, vydání: 2, DOI

2011

• Blackhole Pushdown Automata

  CSUHAJ-VARJÚ Erzsebet MASOPUST Tomáš VASZIL Gyorgy

  Článek v odborném periodiku

  Fundamenta Informaticae, rok: 2011, ročník: 112, vydání: 2-3, DOI

• Complexity in Union-Free Regular Languages

  JIRÁSKOVÁ Galina MASOPUST Tomáš

  Článek v odborném periodiku

  International Journal of Foundations of Computer Science, rok: 2011, ročník: 22, vydání: 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.

  Článek v odborném periodiku

  European Journal of Control, rok: 2011, ročník: 17, vydání: 5-6, DOI

• Cooperating Distributed Grammar Systems with Random Context Grammars as Components

  KŘIVKA Zbyněk MASOPUST Tomáš

  Článek v odborném periodiku

  Acta Cybernetica, rok: 2011, ročník: 20, vydání: 2

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

  KOMENDA Jan MASOPUST Tomáš VAN SCHUPPEN Jan H.

  Článek ve sborníku

  IFAC World Congress 2011, rok: 2011

• Hierarchical Control with Partial Observations: Sufficient Conditions

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

  Článek ve sborníku

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

• State Complexity of Projected Languages

  JIRÁSKOVÁ Galina MASOPUST Tomáš

  Článek ve sborníku

  DCFS 2011, LNCS 6808, rok: 2011

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

  KOMENDA Jan MASOPUST Tomáš VAN SCHUPPEN Jan H.

  Článek v odborném periodiku

  Systems & Control Letters, rok: 2011, ročník: 60, vydání: 7