Towards a Framework for Modelling Behaviours of Hybrid Systems

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.

• Type: Journal
• Year: 2007
• Where: FUIN
• Authors: Józef Winkowski
• Keywords: FUIN 2007, Hybrid Systems, Possible Runs, Time Independent Way