Scientific Contribution

This project is focused on provably correct human cyber physical systems. Examples of which are semiautonomous vehicles, robotics surgery, etc.

We intend to design an advisory controller that allows a correct and easy switch between the human agent and the autonomous agent that insures safety and other properties.

Controller Overview
Update (admins only)