Viewpoint Development of Stochastic Hybrid Systems


Share/Save/Bookmark

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
[img]
Preview
PDF
165kB
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/65457
Official URL:http://dx.doi.org/10.1109/CDC.2006.377073
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page