Modelling and Analysing a Railroad Crossing in a Modular Way

Abstract

One problem of modelling hybrid systems with existing notations of hybrid automata is that there is no modular structure in the model. We introduce an extended modelling notation which allows the modelling of a system as a hierarchical structure of modules. The modules are capable of communicating through the elements of an explicitly defined interface. The… (More)

Topics

8 Figures and Tables

Slides referencing similar topics