Download PDFOpen PDF in browserBenchmarks for stochastic models from building automation systems9 pages•Published: September 17, 2018AbstractBenchmarks 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.
|