Jun 18, 2015 · We also show that a natural formulation of the parameterized supervisor synthesis problem is undecidable for a fixed non-blocking generator ...
Abstract—It is shown that the problem whether an arbitrary regular language has a non-empty decomposable sublanguage with respect to a fixed distribution is ...
Oct 14, 2018 · We also show that a natural formulation of the parameterized supervisor synthesis problem is undecidable for a fixed non-blocking generator ...
TL;DR: A formal design framework for cooperative multi-robot systems through combining a top-down mission planning with a bottom-up motion planning that can ...
Liyong Lin, Alin Stefanescu , Rong Su : On Distributed and Parameterized Supervisor Synthesis Problems. IEEE Trans. Autom. Control. 61(3): 777-782 (2016).
No information is available for this page. · Learn why
This thesis studies the decentralized and parameterized supervisor synthesis problems in the Ramadge-Wonham paradigm. We obtain a characterization of the ...
On distributed and parameterized supervisor synthesis problems. L Lin, A Stefanescu, R Su. IEEE Transactions on Automatic Control 61 (3), 777-782, 2015. 18 ...
supervisor Sk observes all of the behavior of Gk. The corresponding supervisor synthesis problem is henceforth called the distributed supervisor synthesis ...
Feb 13, 2014 · We study the synthesis problem for distributed architectures with a parametric number of finite-state components.