Viewpoint Development of Stochastic Hybrid Systems


Bujorianu, L.M. and Bujorianu, M.C. (2007) Viewpoint Development of Stochastic Hybrid Systems. In: 45th IEEE Conference on Decision and Control, 13-15 Dec 2006, San Diego, CA, USA (pp. pp. 6241-6246).

open access
Abstract: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 (quantification over non-determinism, multi-valued logics, etc). In this paper, we propose a combination of these two paradigms introducing a viewpoint methodology for systems with stochastic behaviours.
Item Type:Conference or Workshop Item
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page