Supervisory control of modular systems with global specification languages

The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synthesized for each module separately and the supervisory control consists of the parallel composition of the modular supervisory controls. The general case of the specification that is indecomposable and not necessarily contained in the plant language, which is often the case in practice, is considered. The usual assumption that all shared events are controllable is relaxed by introducing two new structural conditions relying on the global mutual controllability condition. The novel concept used as a sufficient structural condition is strong global mutual controllability. The main result uses a weaker condition called global mutual controllability together with local consistency of the specification. An example illustrates the approach.     

Control of frictional dynamics of a one-dimensional particle array

Control of frictional forces is required in many applications of tribology. While the problem is approached by chemical means traditionally, a recent approach was proposed to control the system mechanically to tune frictional responses. We design feedback control laws for a one-dimensional particle array sliding on a surface subject to friction. The Frenkel-Kontorova model describing the dynamics is a nonlinear interconnected system and the accessible control elements are average quantities only. We prove local stability of equilibrium points of the un-controlled system in the presence of linear and nonlinear particle interactions, respectively. We then formulate a tracking control problem, whose control objective is for the average system to reach a designated targeted velocity using accessible elements. Sufficient stabilization conditions are explicitly derived for the closed-loop error systems using the Lyapunov theory based methods. Simulation results show satisfactory performances. The results can be applied to other physical systems whose dynamics is described by the Frenkel-Kontorova model.     

Adaptive robust posture control of a parallel manipulator driven by pneumatic muscles

Rather severe parametric uncertainties and uncertain nonlinearities exist in the dynamic modeling of a parallel manipulator driven by pneumatic muscles. Those uncertainties not only come from the time-varying friction forces and the static force modeling errors of pneumatic muscles but also from the inherent complex nonlinearities and unknown disturbances of the parallel manipulator. In this paper, a discontinuous projection-based adaptive robust control strategy is adopted to compensate for both the parametric uncertainties and uncertain nonlinearities of a three-pneumatic-muscles-driven parallel manipulator to achieve precise posture trajectory tracking control. The resulting controller effectively handles the effects of various parameter variations and the hard-to-model nonlinearities such as the friction forces of the pneumatic muscles. Simulation and experimental results are obtained to illustrate the effectiveness of the proposed adaptive robust controller.     

A nonlinear geometric approach to power system excitation control and stabilization

In this paper, a unified approach to the design of a nonlinear excitation controller/power system stabilizer for a synchronous generator/infinite bus power system is presented. The approach is based on a form of state feedback linearization, known as input–output feedback linearization, which provides an exact semi-global state transformation that is valid for a large class of operating points of the power system. With this transformation, the terminal voltage becomes a linear function of the control input. The excitation controller/power system stabilizer is then synthesized by using linear controller design techniques. The controller is proven to provide small signal stability and to provide local asymptotic tracking of admissible constant reference signals for a large class of operating points. A procedure is given to tune the controller gains to provide significant damping of the power angle oscillations.     

Stability analysis for multi-agent systems using the incidence matrix: Quantized communication and formation control

The spectral properties of the incidence matrix of the communication graph are exploited to provide solutions to two multi-agent control problems. In particular, we consider the problem of state agreement with quantized communication and the problem of distance-based formation control. In both cases, stabilizing control laws are provided when the communication graph is a tree. It is shown how the relation between tree graphs and the null space of the corresponding incidence matrix encode fundamental properties for these two multi-agent control problems.     

Multi-level hierarchical interface-based supervisory control

Hierarchical Interface-Based Supervisory Control employs interfaces that allow properties of a monolithic system to be verified through local analysis. By avoiding the need to verify properties globally, significant computational savings can be achieved. In this paper we provide local requirements for a multi-level architecture employing command-pair type interfaces. This multi-level architecture allows for a greater reduction in complexity and improved reconfigurability over the two-level case that has been previously studied since it allows the global system to be partitioned into smaller modules. This paper also provides results for synthesizing supervisors in the multi-level architecture that are locally maximally permissive with respect to a given specification and set of interfaces.     

A level set method based on the Bayesian risk for medical image segmentation

This paper proposes an alternative criterion derived from the Bayesian risk classification error for image segmentation. The proposed model introduces a region-based force determined through the difference of the posterior image densities for the different classes, a term based on the prior probability derived from Kullback-Leibler information number, and a regularity term adopted to avoid the generation of excessively irregular and small segmented regions. Compared with other level set methods, the proposed approach relies on the optimum decision of pixel classification and the estimates of prior probabilities; thus the approach has more reliability in theory and practice. Experiments show that the proposed approach is able to extract the complicated shapes of targets and robust for various types of medical images. Moreover, the algorithm can be easily extendable for multiphase segmentation.     

An improved method for voice pathology detection by means of a HMM-based feature space transformation

This paper presents new a feature transformation technique applied to improve the screening accuracy for the automatic detection of pathological voices. The statistical transformation is based on Hidden Markov Models, obtaining a transformation and classification stage simultaneously and adjusting the parameters of the model with a criterion that minimizes the classification error. The original feature vectors are built up using classic short-term noise parameters and mel-frequency cepstral coefficients. With respect to conventional approaches found in the literature of automatic detection of pathological voices, the proposed feature space transformation technique demonstrates a significant improvement of the performance with no addition of new features to the original input space. In view of the results, it is expected that this technique could provide good results in other areas such as speaker verification and/or identification.     

Action categorization with modified hidden conditional random field

In this paper, we present a method for action categorization with a modified hidden conditional random field (HCRF). Specifically, effective silhouette-based action features are extracted using motion moments and spectrum of chain code. We formulate a modified HCRF (mHCRF) to have a guaranteed global optimum in the modelling of the temporal action dependencies after the HMM pathing stage. Experimental results on action categorization using this model are compared favorably against several existing model-based methods including GMM, SVM, Logistic Regression, HMM, CRF and HCRF.