Viewpoint Development of Stochastic Hybrid Systems

L.M. Bujorianu, M.C. Bujorianu

    Research output: Contribution to conferencePaperAcademicpeer-review

    1 Citation (Scopus)
    65 Downloads (Pure)

    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.
    Original languageUndefined
    Pages6241-6246
    Number of pages6
    DOIs
    Publication statusPublished - 7 May 2007
    Event45th IEEE Conference on Decision and Control, CDC 2006 - San Diego, United States
    Duration: 13 Dec 200615 Dec 2006
    Conference number: 45

    Conference

    Conference45th IEEE Conference on Decision and Control, CDC 2006
    Abbreviated titleCDC
    CountryUnited States
    CitySan Diego
    Period13/12/0615/12/06

    Keywords

    • viewpoints
    • EWI-15279
    • stochastic hybrid systems
    • IR-65457
    • Markov Processes
    • probabilistic kernels
    • Simulation
    • formal development

    Cite this