Supervisory control using variable lookahead policies

This paper deals with the efficient on-line calculation of supervisory controls for discrete event systems (DES's) in the framework of limited lookahead control policies (or LLPs) that we introduced in previous papers. In the LLP scheme, the control action after a given trace of events has been executed is calculated on-line on the basis of anN-step ahead projection of the behavior of the DES. To compute these controls, one must calculate after the execution of each event the supremal controllable sublanguage of a finite language with respect to another finite larger language. In our previous work, we showed how the required supremal controllable sublanguage calculation can be performed by using a backward dynamic programming algorithm over the nodes of the tree representation of these two languages. In this paper, we pursue the same approach for the calculation of LLP controls, but instead we adopt a forward calculation procedure over theN-level tree of interest. This forward procedure improves upon previous work by avoiding the explicit consideration of all the nodes of theN-level tree, while still permitting tree-to-tree recursiveness as enabled events are executed by the system. The forward search ends whenever a control decision can be made unambiguously or whenever the boundary of theN-level tree is reached, whichever comes first. This motivates the name Variable Lookahead Policy (or VLP) for this implementation of the LLP supervisory control scheme. This paper presents a general VLP algorithm and studies the properties of several special cases of it. The paper also discusses the implementation of the VLP algorithms and presents computational results regarding the application of these algorithms to a time-varying DES.     

Metal Ions versus Protons: Tracking of Charge-Carrier Insertion into a Cathode Oxide in Aqueous Rechargeable Batteries

Protons in aqueous electrolytes can perform as an additional type of charge carrier for insertion/extraction in addition to the primary carrier cations in aqueous rechargeable batteries. Despite many diverse claims regarding the effect of protons, mutually conflicting experimental results and their interpretations without direct evidence have been reported over the last decade. Systematic examinations and analyses are thus imperative to clarify the conditions of proton insertion in aqueous rechargeable batteries. Utilizing V₂O₅ as a model cathode and beaker-type cells with a sufficient amount of ZnSO₄ aqueous electrolytes in this work, it is demonstrated that protons are inserted into the cathode prior to Zn-ions in low-pH conditions (pH ≤ 3.0). In stark contrast, the influence of protons on the discharge voltage and capacity is insignificant, when either the pH becomes higher (pH ≥ 4.0) or the electrolyte volume is considerably low in coin-type cells. Similar behavior of pH-dependent proton insertion is also verified in Na–, Mg–, and Al-ion electrolytes. Providing a resolution to the controversy regarding proton insertion, the present study emphasizes that the influence of protons substantially varies depending on the pH and relative volume of electrolytes in aqueous batteries.     

Delignification kinetics of empty fruit bunch (EFB): a sustainable and green pretreatment approach using malic acid-based solvents

Recently, the development of efficient and environmentally benign solvents has received great attention to replace current harsh organic solvents. In this context, low-transition-temperature mixtures (LTTMs) have emerged as favorable green solvents for biomass delignification. Palm oil biomass, empty fruit bunch (EFB) was pretreated with commercial l-malic acid and microwave hydrothermally extracted cactus malic acid-derived LTTMs at 60, 80, and 100 °C. The LTTMs applied in this study were derived from malic acid–choline chloride–water and malic acid–monosodium glutamate–water with a molar ratio of 2:4:2 and 3:1:5, respectively. Three first-order reactions were used to express the delignification kinetic model of EFB. The first term was based on the initial stage and assigned as infinite due to the fast rate of delignification which could not be detected. The second and third terms were proportional to bulk and residual delignification stages. A good agreement was obtained between the kinetic model and the experimental data obtained in this study with R²?≥?0.91. The activation energies for the delignification reactions using l-malic acid and cactus malic acid-based LTTMs in the bulk and residual stages were approximated as 36–56 and 19–26 kJ/mol and 34–90 and 47–87 kJ/mol, respectively.     

Autonomous topological modeling of a home environment and topological localization using a sonar grid map

This paper presents a method of autonomous topological modeling and localization in a home environment using only low-cost sonar sensors. The topological model is extracted from a grid map using cell decomposition and normalized graph cut. The autonomous topological modeling involves the incremental extraction of a subregion without predefining the number of subregions. A method of topological localization based on this topological model is proposed wherein a current local grid map is compared with the original grid map. The localization is accomplished by obtaining a node probability from a relative motion model and rotational invariant grid-map matching. The proposed method extracts a well-structured topological model of the environment, and the localization provides reliable node probability even when presented with sparse and uncertain sonar data. Experimental results demonstrate the performance of the proposed topological modeling and localization in a real home environment.     

Robust tracking control design for uncertain robotic systems with persistent bounded disturbances

In this study, a robust nonlinear L_∞‐gain tracking control design for uncertain robotic systems is proposed under persistent bounded disturbances. The design objective is that the peak of the tracking error in time domain must be as small as possible under persistent bounded disturbances. Since the nonlinear L_∞ ‐gain optimal tracking control cannot be solved directly, the nonlinear L_∞ ‐gain optimal tracking problem is transformed into a nonlinear L_∞ ‐gain tracking problem by given a prescribed disturbance attenuation level for the L_∞ ‐gain tracking performance. To guarantee that the L_∞ ‐gain tracking performance can be achieved for the uncertain robotic systems, a sliding‐mode scheme is introduced to eliminate the effect of the parameter uncertainties. By virtue of the skew‐symmetric property of the robotic systems, sufficient conditions are developed for solving the robust L_∞ ‐gain tracking control problems in terms of an algebraic equation instead of a differential equation. The proposed method is simple and the algebraic equation can be solved analytically. Therefore, the proposed robust L_∞ ‐gain tracking control scheme is suitable for practical control design of uncertain robotic systems. Copyright © 2008 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

A well-based reverse-phase protein array applicable to extracts from formalin-fixed paraffin-embedded tissue

Proteomic analysis of formalin-fixed paraffin-embedded (FFPE) tissue offers significant diagnostic utility but is complicated due to the high level of covalently crosslinked proteins arising from formalin fixation. To address these challenges, we developed a reliable protein extraction method for FFPE tissue, based on heat-induced antigen retrieval within a pressure cooker. The protein extraction yield from archival FFPE tissue section is approximately 90% of that recovered from frozen tissue. This method demonstrates preservation of immunoreactivity and recovery of full-length proteins by Western blotting. Additionally, we developed a well-based RP protein array platform utilizing an electrochemiluminescence detection system. Protein samples derived from FFPE tissue by means of laser capture dissection, with as few as 500 shots demonstrate measurable signal differences for different proteins. The lysates coated to the array plate, remain stable over 1?month at room temperature. Theses data suggest that this new protein-profiling platform coupled with the protein extraction method can be used for molecular profiling analysis in FFPE tissue, and contribute to the validation and development of biomarkers in clinical studies.     

Efficient Compositing Methods for the Sort-Last-Sparse Parallel Volume Rendering System on Distributed Memory Multicomputers

In the sort-last-sparse parallel volume rendering system on distributed memory multicomputers, one can achieve a very good performance improvement in the rendering phase by increasing the number of processors. This is because each processor can render images locally without communicating with other processors. However, in the compositing phase, a processor has to exchange local images with other processors. When the number of processors exceeds a threshold, the image compositing time becomes a bottleneck. In this paper, we propose three compositing methods to efficiently reduce the compositing time in parallel volume rendering. They are the binary-swap with bounding rectangle (BSBR) method, the binary-swap with run-length encoding and static load-balancing (BSLC) method, and the binary-swap with bounding rectangle and run-length encoding (BSBRC) method. The proposed methods were implemented on an SP2 parallel machine along with the binary-swap compositing method. The experimental results show that the BSBRC method has the best performance among these four methods.