Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives

Formal methods are becoming favorable for control and verification of safety-critical systems because of the rigorous model-based computation. Relying on an over-approximated model of the original system behaviors, formal control synthesis algorithms are not often complete, which means that a controller cannot necessarily be synthesized even if there exists one. The main result of this paper shows that, for continuous-time nonlinear systems, a sample-and-hold control strategy for a reach-and-stay specification can be synthesized whenever such a strategy exists for the same system with its dynamics perturbed by small disturbances. Control synthesis is carried out by a fixed-point algorithm that adaptively partitions the system state space into a finite number of cells. In each iteration, the reachable set from each cell after one sampling time is over-approximated within a precision determined by the bound of the disturbances. To meet such a requirement, we integrate validated high-order Taylor expansion of the system solution over one sampling period into every fixed-point iteration and provide a criterion for choosing the Taylor order and the partition precision. Two nonlinear system examples are given to illustrate the effectiveness of the proposed method.     

Preparation and characterization of theβ-cyclodextrin inclusion complex with sulfafurazole

The 1 : 1 inclusion complex involving sulfafurazole (SF) and-cyclodextrin (-CD) is prepared by the freeze-drying method and characterized on the basis of its chemical analysis, thermal behavior, infrared spectrum, X-ray powder pattern and¹³C NMR spectrum in DMSO-d₆ solution. The stability constant of the inclusion complex was determined by the solubility method. The effect of cyclodextrin on the UV absorption spectrum of sulfafurazole was also observed.     

Carbocyclic and nitrogen-containing fused CH-acids with an annelated indenyl fragment. Thermogravimetric and X-ray structural analysis of 6H-indeno[1,2-b]quinoline

Based on thermogravimetric characteristics first obtained for the model 6H-indeno [1,2-b]quinoline, the scheme of thermal conversions of this compound in the temperature range 20–700 °C has been proposed, and the limit of its thermal stability (300 °C) has been determined. This temperature is recommended as the optimum for synthesizing fused benzoaza(diaza)fluorenes. Based on the results of X-ray structural analysis, the molecules of the studied indenoquinoline form centrosymmetric pairs, which are arranged in (110) layers. The molecules are orientationally disordered. The observed self-association of these molecules is similar to the - association of fused heterocyclic systems with-excessive and ****- deficient fragments. It has been suggested that interferon-inducing and antitumor compounds with an annelated indenyl fragment have a common mechanism of action according to the intercalation model of stacking structures.Translated fromIzvestiya Akademii Nauk. Seriya Khimicheskaya, No. 4, pp. 703–709, April, 1995.     

Synthesis,spectroscopic studies,and x-ray crystallographic analysis of the organotin carbohydrate: 1,2∶3,4-di-O-isopropylidene-6-O-triphenylstannylmethyl-α-D-galactopyranose

The title organotin carbohydrate, C₃₁H₃₆O₆Sn, has been synthesized and its molecular structure has been determined in solution and in the solid state. NMR, infrared, mass and X-ray crystallographic techniques were used. The chiral molecules crystallize in the monoclinic space group P2₁ withZ=2. The triphenyltin and carbohydrate moieties are linked by a trans methylene-oxygen-methylene arrangement. The pyranosyl ring adopts a twist-boat conformation and the isopropylidene rings adopt different (half-chair and envelope) forms. Solution and solid-state conformations are similar as only three ¹³C shift values are greater than 2ppm; the ¹¹⁹Sn value is 12 ppm.     

Finding normal solutions in piecewise linear programming

Letf: ⁿ (–, ] be a convex polyhedral function. We show that if any standard active set method for quadratic programming (QP) findsx(t)= arg min _x ¦x¦²/2+t f(x) for somet> 0, then its final working set defines a simple equality QP subproblem, whose Lagrange multiplier can be used both for testing ift is large enough forx(t) to coincide with the normal minimizer off, and for increasingt otherwise. The QP subproblem may easily be solved via the matrix factorizations used for findingx(t). This opens up the way for efficient implementations. We also give finite methods for computing the whole trajectory {x(t)} _t 0, minimizingf over an ellipsoid, and choosing penalty parameters inL ₁QP methods for strictly convex QP.This research was supported by the State Committee for Scientific Research under Grant 8S50502206.     

