Lyapunov Design of Multivariable MRAC via Generalized Passivation

A Lyapunov design of multiple input, multiple output (MIMO) model‐reference adaptive control (MRAC) systems is proposed using new generalized passivity concepts based on WSPR and WASPR properties. The new design avoids control overparameterization and leads to the simplest unnormalized gradient algorithm by means of a passivating multiplier. To this end, a necessary and sufficient condition on the high frequency gain matrix to achieve the WASPR property is established. This condition is referred to as Positive Diagonal Jordan (PDJ) form. Based on the robustness WSPR and WASPR properties, a systematic determination of a robust passivating matrix multiplier is then presented. The advantages of the new design are illustrated by numerical simulation including a robotics adaptive visual servoing problem and a 4‐input‐4‐output dynamic system. © 2014 Chinese Automatic Control Society and Wiley Publishing Asia Pty Ltd     

Bed morphology, flow structure, and sediment transport at the outlet of Lake Huron and in the upper St. Clair River

An integrated multibeam echo sounder and acoustic Doppler current profiler field survey was conducted in July 2008 to investigate the morphodynamics of the St. Clair River at the outlet of Lake Huron. The principal morphological features of the upper St. Clair River included flow-transverse bedforms that appear weakly mobile, erosive bedforms in cohesive muds, thin non-cohesive veneers of weakly mobile sediment that cover an underlying cohesive (till or glacio-lacustrine) surface, and vegetation that covers the bed. The flow was characterized by acceleration as the banks constrict from Lake Huron into the St. Clair River, an approximately 1500-m long region of flow separation downstream from the Blue Water Bridge, and secondary flow connected to: i) channel curvature; ii) forcing of the flow by local bed topography, and iii) flow wakes in the lee side of ship wrecks. Nearshore, sand-sized, sediment from Lake Huron was capable of being transported into, and principally along, the banks of the upper St. Clair River by the measured flow. A comparison of bathymetric surveys conducted in 2007 and 2008 identifies that the gravel bed does undergo slow downstream movement, but that this movement does not appear to be generated by the mean flow, and could possibly be caused by ship-propeller-induced turbulence. The study results suggest that the measured mean flow and dredging within the channel have not produced major scour of the upper St. Clair River and that the recent fall in the level of Lake Huron is unlikely to have been caused by these mechanisms.     

Maximal versus strong solution to algebraic Riccati equations arising in infinite Markov jump linear systems

We deal with a perturbed algebraic Riccati equation in an infinite dimensional Banach space which appears, for instance, in the optimal control problem for infinite Markov jump linear systems (from now on iMJLS). Infinite or finite here has to do with the state space of the Markov chain being infinite countable or finite (see, e.g., [M.D. Fragoso, J. Baczynski, Optimal control for continuous time LQ—problems with infinite Markov jump parameters, SIAM J. Control Optim. 40(1) (2001) 270–297]). By using a certain concept of stochastic stability (a sort of L₂-stability), we have proved in [J. Baczynski, M.D. Fragoso, Maximal solution to algebraic Riccati equations linked to infinite Markov jump linear systems, Internal Report LNCC, no. 6, 2006] existence (and uniqueness) of maximal solution for this class of equations. As it is noticed in this paper, unlike the finite case (including the linear case), we cannot guarantee anymore that maximal solution is a strong solution in this setting. Via a discussion on the main mathematical hindrance behind this issue, we devise some mild conditions for this implication to hold. Specifically, our main result here is that, under stochastic stability, along with a condition related with convergence in the infinite dimensional scenario, and another one related to spectrum—weaker than spectral continuity—we ensure the maximal solution to be also a strong solution. These conditions hold trivially in the finite case, allowing us to recover the result of strong solution of [C.E. de Souza, M.D. Fragoso, On the existence of maximal solution for generalized algebraic Riccati equations arising in stochastic control, Systems Control Lett. 14 (1990) 233–239] set for MJLS. The issue of whether the convergence condition is restrictive or not is brought to light and, together with some counterexamples, unveil further differences between the finite and the infinite countable case.     

GMAC: An overlay multicast network for mobile agent platforms

