Towards a HOL Framework for the Deductive Analysis of Hybrid Control Systems


This paper describes a higher-order logic (HOL) based approach to the specification and verification of hybrid control systems. Control programs written in subsets of the IEC 61131-3 programming languages ST (Structured Text), FBD (Function Block Diagram) and SFC (Sequential Function Charts) are translated to automata in HOL. Hybrid systems are modelled as… (More)


2 Figures and Tables

Slides referencing similar topics