Towards a Framework for Modelling Behaviours of Hybrid Systems

Issue title: Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz

Article type: Research Article

Authors: Winkowski, Józef

Affiliations: Institute of Computer Science, Polish Academy of Sciences, Ordona 21, 01-237 Warszawa, Poland. E-mail: wink@ipipan.waw.pl

Abstract: 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.

Keywords: Hybrid systems, processes, states, sequential composition, parallel composition, category, partial monoid, structure, random behaviour

Journal: Fundamenta Informaticae, vol. 80, no. 1-3, pp. 311-332, 2007