Project Abstract

This project examines the relationship between a cat and mouse within cyber-physical systems through modelling simulation and formal verification. Be an objective of this project is to analyse whether the cat is able to catch the mouse before it reaches the destination if at Time TA mouse moves at a speed of Vm towards a the destination in the wall distance D away, while a cat is later released from the same start position chasing the mouse at speed Vc. A mathematical model will be used for simulating these pursuit under different variable parameters such as speed distance and time delay coded in Python. The KeYmaera X tool has been implemented to verify the modeled system behaviors against required properties like catching constraints using techniques like model checking. An analysis has been made on how change in parameters influences the outcome with the help of computational modeling, to analyze this classical pursuit problem in the context of cyber-physical system.

Keywords: , ,

 Conference Details

Session: Presentation Stream 30 at Presentation Slot 1

Location: GH014 at Wednesday 8th 13:30 – 17:00

Markers: Sofya Lyakhova, Hoang Nga Nguyen

Course: MSc Advanced Computer Science, Masters PG

Future Plans: I’m looking for an industry placement