Zobrazeno 1 - 10
of 40
pro vyhledávání: '"reachability sets"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
E. V. Kuzmin, D. J. Chalyy
Publikováno v:
Моделирование и анализ информационных систем, Vol 17, Iss 1, Pp 52-64 (2010)
Properties of automaton counter machines are investigated. We prove that reachability sets of automaton one-counter machines are semilinear. An algorithm of construction of these semilinear reachability sets is resultexl. Besides, it is shown that re
Externí odkaz:
https://doaj.org/article/ac8a39bdc3c94f91a244f3156cd80589
Autor:
E. V. Kuzmin, D. J. Chalyy
Publikováno v:
Моделирование и анализ информационных систем, Vol 16, Iss 3, Pp 77-84 (2009)
In this paper we prove the existence of automaton 3-counter machines which have non-semilinear reachability sets.
Externí odkaz:
https://doaj.org/article/bffe0971efbb469aa292697fd4834739
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
The problem of deciding which inputs in a model influence the most the state or output is often of practical importance, especially in the cases in which the system can be over-parameterized. In this context, a designer is required to perform sensiti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3683::e43a91b3b69766a3188a4c4ab76b742f
http://hdl.handle.net/11144/4470
http://hdl.handle.net/11144/4470
Publikováno v:
CDC
The problem of deciding which inputs in a model influence the most the state or output is often of practical importance, especially in the cases in which the system can be over-parameterized. In this context, a designer is required to perform sensiti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f6ecd116d312f06b0af2a0080763d1a
https://doi.org/10.1109/cdc40024.2019.9029765
https://doi.org/10.1109/cdc40024.2019.9029765
Publikováno v:
IFAC-Papers
In this presentation we evaluate nonlinear control systems on a finite time interval. We also discuss application of the invariance features and weak invariant sets in the procedures of constructing solutions for approach problems. These problems are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5594bfc5d21369be097194d26ac715c8
https://doi.org/10.1016/j.ifacol.2018.11.442
https://doi.org/10.1016/j.ifacol.2018.11.442
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.