Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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ů