Download PDFOpen PDF in browser

Benchmarks for stochastic models from building automation systems

9 pagesPublished: September 17, 2018

Abstract

Benchmarks Proposal: We provide benchmarks for stochastic models drawn from Build- ing Automation Systems (BAS), specifically constructed from expertise developed on a real BAS setup. This contribution branches out of the library of general models presented in [4], specifically focussing on probabilistic models. Using this library, we generate two realistic case studies which incorporate (i) stochasticity stemming from different sources (e.g. pro- cess or observation noise on the continuous variables) and (ii) various input and output signals. We describe each model structure (syntax and semantics), identify key problems (specifications) for different analysis goals, and finally illustrate solutions for each goal.

Keyphrases: Building Automation Systems, control synthesis, probabilistic reachability analysis, probabilistic safety, simulation, stochastic hybrid systems, stochastic models, Thermal modelling

In: Goran Frehse (editor). ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 54, pages 242--250

Links:
BibTeX entry
@inproceedings{ARCH18:Benchmarks_for_stochastic_models,
  author    = {Nathalie Cauchi and Alessandro Abate},
  title     = {Benchmarks for stochastic models from building automation systems},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {242--250},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/4vfw},
  doi       = {10.29007/trj5}}
Download PDFOpen PDF in browser