Hybrid Petri Nets for Intelligent House and Its Environment Control

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F09%3APU83547" target="_blank" >RIV/00216305:26220/09:PU83547 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Hybrid Petri Nets for Intelligent House and Its Environment Control
Popis výsledku v původním jazyce
This work concerns with intelligent house and its environment control using hybrid Petri nets. Design of a model for verification and Petri net research using a programmable logic controller is described here. The model is executed on a microcontroller and is simulated together with interactions from the environment Created hybrid Petri net is divided into multiple subsystems and synchronized by one subsystem. Petri net design is made on a PC using program Sketcher where we can create, verify and simulate designed nets.
Název v anglickém jazyce
Hybrid Petri Nets for Intelligent House and Its Environment Control
Popis výsledku anglicky
This work concerns with intelligent house and its environment control using hybrid Petri nets. Design of a model for verification and Petri net research using a programmable logic controller is described here. The model is executed on a microcontroller and is simulated together with interactions from the environment Created hybrid Petri net is divided into multiple subsystems and synchronized by one subsystem. Petri net design is made on a PC using program Sketcher where we can create, verify and simulate designed nets.

Projekt
<a href="/cs/project/GA102%2F09%2F1680" target="_blank" >GA102/09/1680: Evoluční návrh řídicích algoritmů</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2009
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ů

Podobné výsledky(10)