Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version)
暂无分享,去创建一个
[1] Sten Bay Jørgensen,et al. Parameter estimation in stochastic grey-box models , 2004, Autom..
[2] Alessandro Abate,et al. Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions , 2015, IEEE Transactions on Control Systems Technology.
[3] Simone Baldi,et al. A Message Passing Algorithm for Automatic Synthesis of Probabilistic Fault Detectors from Building Automation Ontologies , 2017 .
[4] Jon Hand,et al. CONTRASTING THE CAPABILITIES OF BUILDING ENERGY PERFORMANCE SIMULATION PROGRAMS , 2008 .
[5] Sofie Haesaert,et al. Certified policy synthesis for general Markov decision processes: An application in building automation systems , 2017, Perform. Evaluation.
[6] Joost-Pieter Katoen,et al. A compositional modelling and analysis framework for stochastic hybrid systems , 2012, Formal Methods in System Design.
[7] Alessandro Abate,et al. Efficient probabilistic model checking of smart building maintenance using fault maintenance trees , 2017, BuildSys@SenSys.
[8] Sofie Haesaert,et al. Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement , 2016, QEST.
[9] Woohyun Kim,et al. A review of fault detection and diagnostics methods for building systems , 2018 .
[10] Frauke Oldewurtel,et al. Building modeling as a crucial part for building predictive control , 2013 .
[11] Di Wang,et al. Application of multi-objective genetic algorithm to optimize energy efficiency and thermal comfort in building design , 2015 .
[12] Alessandro Abate,et al. FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes , 2014, TACAS.
[13] Daniel Kroening,et al. Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration , 2015, SAS.
[14] Jan Hensen,et al. Thermal comfort models for net zero energy buildings in hot climates , 2017 .
[15] Alessandro Abate,et al. Efficient HVAC controls: A symbolic approach , 2016, 2016 European Control Conference (ECC).
[16] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.
[17] Francesco Borrelli,et al. Predictive Control for Energy Efficient Buildings with Thermal Storage: Modeling, Stimulation, and Experiments , 2012, IEEE Control Systems.
[18] Stavros Tripakis,et al. The Refinement Calculus of Reactive Systems Toolset , 2017, International Journal on Software Tools for Technology Transfer.
[19] Tianzhen Hong,et al. Modeling of HVAC operational faults in building performance simulation , 2017 .
[20] John Lygeros,et al. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems , 2008, Autom..