Products and transforms of white-noise functionals (in general setting)

Some sharp results about Weiner and Wick products of whitenoise functionals are obtained. Using the inequality of Wick products we show to what extent scaling transformations, translations, and Sobolev differentiations can be performed on white-noise functionals.This work was supported by the National Natural Science Foundation of China. This paper is an enlargement and revised version of the paper entitled Products and Transforms of White-Noise Functionals (preprint, 1990).     

Residual stress/strain analysis in thin films by X-ray diffraction

Residual stresses are found in the majority of multilayer thin film structures used in modem technology. The measurement and modeling of such stress fields and the elucidation of their effects on structural reliability and device operation have been a “growth area” in the literature, with contributions from authors in various scientific and engineering disciplines.

In this article the measurement of the residual stresses in thin film structures with X-ray diffraction techniques is reviewed and the interpretation of such data and their relationship to mechanical reliability concerns are discussed.     

Direct analysis of thin-layer chromatographic spots of narcotics by means of diffuse reflectance Fourier transform infrared spectroscopy

The technique of diffuse reflectance Fourier transform infrared spectrometry (DRIFT) as an in situ detection method was used for the qualitative and quantitative analysis of drugs (heroin, cocaine and codeine) separated by thin layer chromatography.It was found that at a given interferometer throughput and detector sensitivity the quality of the spectrum depends strongly in the type of the chromatographic thin layer used. A detection limit of approx. 2 g was attained on a microcrystalline cellulose thin layer with a dynamically aligned Bio-Rad Digilab FTS 60A/896 type interferometer and room temperature DTGS detector. A reliable qualitative analysis can be made with as little as 10 to 15 g drug per spot.     

Quantitative determination of chloride by means of flow injection analysis with spectrophotometric detection in the UV/VIS range

Chloride is determined indirectly by Spectrophotometric flow injection analysis. Two systems are compared, both based on the principle of ion exchange of easily detectable anions versus chloride from suitable mercury salts. The first method is based on the exchange of chloride with chloranilate which is detected at 332 nm or at 306 nm in neutral or in acidic medium respectively. In the second case, chloride reacts with Hg(SCN)₂. The liberated thiocyanate forms a strongly coloured complex with Fe(III) in acidic solution with an absorption maximum at 460 nm. Both methods have a detection limit of about 5 mol Cl^–/l (175 ng/ml). In the case of the thiocyanate method, the relative standard deviation is about 2% (7 measurements) in the range of 5 to 150 mol/l and decreases significantly to a value of approximately 0.2% at higher concentrations; for the chloranilate method it is 10% for lower and about 1% for higher concentrations respectively.     

Parallelism across the steps in iterated Runge-Kutta methods for stiff initial value problems

For the parallel integration of stiff initial value problems (IVPs) three main approaches can be distinguished: approaches based on parallelism across the problem, on parallelism across the method and on parallelism across the steps. The first type of parallelism does not require special integration methods can be exploited within any available IVP solver. The methodparallel approach received some attention in the case of Runge-Kutta based methods. For these methods, the required number of processors is roughly half the order of the generating Runge-Kutta method and the speed-up with respect to a good sequential IVP solver is about a factor 2. The third type of parallelism (step-parallelism) can be achieved in any IVP solver based on predictor-corrector iteration. Most step-parallel methods proposed so far employ a large number of processors, but lack the property of robustness, due to a poor convergence behaviour in the iteration process. Hence, the effective speed-up is rather poor. The step-parallel iteraction process proposed in the present paper is less massively parallel, but turns out to be sufficiently robust to solve the four-stage Radau IIA corrector used in our experiments within a few effective iterations per step and to achieve speed-up factors up to 10 with respect to the best sequential codes.The research reported in this paper was partly supported by the Technology Foundation (STW) in the Netherlands.