| Abstrakt: | Táto diplomová práca sa venuje návrhu a implementácii algoritmu pre overovanie správnosti návrhu siete senzorov pre monitorovanie roviny a jednoduchých mnohouholníkov použitím rotačných a lúčových senzorov. Vytvárame formálny popis použitého modelu, ktorý pre účely automatického overovania rozširujeme o nové pojmy (význačný bod, sektor, oblasť, ... ) podrobnejšie popisujúce konfiguráciu systému. Definujeme pojmy, ktoré nám umožňujú sledovať dynamické správanie systému a vyhodnotiť, v ktorých oblastiach sa môže votrelec nachádzať a v ktorých nie.
|
|---|