Advancing Predictive Runtime Verification through Multi-Model Approaches and Process Mining

In this section
Advancing Predictive Runtime Verification through Multi-Model Approaches and Process Mining
-

This talk explores the integration of Predictive Runtime Verification (PRV) and Process Mining techniques to enhance the reliability and efficiency of autonomous systems. We begin by presenting a multi-model PRV approach that addresses the complexity of systems composed of multiple components. This method improves traditional PRV by utilizing individual component models, enabling more accurate predictions and timely interventions. Next, we illustrate how Process Mining can be used to generate detailed models from execution logs, providing a dynamic foundation for PRV. By applying these techniques to the Curiosity rover, we show how the rover's navigation and decision-making processes can be monitored and verified in real-time. The talk includes practical examples and results from simulations, highlighting how the combination of PRV and Process Mining can predict and prevent deviations from expected behavior, ultimately ensuring the safety and success of autonomous missions.

Speaker
Angelo Ferrando
Venue
Meston G05

Add to Calendar

Add this event to your calendar application

Browse by Month

2024

  1. Jan There are no items to show for January 2024
  2. Feb There are no items to show for February 2024
  3. Mar There are no items to show for March 2024
  4. Apr There are no items to show for April 2024
  5. May There are no items to show for May 2024
  6. Jun There are no items to show for June 2024
  7. Jul There are no items to show for July 2024
  8. Aug There are no items to show for August 2024
  9. Sep There are no items to show for September 2024
  10. Oct There are no items to show for October 2024
  11. Nov There are no items to show for November 2024
  12. Dec

2025

  1. Jan
  2. Feb
  3. Mar
  4. Apr
  5. May
  6. Jun There are no items to show for June 2025
  7. Jul There are no items to show for July 2025
  8. Aug
  9. Sep There are no items to show for September 2025
  10. Oct There are no items to show for October 2025
  11. Nov There are no items to show for November 2025
  12. Dec There are no items to show for December 2025

Search Events