Data as processes: introducing measurement data into CARMA models
نویسنده
چکیده
Measurement data provides a precise and detailed description of components within a complex system but it is rarely used directly as a component of a system model. In this paper we introduce a model-based representation of measurement data and use it together with modeller-defined components expressed in the CARMA modelling language. We assess both liveness and safety properties of these models with embedded data.
منابع مشابه
Efficiency evaluation of wheat farming: a network data envelopment analysis approach
Traditional data envelopment analysis (DEA) models deal with measurement of relative efficiency of decision making units (DMUs) in which multiple-inputs consumed to produce multiple-outputs. One of the drawbacks of these models is neglecting internal processes of each system, which may have intermediate products and/or independent inputs and/or outputs. In this paper some methods which are usab...
متن کاملEstimation of stable CARMA models with an application to electricity spot prices
We discuss theoretical properties and estimation of continuous-time ARMA (CARMA) processes, which are driven by a stable Lévy process. Such processes are very useful in a continuous-time linear stationary set-up: they have a similar structure as the widely used ARMA models, and provide all advantages of a continuous-time model. As an application we consider data from a deregulated electricity m...
متن کاملEvy - Driven and Fractionally Integrated Armaprocesses with Continuous Time Parameterpeter
The deenition and properties of L evy-driven CARMA (continuous-time ARMA) processes are reviewed. Gaussian CARMA processes are special cases in which the driving L evy process is Brownian motion. The use of more general L evy processes permits the speciication of CARMA processes with a wide variety of marginal distributions which may be asymmetric and heavier tailed than Gaus-sian. Non-negative...
متن کاملEvy Driven and Fractionally Integrated Arma Processes with Continuous Time Parameter
The de nition and properties of L evy driven CARMA continuous time ARMA processes are re viewed Gaussian CARMA processes are special cases in which the driving L evy process is Brownian motion The use of more general L evy processes permits the speci cation of CARMA processes with a wide variety of marginal distributions which may be asymmetric and heavier tailed than Gaus sian Non negative CAR...
متن کاملInvestigation of the performance and accuracy of multivariate timeseries models in predicting EC and TDS values of the rivers of Urmia Lake Basin
Considering the complexity of hydrological processes, it seems that multivariate methods may enhance the accuracy of time series models and the results obtained from them by taking more influential factors into account. Indeed, the results of multivariate models can improve the results of description, modeling, and prediction of different parameters by involving other influential factors. In th...
متن کامل