An example of using the in-built project page.
Safe Aviation Autonomy with Learning-enabled Components in the Loop
development of safe, trustworthy, and robust autonomous systems with applications to commerical aviation.
Stochastic Analysis and Design of Systems
A case study in using the stochastic hybrid system model for analysis and design of the thermal management system of a prototypical aircraft.
Synthesis of Communication/Computation Networks