Towards a Framework for Modelling Behaviours of Hybrid Systems
Józef Winkowski · Fundamenta Informaticae · 2007
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global time independent way and can possibly be obtained by composing sequentially and in parallel other processes.