| 2013 |
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,
pdf,
doi:10.1142/S0129054113500068
|
| 2012 |
Komenda, J., Masopust, T., van Schuppen, J.H.,
On Conditional Decomposability,
Systems & Control Letters 61 (12), 1260-1268, 2012,
pdf,
doi:10.1016/j.sysconle.2012.07.013
|
|
Masopust, T.,
A note on controllability of deterministic context-free systems,
Automatica 48 (8), 1934-1937, 2012,
pdf,
doi:10.1016/j.automatica.2012.06.004
|
|
Jirásková, G., Masopust, T.,
On a structural property in the state complexity of projected regular languages,
Theoretical Computer Science 449, 93-105, 2012,
pdf,
doi:10.1016/j.tcs.2012.04.009
|
|
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,
pdf,
doi:10.1016/j.automatica.2011.07.008
|
|
Dassow, J., Masopust, T.,
On restricted context-free grammars,
Journal of Computer and System Sciences 78 (1), 293-304, 2012,
pdf,
doi:10.1016/j.jcss.2011.05.008
|
| 2011 |
Jirásková, G., Masopust, T.,
Complexity in Union-Free Regular Languages,
International Journal of Foundations of Computer Science 22 (7), 1639-1653, 2011,
pdf,
doi:10.1142/S0129054111008933
|
|
van Schuppen, J. H., Boutin, O., Kempker, P. L., Komenda, J., Masopust, T., Pambakian, N., Ran, A. C. M.,
Control of Distributed Systems: Tutorial and Overview,
European Journal of Control 17 (5-6), 579-602, 2011,
pdf,
doi:10.3166/ejc.17.579-602
|
|
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,
pdf,
doi:10.1016/j.sysconle.2011.04.005
|
|
Csuhaj-Varjú, E., Masopust, T., Vaszil, Gy.,
Blackhole Pushdown Automata,
Fundamenta Informaticae 112 (2-3), 137-156, 2011,
pdf,
doi:10.3233/FI-2011-584
|
|
Křivka, Z., Masopust, T.,
Cooperating Distributed Grammar Systems with Random Context Grammars as Components,
Acta Cybernetica 20 (2), 269-283, 2011
pdf
|
| 2010 |
Masopust, T.,
Regulated nondeterminism in pushdown automata: the non-regular case,
Fundamenta Informaticae 104, 111-124, 2010,
pdf,
doi:10.3233/FI-2010-338
|
|
Goldefus, F., Masopust, T., Meduna, A.,
Left-forbidding cooperating distributed grammar systems,
Theoretical Computer Science 411, 3661-3667, 2010,
pdf,
doi:10.1016/j.tcs.2010.06.010
|
|
Masopust T.,
Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals,
Fundamenta Informaticae 99 (4), 473-480, 2010,
pdf,
doi:10.3233/FI-2010-258
|
|
Masopust T.,
Simple restriction in context-free rewriting,
Journal of Computer and System Sciences 76 (8), 837-846, 2010,
pdf,
doi:10.1016/j.jcss.2010.04.001
|
| 2009 |
Csuhaj-Varjú, E., Masopust, T., Vaszil, G.,
Cooperating Distributed Grammar Systems with Permitting Grammars as Components,
Romanian Journal of Information Science and Technology 12 (2), 175-189, 2009,
pdf
|
|
Masopust, T., Meduna, A.,
On context-free rewriting with a simple restriction and its computational completeness,
RAIRO - Theoretical Informatics and Applications 43 (2), 365-378, 2009,
pdf,
doi:10.1051/ita/2009002
|
|
Masopust, T., Meduna, A.,
On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops,
Acta Cybernetica 19 (2), 537-552, 2009,
pdf
|
|
Masopust, T.,
On the Descriptional Complexity of Scattered Context Grammars,
Theoretical Computer Science 410 (1), 108-112, 2009,
pdf,
doi:10.1016/j.tcs.2008.10.017
|
|
Masopust, T.,
On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components,
International Journal of Foundations of Computer Science 20 (2), 331-340, 2009,
pdf,
doi:10.1142/S0129054109006589
|
| 2008 |
Masopust, T., Meduna, A., Šimáček, J.,
Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars,
Acta Cybernetica 18 (4), 783-793, 2008,
pdf
|
|
Masopust, T., Meduna, A.,
On Descriptional Complexity of Partially Parallel Grammars,
Fundamenta Informaticae 87 (3), 407-415, 2008,
pdf
|
|
Masopust, T., Techet, J.,
Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof,
Discrete Mathematics and Theoretical Computer Science 10 (2), 39-46, 2008,
pdf
|
|
Masopust, T.,
Descriptional Complexity of Multi-Parallel Grammars,
Information Processing Letters 108 (2), 68-70, 2008,
pdf,
doi:10.1016/j.ipl.2008.04.002
|
| 2007 |
Masopust, T., Meduna, A.,
Descriptional complexity of semi-conditional grammars,
Information Processing Letters 104 (1), 29-31, 2007,
pdf,
doi:10.1016/j.ipl.2007.05.002
|
|
Meduna, A., Masopust, T.,
Self-Regulating Finite Automata,
Acta Cybernetica 18 (1), 135-153, 2007,
pdf
|
| 2013 |
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,
pdf.
The original publication is available at
www.springerlink.com.
|
|
Czerwiński, W., Martens, W., Masopust, T.,
Efficient Separability of Regular Languages by Subsequences and Suffixes,
F. V. Fomin, R. Freivalds, M. Kwiatkowska, D. Peleg (Eds.),
Proc. of ICALP 2013, LNCS 7966, pp. 150-161. Springer Berlin Heidelberg 2013,
pdf.
The original publication is available at
www.springerlink.com.
|
| 2012 |
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,
pdf.
The original publication is available at
www.ifac-papersonline.net.
(Note: Proposition 17 is not correct.)
|
|
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,
IFIP International Federation for Information Processing (2012),
pdf.
The original publication is available at
www.springerlink.com.
|
|
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,
pdf.
The original publication is available at
www.springerlink.com.
|
| 2011 |
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,
pdf,
doi:10.1109/CDC.2011.6160686
|
|
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,
pdf.
The original publication is available at
www.springerlink.com.
|
|
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,
pdf,
doi:10.3182/20110828-6-IT-1002.00173
|
| 2010 |
Csuhaj-Varjú, E., Masopust, T., Vaszil, Gy.,
Blackhole State-Controlled Regulated Pushdown Automata,
Proc. of Second Workshop on Non-Classical Models for Automata and Applications (NCMA 2010),
Bordihn, H. and Freund, R. and Hinze, T. and Holzer, M. and Kutrib, M. and Otto, F. (eds.),
books@ocg.at, band 263, Österreichische Computer Gesellschaft, Wien, 45-56, 2010,
pdf
|
|
Jirásková, G., Masopust, T.,
Complexity in Union-Free Regular Languages,
Proc. of Developments in Language Theory (DLT 2010),
Gao, Y., Lu, H., Seki, S., Yu, S.,
LNCS 6224, Springer, Berlin, 255-266, 2010,
pdf.
The original publication is available at
www.springerlink.com.
|
|
Komenda, J., Masopust, T., van Schuppen, J. H.,
Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for
Discrete-Event Systems,
Proc. of Workshop on Discrete Event Systems (WODES 2010),
Raisch, J., Giua, A., Lafortune, S., Moor, Th.,
IFAC, Laxenburg, 436-441, 2010,
pdf,
doi:10.3182/20100830-3-DE-4013.00070
|
|
Komenda, J., Masopust, T.,
Supremal Normal Sublanguages in Hierarchical Supervisory Control,
Proc. of Workshop on Discrete Event Systems (WODES 2010),
Raisch, J., Giua, A., Lafortune, S., Moor, Th.,
IFAC, Laxenbourg, 121-126, 2010,
pdf,
doi:10.3182/20100830-3-DE-4013.00020
|
| 2009 |
Křivka, Z., Masopust, T.,
A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking,
Proc. of 11th Italian Conference on Theoretical Computer Science, Cremona, IT, p. 129-135, 2009,
pdf
|
|
Masopust, T., Meduna, A.,
Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement,
Proc. of 11th International Workshop on Descriptional Complexity of Formal Systems (DCFS 2009),
Magdeburg, Germany, p. 235-245, 2009,
pdf
|
|
Masopust, T.,
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by
Context Conditions,
Proc. of LATA 2009, LNCS 5457, Springer, Berlin, p. 554-565, 2009,
pdf.
The original publication is available at
www.springerlink.com.
|
|
Masopust, T.,
Regulated Nondeterminism in PDAs: The Non-Regular Case,
Proc. of Workshop on Non-Classical Models of Automata and Applications (NCMA 2009),
Wroclaw, Poland, ocg, p. 181-194, 2009,
pdf
|
| 2008 |
Masopust, T., Meduna, A.,
On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops,
Proc. of 12th International Conference on Automata and Formal Languages (AFL 2008),
Balatonfured, Hungary, p. 325-336, 2008,
pdf
|
| 2007 |
Masopust, T., Meduna, A.,
Descriptional Complexity of Generalized Forbidding Grammars,
Proc. of 9th International Workshop on Descriptional Complexity of Formal Systems,
High Tatras, Slovakia, p. 170-177, 2007,
pdf
|
|
Masopust, T., Meduna, A.,
Descriptional Complexity of Grammars Regulated by Context Conditions,
Pre-proc. of LATA 2007.
Reports of the Research Group on Mathematical Linguistics 35/07,
Universitat Rovira i Virgili, Tarragona, Spain, p. 403-411, 2007,
pdf
|
|
Masopust, T.,
Scattered Context Grammars Can Generate the Powers of 2,
Proc. of the 13th Conference STUDENT EEICT 2007, Volume 4,
Brno, Czech Republic, p. 401-404, 2007,
pdf
|
 |
