8 |
Masopust, T.,
A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata,
International Journal of Foundations of Computer Science 24 (3), 319-328, 2013
|
7 |
Komenda, J., Masopust, T., van Schuppen, J.H.,
On Conditional Decomposability,
Systems & Control Letters 61 (12), 1260-1268, 2012.
|
6 |
Masopust, T.,
A note on controllability of deterministic context-free systems,
Automatica 48(8), 458-461, 2012.
|
5 |
Jirásková, G., Masopust, T.,
On a structural property in the state complexity of projected regular languages,
Theoretical Computer Science 449, 93-105, 2012.
|
4 |
Komenda, J., Masopust, T., van Schuppen, J.H.,
Supervisory Control Synthesis of Discrete-Event Systems using a Coordination Scheme,
Automatica 48(2), 247-254, 2012
|
3 |
Komenda, J., Masopust, T., van Schuppen, J.H.,
Synthesis of Controllable and Normal Sublanguages for Discrete-Event Systems using a Coordinator,
Systems & Control Letters 60(7), 492-502, 2011
|
2
|
Csuhaj-Varjú, E., Masopust, T., Vaszil, Gy.,
Blackhole Pushdown Automata,
Fundamenta Informaticae 112(2-3), 2011, 137-156
|
1 |
Křivka, Z., Masopust, T.,
Cooperating Distributed Grammar Systems with Random Context Grammars as Components,
Acta Cybernetica 20, 269-283, 2011
|
7 |
Jirásková, G., Masopust, T.,
On the State Complexity of the Reverse of R- and J-trivial Regular Languages,
H. Jürgensen and R. Reis (Eds.),
Proc. of DCFS 2013, LNCS 8031, pp. 136-147.
Springer Berlin Heidelberg 2013.
|
6 |
Komenda, J., Masopust, T., van Schuppen J.H.
On Algorithms and Extensions of Coordination Control of Discrete-Event Systems,
A. Ramírez-Treviño, J.-J. Lesage, M. Silva (Eds.),
WODES 2012, Guadalajara, Mexico, IFAC, pp. 245-250, 2012.
|
5 |
Jirásková, G., Masopust, T.,
On Properties and State Complexity of Deterministic State-Partition Automata,
IFIP Theoretical Computer Science (TCS 2012),
J.C.M. Baeten, T. Ball, and F.S. de Boer (Eds.),
LNCS 7604, pp. 164-178. Springer, Berlin, 2012.
|
4 |
Jirásková, G., Masopust, T.,
On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs,
N. Moreira and R. Reis (Eds.),
Proc. of CIAA 2012, LNCS 7381, pp. 229-239. Springer, Berlin, 2012.
|
3 |
Boutin, O., Komenda, J., Masopust, T., Schmidt, K., van Schuppen, J.H.,
Hierarchical Control with Partial Observations: Sufficient Conditions,
Proc. of IEEE Conference on Decision and Control and European Control Conference,
Orlando, Florida, pp. 1817-1822, 2011
|
2 |
Jirásková, G., Masopust, T.,
State Complexity of Projected Languages,
M. Holzer, M. Kutrib, and G. Pighizzini (Eds.),
Proc. of DCFS 2011, LNCS 6808, pp. 198-211. Springer, Heidelberg, 2011
|
1 |
Komenda, J., Masopust, T., van Schuppen, J.H.,
Coordinated Control of Discrete Event Systems with Nonprefix-Closed Languages,
Proc. of IFAC WC 2011, pp. 6982-6987, Milano, Italy, 2011
|
4 |
Komenda, J., Masopust, T., van Schuppen J.H.,
Coordination Control of Distributed Discrete-Event Systems,
in Control of Discrete-event Systems,
C. Seatzu, M. Silva, J.H. van Schuppen (Eds.),
LNCIS 433, pp. 147-167. Springer, Berlin, 2013.
|
3 |
Komenda, J., Masopust, T., van Schuppen J.H.,
Supervisory Control of Distributed Discrete-Event Systems,
in Control of Discrete-event Systems,
C. Seatzu, M. Silva, J.H. van Schuppen (Eds.),
LNCIS 433, pp. 107-126. Springer, Berlin, 2013.
|
2 |
Masopust, T., van Schuppen J.H.,
Supervisory Control with Complete Observations,
in Control of Discrete-event Systems,
C. Seatzu, M. Silva, J.H. van Schuppen (Eds.),
LNCIS 433, pp. 45-64. Springer, Berlin, 2013.
|
1 |
Haar, S., Masopust, T.,
Languages, Decidability, and Complexity,
in Control of Discrete-event Systems,
C. Seatzu, M. Silva, J.H. van Schuppen (Eds.),
LNCIS 433, pp. 23-43. Springer, Berlin, 2013.
|