Capabilities and Equivalence of Systems and a Preview of Related Algebraic Structure
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Capabilities and Equivalence of Systems and a Preview of Related Algebraic Structure
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů