-
: Set up a high-fidelity end-to-end simulator for the Drag-Free Attitude and Orbit Control System. Set up a linear modelling framework for frequency domain design and verification using linear fractional
-
mission data, including AI, analytics and digital twins; new ways to define and model systems, such as model-based system engineering; supervision of on-board autonomy featuring AI, in relation
-
security-oriented workflows. This includes designing methodologies that ensure traceability, robustness and bias mitigation in AI models, as well as creating prototype tools that demonstrate how transparent
Searches related to model checking
Enter an email to receive alerts for model-checking positions