Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    A CSP Model for Hybrid Automata

    3rd BCS-FACS Northern Formal Methods Workshop

    Ilkley, UK. 14th - 15th September 1998


    P. Amthor


    This contribution aims to combine hybrid automata with CSP establishing a connection between the elements of hybrid automata and CSP processes using an approach for the decomposition of hybrid systems.

    As a result we obtain a transformation from hybrid automata into CSP processes, written in Hoare-CSP in the untimed parts and in real-time CSP or HCSP in the timed parts.

    These processes provide a basis to build up analysis mechanisms like animation and testing, converging in tool support for the specification, transformation, animation, implementation and test of hybrid systems.


    PDF filePDF Version of this Paper (715kb)