Zobrazeno 1 - 10
of 176
pro vyhledávání: '"the synthesis of systems"'
Publikováno v:
Wall Street Transcript. 11/1/2010, Vol. 186 Issue 9, p1-5. 5p. 1 Black and White Photograph.
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.
Publikováno v:
Industrial Environment. May2012, Vol. 23 Issue 5, p4-6. 3p.
Publikováno v:
Coal Age. Oct2008, Vol. 113 Issue 10, p38-41. 3p. 1 Color Photograph, 1 Diagram.
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:
I. M. Zadorozhnyaya, N. O. Zadorozhniy
Publikováno v:
Elektrotehnìka ta Elektroenergetika, Vol 0, Iss 2, Pp 54-58 (2014)
Розглянуто задачу синтезу систем автоматичного управління електроприводами з пружними зв’язками. Авторами вирішується актуальна пра
Externí odkaz:
https://doaj.org/article/9f718f8d8e4a44b6b749c9eb3e1a8b56
Autor:
Lenzner, Robert
Publikováno v:
Forbes.com. 3/31/2011, p34-34. 1p.
Publikováno v:
Worldwide Energy. Feb2009, Vol. 20 Issue 2, p4-5. 2p.
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.
Publikováno v:
Automatica, 139
We propose a counterexample-guided inductive synthesis framework for the formal synthesis of closed-form sampled-data controllers for nonlinear systems to meet STL specifications over finite-time trajectories. Rather than stating the STL specificatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b53f28a5cb3a8761c77fb193d5be16fe
http://arxiv.org/abs/2006.04260
http://arxiv.org/abs/2006.04260