• 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í ...