Capabilities and Equivalence of Systems and a Preview of Related Algebraic Structure
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F10%3A00504395" target="_blank" >RIV/49777513:23520/10:00504395 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Capabilities and Equivalence of Systems and a Preview of Related Algebraic Structure
Popis výsledku v původním jazyce
In this paper, we propose a different approach to modeling of a system that focuses on the capability of the system to participate in interactions with its environment. Accordingly, we use a mathematical object to describe this capability. In addition, we show an equivalency (from an outer point of view) between capabilities and states. Furthermore, we more generally discuss the equivalence of systems where comparison of capabilities and bisimulation are related. Finally, we define a composite algebraicstructure and then show that capabilities of the system are a solution of a system of equations in this algebraic structure.
Název v anglickém jazyce
Capabilities and Equivalence of Systems and a Preview of Related Algebraic Structure
Popis výsledku anglicky
In this paper, we propose a different approach to modeling of a system that focuses on the capability of the system to participate in interactions with its environment. Accordingly, we use a mathematical object to describe this capability. In addition, we show an equivalency (from an outer point of view) between capabilities and states. Furthermore, we more generally discuss the equivalence of systems where comparison of capabilities and bisimulation are related. Finally, we define a composite algebraicstructure and then show that capabilities of the system are a solution of a system of equations in this algebraic structure.
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2010
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ů