Viewpoint Development of Stochastic Hybrid Systems

Manuela L. Bujorianu, Marius C. Bujorianu
2006 Proceedings of the 45th IEEE Conference on Decision and Control  
Nowadays, due to the explosive spreading of networked and highly distributed systems, mastering system complexity becomes a critical issue. Two development and verification paradigms have become more popular: viewpoints and randomisation. The viewpoints offer large freedom and introduce concurrency and compositionality in the development process. Randomisation is now a traditional method for reducing complexity (comparing with deterministic models) and it offers finer analytical analysis tools
more » ... quantification over nondeterminism, multi-valued logics, etc). In this paper, we propose a combination of these two paradigms introducing a viewpoint methodology for systems with stochastic behaviours.
doi:10.1109/cdc.2006.377073 dblp:conf/cdc/BujorianuB06 fatcat:vgjqo5jnofebrheycme34p3m4e