We investigate data-driven, simple-to-implement residential environmental models that can serve as the basis for energy saving algorithms in both retrofits and new designs of buildings. Despite nonlinearity underlying dynamics, using Koopman operator theory framework this study we show a linear second order model embedding, captures physics occur inside single or multi zone space does well when...

Security of dynamic web applications is a serious issue. While Model Driven Architecture (MDA) techniques can be used to generate applications with given access control security properties, analysis of existing web applications is more problematic. In this paper we present a model transformation technique to automatically construct a role-based access control (RBAC) security model of dynamic we...