Title :
Viewpoint Development of Stochastic Hybrid Systems
Author :
Bujorianu, Manuela L. ; Bujorianu, Marius C.
Author_Institution :
Fac. of Comput. Sci., Twente Univ.
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
Keywords :
random processes; stochastic systems; Markov process; deterministic model; formal development; probabilistic kernel; randomisation; simulation; stochastic behaviour; stochastic hybrid system; system complexity; viewpoint methodology; Application software; Continuous time systems; Control systems; Explosives; ISO standards; Power system modeling; Space technology; Specification languages; Stochastic processes; Stochastic systems; Markov processes; formal development; probabilistic kernels; simulation; stochastic hybrid systems; viewpoints;
Conference_Titel :
Decision and Control, 2006 45th IEEE Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
1-4244-0171-2
DOI :
10.1109/CDC.2006.377073
