Benchmarks for cyber-physical systems: A modular model library for building automation systems

Cauchi N, Abate A

2018

Conference paper

Journal:

IFAC PAPERSONLINE

Volume:

Issue:

pp.

49 - 54

No abstract available

Keywords:

cyber-physical systems

building automation systems

thermal modelling

hybrid models

simulation

reachability analysis

probabilistic safety

control synthesis

DOI

ORA record