T
Tomáš Masopust
Researcher at Palacký University, Olomouc
Publications - 137
Citations - 1246
Tomáš Masopust is an academic researcher from Palacký University, Olomouc. The author has contributed to research in topics: Supervisory control & Context-sensitive grammar. The author has an hindex of 17, co-authored 129 publications receiving 1090 citations. Previous affiliations of Tomáš Masopust include Brno University of Technology & Hungarian Academy of Sciences.
Papers
More filters
Posted Content
Maximally Permissive Coordination Supervisory Control -- Towards Necessary and Sufficient Conditions
TL;DR: The coordination control framework for discrete-event systems with both complete and partial observation is developed and a new weaker sufficient condition for the computation of the supremal conditionally controllable and conditionally normal sublanguage is presented.
Journal ArticleDOI
Conditions for Hierarchical Supervisory Control under Partial Observation
TL;DR: A new condition -- modified observation consistency -- is suggested and it is shown that under this condition, the supremal normal sublanguages are preserved between the levels, while the supremals relatively observable high-level sublanguage is at least as good as the supremAL relatively observable low- level sublanguage.
Journal Article
Two power-decreasing derivation restrictions in generalized scattered context grammars
TL;DR: The generalized scattered context grammars as discussed by the authors are based upon sequences of productions whose left-hand sides are formed by nonterminal strings, not just single nonterminals, and their derivations over sentential forms containing no more than k occurrences of non-terminals.
Posted Content
Combined Top-down and Bottom-up Approach to Multilevel Supervisory Control
TL;DR: It is shown that, for prefix-closed languages, a posteriori supervisors computed in the bottom-up manner do not alter maximal permissiveness within the three-level coordination control architecture, that is, the supremal three- level conditionally-controllable and conditionally -normal language can always be computed in a distributed way using multilevel coordination.
Journal ArticleDOI
Automatic Generation of Optimal Reductions of Distributions
TL;DR: In this paper, a reduction of a source distribution is defined as a collection of smaller sized distributions that are collectively equivalent to the source distribution with respect to the property of decomposability.