The lack of proper support for multicast services in the Internet has hindered the widespread use of applications that rely on group communication services such as mobile software agents. Although they do not require high bandwidth or heavy traffic, these types of applications need to cooperate in a scalable, fair and decentralized way. This paper presents GMAC, an overlay network that implements all multicast related functionality–including membership management and packet forwarding–in the end systems. GMAC introduces a new approach for providing multicast services for mobile agent platforms in a decentralized way, where group members cooperate in a fair way, minimize the protocol overhead, thus achieving great scalability. Simulations comparing GMAC with other approaches, in aspects such as end-to-end group propagation delay, group latency, group bandwidth, protocol overhead, resource utilization and failure recovery, show that GMAC is a scalable and robust solution to provide multicast services in a decentralized way to mobile software agent platforms with requirements similar to MoviLog.     

Topological Repairing of 3D Digital Images

We present here a new randomized algorithm for repairing the topology of objects represented by 3D binary digital images. By “repairing the topology”, we mean a systematic way of modifying a given binary image in order to produce a similar binary image which is guaranteed to be well-composed. A 3D binary digital image is said to be well-composed if, and only if, the square faces shared by background and foreground voxels form a 2D manifold. Well-composed images enjoy some special properties which can make such images very desirable in practical applications. For instance, well-known algorithms for extracting surfaces from and thinning binary images can be simplified and optimized for speed if the input image is assumed to be well-composed. Furthermore, some algorithms for computing surface curvature and extracting adaptive triangulated surfaces, directly from the binary data, can only be applied to well-composed images. Finally, we introduce an extension of the aforementioned algorithm to repairing 3D digital multivalued images. Such an algorithm finds application in repairing segmented images resulting from multi-object segmentations of other 3D digital multivalued images.

1996 International Test Conference

Call for Papers

1996 International Test Conference     

Characterization of shock-hardened Al-8090 alloy

The structure and mechanical properties of Al-Li8090 alloy, that was dynamically deformed and then age hardened, were studied as a function of the changes in the nature and amount of precipitates produced. A comparison was made between two groups of samples, one group that was solution heat treated (SHT) and quenched from 530°C before the dynamic deformation and the other group that was dynamically deformed in the as-received (AR) condition. The higher values for microhardness and ultimate tensile strength observed (138 and 140 VHN, and 405 and 458 MPa, respectively), subsequent to shock treatment (ST), have been attributed to the increase in dislocation density and grain-boundary precipitation produced due to shock deformation. Dislocations and grain boundaries were assumed to act as precipitation sites and an increase in dislocation density, due to ST, was expected to increase precipitation density of (Al₃Li), S(Al₂CuMg), and T₁(Al₂CuLi) phases which, in turn, are expected to increase strength properties of the alloy. Differential scanning calorimetry showed that, for the species that precipitate below 180°C, (Al₃Li) and GP zones, an increase in the amount of deformation increased the precipitation temperatures. However, for the species that precipitate at 197°C, S(Al₂CuMg), an increase in the amount of deformation produced a decrease in its precipitation temperature. These results have been partially confirmed by the activation energy calculations for temperatures below 197 °C, which show a decrease of precipitation energies with an increase in the amount of deformation. Activation energies calculated from ageing curves showed that when ageing at low temperature (165–180 °C range), activation energies for the precipitation process are decreased upon increase in cold work. Shock treatment of SHT samples exhibited decreased activation energy values of precipitation, from 36.14 kcal mol^–1 for the SHT sample to 24.18, 24.08, and 21.00 kcal mol^–1 for SHT + ST samples 1, 2, and 3, respectively (corresponding to 1, 2, and 3 sheets of explosive). Activation energies of precipitation for AR + ST samples showed even lower values; 9.45, 9.95, and 8.21 kcal mol^–1 for samples 4, 5, and 6, respectively. These activation energies strongly corroborate the role of defect substructure on the age-hardening kinetics of this alloy.     

Revisiting Zhang's 1D calibration algorithm

In recent years, the camera calibration using 1D patterns has been studied and improved by researchers all over the world. However, the progress in that area has been mainly in the sense of reducing the restrictions to the 1D pattern movement. On the other hand, the method's accuracy still demands improvements. In the present paper, the original technique proposed by Zhang is revisited and we demonstrate that the method's accuracy can be significantly improved, simply by analyzing and reformulating the problem. The numerical conditioning can be improved if a simple data normalization is performed. Furthermore, a non-linear solution based on the Partitioned Levenberg-Marquardt algorithm is proposed. That solution takes advantage of the problem's particular structure to reduce the computational complexity of the original method and to improve the accuracy. Tests using both synthetic and real images demonstrate that the calibration method using 1D patterns can be applied in practice, with accuracy comparable to other already traditional methods.