Verification of system properties of polynomial systems using discrete-time approximations and set-based analysis

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2015von Philipp Rumschinsk

ADMIT: a toolbox for guaranteed model invalidation, estimation and qualitative–quantitative modeling

Summary: Often competing hypotheses for biochemical networks exist in the form of different mathematical models with unknown parameters. Considering available experimental data, it is then desired to reject model hypotheses that are inconsistent with the data, or to estimate the unknown parameters. However, these tasks are complicated because experimental data are typically sparse, uncertain, and are frequently only available in form of qualitative if–then observations. ADMIT (Analysis, Design and Model Invalidation Toolbox) is a MatLabTM-based tool for guaranteed model invalidation, state and parameter estimation. The toolbox allows the integration of quantitative measurement data, a priori knowledge of parameters and states, and qualitative information on the dynamic or steady-state behavior. A constraint satisfaction problem is automatically generated and algorithms are implemented for solving the desired estimation, invalidation or analysis tasks. The implemented methods built on convex relaxation and optimization and therefore provide guaranteed estimation results and certificates for invalidity

Fault Diagnosis for Polynomial Hybrid Systems

Safety requirements of technological processes trigger an increased demand for elaborate fault diagnosis tools. However, abrupt changes in system behavior are hard to formulate with continuous models but easier to represent in terms of hybrid systems. Therefore, we propose a set-based approach for complete fault diagnosis of hybrid polynomial systems formulated as a feasibility problem. We employ mixed-integer linear program relaxation of this formulation to exploit the presence of discrete variables. We improve the relaxation with additional constraints for the discrete variables. The efficiency of the method is illustrated with a simple two-tank example subject to multiple faults

ADMIT: a toolbox for guaranteed model invalidation, estimation and qualitative–quantitative modeling

Summary: Often competing hypotheses for biochemical networks exist in the form of different mathematical models with unknown parameters. Considering available experimental data, it is then desired to reject model hypotheses that are inconsistent with the data, or to estimate the unknown parameters. However, these tasks are complicated because experimental data are typically sparse, uncertain, and are frequently only available in form of qualitative if–then observations. ADMIT (Analysis, Design and Model Invalidation Toolbox) is a MatLabTM-based tool for guaranteed model invalidation, state and parameter estimation. The toolbox allows the integration of quantitative measurement data, a priori knowledge of parameters and states, and qualitative information on the dynamic or steady-state behavior. A constraint satisfaction problem is automatically generated and algorithms are implemented for solving the desired estimation, invalidation or analysis tasks. The implemented methods built on convex relaxation and optimization and therefore provide guaranteed estimation results and certificates for invalidity