2,006 research outputs found
Data-driven and Model-based Verification: a Bayesian Identification Approach
This work develops a measurement-driven and model-based formal verification
approach, applicable to systems with partly unknown dynamics. We provide a
principled method, grounded on reachability analysis and on Bayesian inference,
to compute the confidence that a physical system driven by external inputs and
accessed under noisy measurements, verifies a temporal logic property. A case
study is discussed, where we investigate the bounded- and unbounded-time safety
of a partly unknown linear time invariant system
Observer-based correct-by-design controller synthesis
Current state-of-the-art correct-by-design controllers are designed for
full-state measurable systems. This work first extends the applicability of
correct-by-design controllers to partially observable LTI systems. Leveraging
2nd order bounds we give a design method that has a quantifiable robustness to
probabilistic disturbances on state transitions and on output measurements. In
a case study from smart buildings we evaluate the new output-based
correct-by-design controller on a physical system with limited sensor
information
Realization of Positive Linear Systems
AbstractPositive linear systems are frequently used as mathematical models in research areas like biology and economics. The problem of classifying all minimal realizations of these systems is treated in this paper. Extensive use is made of the theory of polyhedral cones. Sufficient and necessary conditions for the existence of a positive realization are given, but the problem of minimality leads to the factorization problem for positive matrices. Ideas and results are given to come towards a solution of this factorization problem
Recommended from our members
Closed-loop Identification of an Industrial Extrusion Process
This paper deals with the challenging problem of closed-loop identification for multivariable chemical processes and particularly the estimation of an open-loop plant model for a lab-scale industrial twin-screw extruder used in a powder coatings manufacturing line. The aim is to produce a low order efficient model in order to assist the scaling-up and the model-based control design of the manufacturing process. To achieve this goal, a two-stage indirect approach has been deployed which relies on the a-priori knowledge of the controller parameters in order to extract good estimates of the open-loop dynamics of the underlying process. As input excitation signals we have used multiple single variable step tests at various operating conditions (current industrial practice) carried out manually in order to generate the data-set which captures the dynamics of the extrusion process. In order to increase the efforts for obtaining a suitable plant model, we have employed various identification techniques, such as Prediction Error Methods (PEM) and Subspace Identification Methods (SIM) in order to generate candidate closed-loop models that fit to the original input-output process data. Then, a comparison of the estimated models was performed by means of the mean square error and data fitting criteria in order to select the model that best describes the dynamic behaviour of the extrusion process. Model validation based on closed-loop step responses also used as verification of the results
- …