From physical modelling to compositional models of hybrid systems

Abstract

By a hybrid system we mean a discrete controller in interaction with a physical environment. This paper discusses methodologies for incorporating physically grounded models in representations of hybrid systems. To this end, we study a driver support system, an example which includes unmodelled inputs. We consider models at different levels of abstraction. First, we show that discrete models of the environment can be obtained from the continuous models without losing relevant information. We do this using an analysis of the continuous state space. Dynamic Transition Systems (DTS) are used for the modular modelling at this level of abstraction. Next, we consider models using Hybrid Transition Systems (HTS). This can be seen as a modular version of timed transition systems ailowing both differential and algebraic equations in each mode. Finally, we comment on expressivity requirements on hybrid formalisms for modelling realistic physical systems.