1. Studied robust identification and model validation on the basis of convextheory. The problems studied are based on mixed time-domain/frequency-domaininput-output data. Related algorithms via convex optimization are given.
According to model driven development, EUP employed the advanced techniques such as UML modelling, model checking, simulation and automatic generation of codes to provide a unified development environment for embedded software.
Due to the deficiency of architecture description languages in analyzing and validating dynamic behavior of software systems, the predicate/transition (Pr/T) net was introduced to model the dynamic features of software architecture, and an efficient model-checking algorithm was proposed.
Robust Control in ?1-Formulation: Model Validation and Perturbation Weight Estimation
Model validation consists in verifying whether the nominal model and the a priori assumptions on measurement perturbations are consistent.
For any model in the form of a linear stationary discrete system with structured uncertainty, model validation is reduced to verifying whether a system of inequalities generated by measurements holds or not.
TIME-IGGCAS model validation: Comparisons with empirical models and observations
The experimental results show concentration as well as temperature profiles along the column height and therefore exhibit reliable data for model validation purposes.