Táto práca sa zaoberá kontrolovaním biologických systémov
modelovaných pomocou čiastočne špecifikovaných Booleovských
sietí, v ktorých niektoré Booleovské aktualizačné funkcie nie
sú známe. Takéto modely umožňujú zachytiť neistotu v bunkových
procesoch, pričom si zachovávajú jednoduchosť a vyjadrovaciu
schopnosť Booleovských sietí.

Práca rozširuje kontrolovanie Booleovských sietí na čiastočne
špecifikované modely tým, že počíta perturbácie, ktoré vedú
systém k požadovanému správaniu aj napriek neistote modelu.
Tieto perturbácie predstavujú prakticky realizovateľné zásahy,
ako sú génové vyradenia alebo nadmerné expresie génov. Namiesto
hľadania jednej minimálnej perturbácie navrhnuté metódy určujú
množiny možných perturbácií a vyhodnocujú ich robustnosť
vzhľadom na neistotu modelu.

V práci sú riešené dva problémy kontrolovania: kontrolovanie zo
zdrojového stavu do cieľového stavu a kontrolovanie fenotypu.
Pre prvý problém práca predstavuje čiastočne symbolické a
symbolické metódy, ktoré podporujú jednorazové, dočasné aj
trvalé perturbácie. Na odstránenie potreby vopred poznať
cieľový atraktor je ďalej rozvinuté kontrolovanie fenotypu, pri
ktorom stačí špecifikovať iba charakteristické vlastnosti cieľa
a ktoré funguje globálne bez ohľadu na zdrojový stav. Práca na
záver opisuje softvérové implementácie navrhnutých metód a
demonštruje ich použiteľnosť na reálnych biologických
prípadových štúdiách.