powered by:
MagicWare, s.r.o.

Distributed Stochastic Hybrid Systems

Authors:Bujorianu Manuela, University of Cambridge, United Kingdom
Bujorianu Marius, University of Kent, United Kingdom
Maharaj Savi, University of Stirling, United Kingdom
Topic:1.4 Stochastic Systems
Session:Hybrid Stochastic Systems
Keywords: distributed systems, stochastic hybrid systems, process algebra,

Abstract

We consider a theoretical, but very general mathematical model of control systems, namely stochastic hybrid systems. Then we study how to define concurrency for these systems. We define parallelism and communication for very general models for stochastic hybrid systems.