Sciweavers

FUIN
2007
91views more  FUIN 2007»
13 years 4 months ago
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 tim...
Józef Winkowski
FUIN
2008
93views more  FUIN 2008»
13 years 4 months ago
An Algebraic Framework for Defining Random Concurrent Behaviours
Abstract. The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called proces...
Józef Winkowski