Formalization of Requirements for Locked-Loop Control Systems for Their Numerical Optimization
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F46747885%3A24220%2F19%3A00006098" target="_blank" >RIV/46747885:24220/19:00006098 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1007/978-3-030-12072-6" target="_blank" >https://doi.org/10.1007/978-3-030-12072-6</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-12072-6" target="_blank" >10.1007/978-3-030-12072-6</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Formalization of Requirements for Locked-Loop Control Systems for Their Numerical Optimization
Popis výsledku v původním jazyce
Methods of designing regulators for locked systems have have been studied. These methods allow you to effectively calculate the controller for a known mathematical model of a particular object. The developer can get positive such calculations even without sufficiently deep knowledge of the theory of regulation. The greatest difficulty lies in the fact that the requirements for the optimization result, formulated in a technical language understandable to the developer, are transformed into formal requirements that can be taken over by the software that performs these calculations. In this article, these requirements are formulated and systematically set out.
Název v anglickém jazyce
Formalization of Requirements for Locked-Loop Control Systems for Their Numerical Optimization
Popis výsledku anglicky
Methods of designing regulators for locked systems have have been studied. These methods allow you to effectively calculate the controller for a known mathematical model of a particular object. The developer can get positive such calculations even without sufficiently deep knowledge of the theory of regulation. The greatest difficulty lies in the fact that the requirements for the optimization result, formulated in a technical language understandable to the developer, are transformed into formal requirements that can be taken over by the software that performs these calculations. In this article, these requirements are formulated and systematically set out.
Klasifikace
Druh
C - Kapitola v odborné knize
CEP obor
—
OECD FORD obor
20205 - Automation and control systems
Návaznosti výsledku
Projekt
—
Návaznosti
R - Projekt Ramcoveho programu EK
Ostatní
Rok uplatnění
2019
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název knihy nebo sborníku
Recent Research in Control Engineering and Decision Making
ISBN
978-3-030-12071-9
Počet stran výsledku
13
Strana od-do
353-365
Počet stran knihy
771
Název nakladatele
Springer Nature Switzerland AG 2019
Místo vydání
—
Kód UT WoS kapitoly
—