Komenda, J., Masopust, T., van Schuppen J.H.,
Coordination Control of Discrete-Event Systems Revisited,
accepted for publication,
pdf
|
|
Masopust, T.,
A Note on Undecidability of Observation Consistency for Non-Regular Languages,
unpublished (the problem formulated there still open for regular languages),
pdf,
|
|
Jirásková, G., Masopust, T.,
Properties and Complexity of Deterministic State-Partition Automata,
full version of the IFIP TCS 2012 conference paper,
pdf,
posted here 24.10.2012.
|
|
Komenda, J., Masopust, T.,
Supervisory Control of Discrete-Event Systems,
a brief intro,
pdf,
posted here 27.6.2013.
|
|
Komenda, J., Masopust, T.,
Coordination Control of Distributed Discrete-Event Systems,
a brief intro,
pdf,
posted here 27.6.2013.
|
|
Masopust, T., Ricker, L.,
Another Approach to Conditional Decomposability for Discrete-Event Systems,
unpublished, 2012, pdf,
posted here 5.7.2013.
|
|
Komenda, J., Masopust, T.,
A Bridge between Decentralized and Coordination Control,
to appear in the 51st Annual Allerton Conference on Communication, Control, and Computing,
pdf,
posted here 3.9.2013.
|
|
Komenda, J., Masopust, T., van Schuppen, J.H.,
Multilevel Coordination Control of Modular DES,
to appear in the 52nd IEEE Conference on Decision and Control (CDC),
pdf,
posted here 3.9.2013.
|
