Two classes of passive time-varying well-posed linear systems

We investigate two classes of time-varying well-posed linear systems. Starting from a time-invariant scattering-passive system, each of the time-varying systems is constructed by introducing a time-dependent inner product on the state space and modifying some of the generating operators. These classes of linear systems are motivated by physical examples such as the electromagnetic field around a moving object. To prove the well-posedness of these systems, we use the Lax–Phillips semigroup induced by a well-posed linear system, as in scattering theory.     

H∞ Controller design for spectral MIMO models by convex optimization

A new method for robust fixed-order H_∞ controller design by convex optimization for multivariable systems is investigated. Linear Time-Invariant Multi-Input Multi-Output (LTI-MIMO) systems represented by a set of complex values in the frequency domain are considered. It is shown that the Generalized Nyquist Stability criterion can be approximated by a set of convex constraints with respect to the parameters of a multivariable linearly parameterized controller in the Nyquist diagram. The diagonal elements of the controller are tuned to satisfy the desired performances, while simultaneously, the off-diagonal elements are designed to decouple the system. Multimodel uncertainty can be directly considered in the proposed approach by increasing the number of constraints. The simulation examples illustrate the effectiveness of the proposed approach.     

Modelling water dynamics with DNDC and DAISY in a soil of the North China Plain: A comparative study

The performance of the DNDC and Daisy model to simulate the water dynamics in a floodplain soil of the North China Plain was tested and compared. While the DNDC model uses a simple cascade approach, the Daisy model applies the physically based Richard's equation for simulating water movement in soil. For model testing a three years record of the soil water content from the Dong Bei Wang experimental station near Beijing was used. There, the effect of nitrogen fertilization, irrigation and straw removal on soil water and nitrogen dynamics was investigated in a three factorial field experiment applying a split-split-plot design with 4 replications. The dataset of one treatment was used for model testing and calibration. Two other independent datasets from further treatments were employed for validating the models. For both models, the simulation results were not satisfying using default parameters. After parameter optimisation and the use of site-specific van Genuchten parameters, however, the Daisy model performed well. But, for the DNDC model, parameter optimisation failed to improve the simulation result. Owing to the fact that many biological processes such as plant growth, nitrification or denitrification depend strongly on the soil water content, our findings bring us to the conclusion that the site-specific suitability of the DNDC model for simulating the soil water dynamics should be tested before further simulation of other processes.     

Model Checking Games for the Quantitative μ-Calculus

We investigate quantitative extensions of modal logic and the modal μ-calculus, and study the question whether the tight connection between logic and games can be lifted from the qualitative logics to their quantitative counterparts. It turns out that, if the quantitative μ-calculus is defined in an appropriate way respecting the duality properties between the logical operators, then its model checking problem can indeed be characterised by a quantitative variant of parity games. However, these quantitative games have quite different properties than their classical counterparts, in particular they are, in general, not positionally determined. The correspondence between the logic and the games goes both ways: the value of a formula on a quantitative transition system coincides with the value of the associated quantitative game, and conversely, the values of quantitative parity games are definable in the quantitative μ-calculus.     

Robust anti-sliding control of autonomous vehicles in presence of lateral disturbances

Path following control problem of autonomous vehicles is investigated, concerning both unmeasurable sliding effects and lateral disturbances which lead to some difficulties in designing autonomous control under complex environment. To deal with the sliding effects, sideslip angles are modeled and reconstructed by estimating the tire cornering stiffness, which plays important role in analyzing the sliding effects. To this end, a Luenberger-type observer is designed, which is able to identify the tire cornering stiffness adaptively even in presence of time-varying lateral disturbances. Furthermore, to guarantee high-precision guidance, a sliding mode controller is designed based on chained system theory, and this controller is shown to be robust to both the lateral disturbances and the inaccuracy of the sliding reconstruction. Simulations illustrate that the proposed methods can reconstruct the sliding angles and provide high-accuracy anti-sliding control even in presence of the time-varying lateral disturbances.     

A dialectical based model coherent with inventive and optimization problems

In an array of problem solving methods, one can traditionally distinguish two kinds of problems: one is a problem that has solutions in a search space and the other is a problem that does not have solutions in a given space. The later problem so called solutionless problem or inventive problem requires an inventive approach to reformulate the problem and dialectical thinking brings benefits in the process. The framework used to formulate problems in a dialectical approach is contradiction. Identification of contradictions plays an important role in distinguishing solutionless problems: a contradiction exists when no solution can be found, and a solution exists when no contradiction can be found. In this article, the inadequacy of existing frameworks in satisfying this requirement is demonstrated and a framework that fits this requirement is proposed.     

Study on TSV isolation liners for a Via Last approach with the use in 3D-WLP for MEMS

This paper discusses approaches for the isolation of deep high aspect ratio through silicon vias (TSV) with respect to a Via Last approach for micro-electro-mechanical systems (MEMS). Selected TSV samples have depths in the range of 170…270 µm and a diameter of 50 µm. The investigations comprise the deposition of different layer stacks by means of subatmospheric and plasma enhanced chemical vapour deposition (PECVD) of tetraethyl orthosilicate; Si(OC₂H₅)₄ (TEOS). Moreover, an etch-back approach and the selective deposition on SiN were also included in the investigations. With respect to the Via Last approach, the contact opening at the TSV bottom by means of a specific spacer-etching method have been addressed within this paper. Step coverage values of up to 74 % were achieved for the best of those approaches. As an alternative to the SiO₂-isolation liners a polymer coating based on the CVD of Parylene F was investigated, which yields even higher step coverage in the range of 80 % at the lower TSV sidewall for a surface film thickness of about 1000 nm. Leakage current measurements were performed and values below 0.1 nA/cm² at 10 kV/cm were determined for the Parylene F films which represents a promising result for the aspired application to Via Last MEMS-TSV.