Using Formal Concept Analysis for Control in Cyber-Physical Systems
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F70883521%3A28140%2F14%3A43872120" target="_blank" >RIV/70883521:28140/14:43872120 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.sciencedirect.com/science/article/pii/S1877705814003956" target="_blank" >http://www.sciencedirect.com/science/article/pii/S1877705814003956</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.proeng.2014.03.149" target="_blank" >10.1016/j.proeng.2014.03.149</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Using Formal Concept Analysis for Control in Cyber-Physical Systems
Popis výsledku v původním jazyce
Cyber-Physical Systems (CPS) involve communication, computation, sensing, and actuating through heterogonous physical devices and computational components. A major task in artificial intelligence concerns the automatic identification of the system behavior. Following Formal Concept Analysis (FCA) approaches, we derive behavioural specifications from structural and information input by the user in the context of the intelligent control of physical systems. We will show in the present paper how concepts and techniques from the theory of Formal Concept Analysis help solve this task in the case of the intelligent control of engineering systems.
Název v anglickém jazyce
Using Formal Concept Analysis for Control in Cyber-Physical Systems
Popis výsledku anglicky
Cyber-Physical Systems (CPS) involve communication, computation, sensing, and actuating through heterogonous physical devices and computational components. A major task in artificial intelligence concerns the automatic identification of the system behavior. Following Formal Concept Analysis (FCA) approaches, we derive behavioural specifications from structural and information input by the user in the context of the intelligent control of physical systems. We will show in the present paper how concepts and techniques from the theory of Formal Concept Analysis help solve this task in the case of the intelligent control of engineering systems.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BC - Teorie a systémy řízení
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju
Ostatní
Rok uplatnění
2014
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 statě ve sborníku
Procedia Engineering
ISBN
—
ISSN
1877-7058
e-ISSN
—
Počet stran výsledku
5
Strana od-do
1518-1522
Název nakladatele
Elsevier BV
Místo vydání
Amsterdam
Místo konání akce
Zadar
Datum konání akce
23. 10. 2013
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000335859300198