Formal Methods for Robotic System Control Software

  title={Formal Methods for Robotic System Control Software},
  author={Yanni Kouskoulas and Andr{\'e} Platzer and Peter Kazanzides},
Motivation In many instances, programs are concerned only with processing or manipulating data and displaying them to a user, who becomes the agent that ends up taking physical action. However, in some instances, we create software to control other analog devices or machinery directly. We call these hybrid systems because they exhibit a mixture of discrete behavior from the software and continuous behavior from the analog physics of the device being controlled. From an engineering perspective… CONTINUE READING

Similar Papers

Loading similar papers…