Simulink

VeTSS - Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP (Oct 2017 - March 2018)

A UK National Cyber Security Centre (NCSC) funded project and we have developed a theoretical reasoning framework for discrete-time blocks of control law diagrams.

VeTSS - Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP (Oct 2017 - March 2018)

Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP

This report is a summary of our work for the VeTSS funded project ?Mechanised Assume-Guarantee Reasoning for Control Law Diagrams via …

<ins>Kangfeng Ye</ins>, Simon David Foster, JAMES Charles Paul Woodcock