The increasing interest in spacecraft autonomy raises the need for a trustworthy approach to perform Verification & Validation. In particular, vision-based navigation algorithms have established ...

Controller tuning fall and harmonic external disturbances are big problems in industrial automation and control systems. One of the indicators that represents the problems is the presence of linear ...