• Průběžná identifikace parametrů modelů vzduchotechniky 

      Autor: Šulc Jan; Vedoucí práce: Ferkl Lukáš; Oponent práce: Vyhlídal Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-09-29)
      Dizertační práce je zaměřena na vývoj, zpřesňování a využití matematických modelů proudění vzduchu v silničních tunelech, které mají komplexní strukturu (dlouhé tunely s výjezdovými a příjezdovými rampami a mnoha změnami ...
    • Validace a verifikace adaptivních systémů řízení pomocí teorie míry a lineárních maticových nerovností 

      Autor: Daniel Robert Wagner; Vedoucí práce: Henrion Didier; Oponent práce: Vyhlídal Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-09-20)
      Validace a verifikace zákon ˙u rízení z ˙ ustává na poli leteckého a kosmického prúmyslu nadále kritickým a nákladným procesem. Nejmodernejší postupy se pri identifikaci nejhorších scénár ˙u a existence riskantních trajektorií ...