An extension of the invariance principle for dwell-time switched nonlinear systems

In this paper, we propose an extension of the invariance principle for nonlinear switched systems under dwell-time switched solutions. This extension allows the derivative of an auxiliary function V, also called a Lyapunov-like function, along the solutions of the switched system to be positive on some sets. The results of this paper are useful to estimate attractors of nonlinear switched systems and corresponding basins of attraction. Uniform estimates of attractors and basin of attractions with respect to time-invariant uncertain parameters are also obtained. Results for a common Lyapunov-like function and multiple Lyapunov-like functions are given. Illustrative examples show the potential of the theoretical results in providing information on the asymptotic behavior of nonlinear dynamical switched systems. (C) 2012 Elsevier B.V. All rights reserved.

Stabilization for an ensemble of half-spin systems

Feedback stabilization of an ensemble of non interacting half spins described by the Bloch equations is considered. This system may be seen as an interesting example for infinite dimensional systems with continuous spectra. We propose an explicit feedback law that stabilizes asymptotically the system around a uniform state of spin +1/2 or -1/2. The proof of the convergence is done locally around the equilibrium in the H-1 topology. This local convergence is shown to be a weak asymptotic convergence for the H-1 topology and thus a strong convergence for the C topology. The proof relies on an adaptation of the LaSalle invariance principle to infinite dimensional systems. Numerical simulations illustrate the efficiency of these feedback laws, even for initial conditions far from the equilibrium. (C) 2011 Elsevier Ltd. All rights reserved.

SINGULARLY PERTURBED DISCOUNTED MARKOV CONTROL PROCESSES IN A GENERAL STATE SPACE

This paper studies the asymptotic optimality of discrete-time Markov decision processes (MDPs) with general state space and action space and having weak and strong interactions. By using a similar approach as developed by Liu, Zhang, and Yin [Appl. Math. Optim., 44 (2001), pp. 105-129], the idea in this paper is to consider an MDP with general state and action spaces and to reduce the dimension of the state space by considering an averaged model. This formulation is often described by introducing a small parameter epsilon > 0 in the definition of the transition kernel, leading to a singularly perturbed Markov model with two time scales. Our objective is twofold. First it is shown that the value function of the control problem for the perturbed system converges to the value function of a limit averaged control problem as epsilon goes to zero. In the second part of the paper, it is proved that a feedback control policy for the original control problem defined by using an optimal feedback policy for the limit problem is asymptotically optimal. Our work extends existing results of the literature in the following two directions: the underlying MDP is defined on general state and action spaces and we do not impose strong conditions on the recurrence structure of the MDP such as Doeblin's condition.

Characterization of Stability Region for General Autonomous Nonlinear Dynamical Systems

The existing characterization of stability regions was developed under the assumption that limit sets on the stability boundary are exclusively composed of hyperbolic equilibrium points and closed orbits. The characterizations derived in this technical note are a generalization of existing results in the theory of stability regions. A characterization of the stability boundary of general autonomous nonlinear dynamical systems is developed under the assumption that limit sets on the stability boundary are composed of a countable number of disjoint and indecomposable components, which can be equilibrium points, closed orbits, quasi-periodic solutions and even chaotic invariant sets.

Robotics learning based on collaborative projects

[EN]Nowadays companies demand graduates able to work in multidisciplinary and collaborative projects. Hence, new educational methods are needed in order to support a more advanced society, and progress towards a higher quality of life and sustainability. The University of the Basque Country belongs to the European Higher Education Area, which was created as a result of the Bologna process to ensure the connection and quality of European national educational systems. In this framework, this paper proposes an innovative teaching methodology developed for the "Robotics" subject course that belongs to the syllabus of the B.Sc. degree in Industrial Electronics and Automation Engineering. We present an innovative methodology for Robotics learning based on collaborative projects, aimed at responding to the demands of a multidisciplinary and multilingual society.

Cooperative teleoperation systems

This thesis deals with the studies on the Cooperative Teleoperation Systems. The literature on cooperative teleoperation did not take into account control architectures composed of pairs of wave-based bilateral teleoperators operating in a shared environment. In this work The author two cooperative control schemes based on wave variables by considering two pairs of single-master/single-slave devices collaborating to carry out operations in a shared remote environment are proposed. Such architectures have been validated both with simulations and experimental tests. Ch. 2 introduces a description of the two control architectures proposed and presents some simulation results where the cooperative teleoperation systems evolve in free space and in contact with a stiff wall. In the Ch. 3 some experimental results which confirm the positive results of the control schemes are illustred. Such results have been achieved by using a prototype custom built at Laboratory of Automaiton and Robotics of University of Bologna, which is also illustrated in this chapter. In Ch. 4 the problem of defining proper tools and procedures for an analysis, and possibly a comparison, of the performances of cooperative teleoperation systems is addressed. In particular, a novel generalization of criteria adopted for classical (i.e. one master-one slave) teleoperators is presented and illustrated on the basis of the force-position and the position-position cooperative control schemes proposed in Ch. 2, both from a transparency and stability point of view, and by assuming a null time delay in the communication channel.

Fault detection, diagnosis and active fault tolerant control for a satellite attitude control system

Modern control systems are becoming more and more complex and control algorithms more and more sophisticated. Consequently, Fault Detection and Diagnosis (FDD) and Fault Tolerant Control (FTC) have gained central importance over the past decades, due to the increasing requirements of availability, cost efficiency, reliability and operating safety. This thesis deals with the FDD and FTC problems in a spacecraft Attitude Determination and Control System (ADCS). Firstly, the detailed nonlinear models of the spacecraft attitude dynamics and kinematics are described, along with the dynamic models of the actuators and main external disturbance sources. The considered ADCS is composed of an array of four redundant reaction wheels. A set of sensors provides satellite angular velocity, attitude and flywheel spin rate information. Then, general overviews of the Fault Detection and Isolation (FDI), Fault Estimation (FE) and Fault Tolerant Control (FTC) problems are presented, and the design and implementation of a novel diagnosis system is described. The system consists of a FDI module composed of properly organized model-based residual filters, exploiting the available input and output information for the detection and localization of an occurred fault. A proper fault mapping procedure and the nonlinear geometric approach are exploited to design residual filters explicitly decoupled from the external aerodynamic disturbance and sensitive to specific sets of faults. The subsequent use of suitable adaptive FE algorithms, based on the exploitation of radial basis function neural networks, allows to obtain accurate fault estimations. Finally, this estimation is actively exploited in a FTC scheme to achieve a suitable fault accommodation and guarantee the desired control performances. A standard sliding mode controller is implemented for attitude stabilization and control. Several simulation results are given to highlight the performances of the overall designed system in case of different types of faults affecting the ADCS actuators and sensors.

NLGA based Active Control in Aerospace: fault tolerability, disturbance rejection, and parameter estimation

A new control scheme has been presented in this thesis. Based on the NonLinear Geometric Approach, the proposed Active Control System represents a new way to see the reconfigurable controllers for aerospace applications. The presence of the Diagnosis module (providing the estimation of generic signals which, based on the case, can be faults, disturbances or system parameters), mean feature of the depicted Active Control System, is a characteristic shared by three well known control systems: the Active Fault Tolerant Controls, the Indirect Adaptive Controls and the Active Disturbance Rejection Controls. The standard NonLinear Geometric Approach (NLGA) has been accurately investigated and than improved to extend its applicability to more complex models. The standard NLGA procedure has been modified to take account of feasible and estimable sets of unknown signals. Furthermore the application of the Singular Perturbations approximation has led to the solution of Detection and Isolation problems in scenarios too complex to be solved by the standard NLGA. Also the estimation process has been improved, where multiple redundant measuremtent are available, by the introduction of a new algorithm, here called "Least Squares - Sliding Mode". It guarantees optimality, in the sense of the least squares, and finite estimation time, in the sense of the sliding mode. The Active Control System concept has been formalized in two controller: a nonlinear backstepping controller and a nonlinear composite controller. Particularly interesting is the integration, in the controller design, of the estimations coming from the Diagnosis module. Stability proofs are provided for both the control schemes. Finally, different applications in aerospace have been provided to show the applicability and the effectiveness of the proposed NLGA-based Active Control System.

Dynamics and control issues of multi-rotor platforms

This thesis deals with the analytic study of dynamics of Multi--Rotor Unmanned Aerial Vehicles. It is conceived to give a set of mathematical instruments apt to the theoretical study and design of these flying machines. The entire work is organized in analogy with classical academic texts about airplane flight dynamics. First, the non--linear equations of motion are defined and all the external actions are modeled, with particular attention to rotors aerodynamics. All the equations are provided in a form, and with personal expedients, to be directly exploitable in a simulation environment. This has requited an answer to questions like the trim of such mathematical systems. All the treatment is developed aiming at the description of different multi--rotor configurations. Then, the linearized equations of motion are derived. The computation of the stability and control derivatives of the linear model is carried out. The study of static and dynamic stability characteristics is, thus, addressed, showing the influence of the various geometric and aerodynamic parameters of the machine and in particular of the rotors. All the theoretic results are finally utilized in two interesting cases. One concerns the design of control systems for attitude stabilization. The linear model permits the tuning of linear controllers gains and the non--linear model allows the numerical testing. The other case is the study of the performances of an innovative configuration of quad--rotor aircraft. With the non--linear model the feasibility of maneuvers impossible for a traditional quad--rotor is assessed. The linear model is applied to the controllability analysis of such an aircraft in case of actuator block.

Role of Acetylcholine in Control of Sexual Behavior of Male and Female Mammals

The results of studies using systemic or central applications of cholinergic drugs suggest that acetylcholine makes important contributions to the neurochemical control of male- and female-typical reproductive behaviors. In males, cholinergic control seems largely specific to some elements or aspects of copulatory behavior that can vary significantly across species. Synapses in or near the medial preoptic area represent part of this mechanism, but the entire system appears to extend more widely, perhaps especially to one or more structures flanking some part of the lateral ventricle. In females, the lordosis response that essentially defines sexual receptivity is clearly responsive to cholinergic drugs. The same seems likely to be true of other elements of female sexual behavior, but additional studies will be needed to confirm this. Changes in cholinergic activity may help to mediate estrogenic effects on female sexual behavior. However, estrogen exposure can increase or decrease cholinergic effects, suggesting a relationship that is complex and requires further analysis. Also presently unclear is the localization of the cholinergic effects on female sexual responses. Though periventricular sites again have been implicated, their identity is presently unknown. This review discusses these and other aspects of the central cholinergic systems affecting male and female sexual behaviors. Copyright 2014 Elsevier Inc. All rights reserved.

Robotics in ear, nose and throat (ENT) surgery

The three main classes of robotics in ear, nose and throat (ENT) surgery (telemanipulation, image-guided functional servoing, and computer numerical control) are discussed and important examples of applications are described to show both technological and clinical developments. As access to many anatomical features of the head requires very small and compact tools to accurately perform procedures, examples are give in ear surgery where manipulation of the minute ossicles requires fine, dexterous movements.

Optimal game theoretic distributed control methodologies in small scale power systems

This dissertation presents the competitive control methodologies for small-scale power system (SSPS). A SSPS is a collection of sources and loads that shares a common network which can be isolated during terrestrial disturbances. Micro-grids, naval ship electric power systems (NSEPS), aircraft power systems and telecommunication system power systems are typical examples of SSPS. The analysis and development of control systems for small-scale power systems (SSPS) lacks a defined slack bus. In addition, a change of a load or source will influence the real time system parameters of the system. Therefore, the control system should provide the required flexibility, to ensure operation as a single aggregated system. In most of the cases of a SSPS the sources and loads must be equipped with power electronic interfaces which can be modeled as a dynamic controllable quantity. The mathematical formulation of the micro-grid is carried out with the help of game theory, optimal control and fundamental theory of electrical power systems. Then the micro-grid can be viewed as a dynamical multi-objective optimization problem with nonlinear objectives and variables. Basically detailed analysis was done with optimal solutions with regards to start up transient modeling, bus selection modeling and level of communication within the micro-grids. In each approach a detail mathematical model is formed to observe the system response. The differential game theoretic approach was also used for modeling and optimization of startup transients. The startup transient controller was implemented with open loop, PI and feedback control methodologies. Then the hardware implementation was carried out to validate the theoretical results. The proposed game theoretic controller shows higher performances over traditional the PI controller during startup. In addition, the optimal transient surface is necessary while implementing the feedback controller for startup transient. Further, the experimental results are in agreement with the theoretical simulation. The bus selection and team communication was modeled with discrete and continuous game theory models. Although players have multiple choices, this controller is capable of choosing the optimum bus. Next the team communication structures are able to optimize the players’ Nash equilibrium point. All mathematical models are based on the local information of the load or source. As a result, these models are the keys to developing accurate distributed controllers.

Articulated Narrowcasting for Privacy and Awareness in Multimedia Conferencing Systems and Design for Implementation Within a SIP Framework

This article proposes a new focus of research for multimedia conferencing systems which allows a participant to flexibly select another participant or a group for media transmission. For example, in a traditional conference system, participants voices might by default be shared with all others, but one might want to select a subset of the conference members to send his/her media to or receive media from. We review the concept of narrowcasting, a model for limiting such information streams in a multimedia conference, and describe a design to use existing standard protocols (SIP and SDP) for controlling fine-grained narrowcasting sessions.

Conditional and inducible transgene expression in endothelial and hematopoietic cells using Cre/loxP and tetracycline-off systems

In the present study, the tetracycline-off and Cre/loxP systems were combined to gain temporal and spatial control of transgene expression. Mice were generated that carried three transgenes: Tie2-tTA, tet-O-Cre and either the ZEG or ZAP reporter. Tie2-tTA directs expression of tetracycline-controlled transactivator (tTA) in endothelial and hematopoietic cells under the control of the Tie2 promoter. Tet-O-Cre produces Cre recombinase from a minimal promoter containing the tet-operator (tetO). ZEG or ZAP contains a strong promoter and a loxP-flanked stop sequence, followed by an enhanced green fluorescence protein (EGFP) or human placental alkaline phosphatase (hPLAP) reporter. In the presence of tetracycline, the tTA transactivator produced by Tie-2-tTA is disabled and Cre is not expressed. In the absence of tetracycline, the tTA binds tet-O-Cre to drive the expression of Cre, which recombines the loxP sites of the ZEG or ZAP transgene and results in reporter gene expression. In the present study, the expression of the ZEG or ZAP reporter genes in embryos and adult animals with and without tetracycline treatment was examined. In the presence of tetracycline, no reporter gene expression was observed. When tetracycline was withdrawn, Cre excision was activated and the reporter genes were detected in endothelial and hematopoietic cells. These results demonstrate that this system may be used to bypass embryonic lethality and access adult phenotypes.

Acetate metabolism and the control of environmental pH in Candida albicans and Saccharomyces cerevisiae

Candida albicans is the most common opportunistic fungal pathogen of humans. The balance between commensal and pathogenic C. albicans is maintained largely by phagocytes of the innate immune system. Analysis of transcriptional changes after macrophage phagocytosis indicates the C. albicans response is broadly similar to starvation, including up-regulation of alternate carbon metabolism. Systems known and suspected to be part of acetate/acetyl-CoA metabolism were also up-regulated, importantly the ACH and ACS genes, which manage acetate/acetyl-CoA interconversion, and the nine-member ATO gene family, thought to participate in transmembrane acetate transport and also linked to the process of environmental alkalinization. ^ Studies into the roles of Ach, Acs1 and Acs2 function in alternate carbon metabolism revealed a substantial role for Acs2 and lesser, but distinct roles, for Ach and Acs1. Deletion mutants were made in C. albicans and were phenotypically evaluated both in vitro and in vivo. Loss of Ach function resulted in mild growth defects on ethanol and acetate and no significant attenuation in virulence in a disseminated mouse model of infection. While loss of Acs1 did not produce any significant phenotypes, loss of Acs2 greatly impaired growth on multiple carbon sources, including glucose, ethanol and acetate. We also concluded that ACS1 and ACS2 likely comprise an essential gene pair. Expression analyses indicated that ACS2 is the predominant form under most growth conditions. ^ ATO gene function had been linked to the process of environmental alkalinization, an ammonium-mediated phenomenon described here first in C. albicans. During growth in glucose-poor, amino acid-rich conditions C. albicans can rapidly change its extracellular pH. This process was glucose-repressible and was accompanied by hyphal formation and changes in colony morphology. We showed that introduction of the ATO1G53D point mutant to C. albicans blocked alkalinization, as did over-expression of C. albicans ATO2, the only C. albicans ATO gene to lack the conserved N-terminal domain. A screen for alkalinization-deficient mutants revealed that ACH1 is essential for alkalinization. However, addition of acetate to the media restored alkalinization to the ach1 mutant. We proposed a model of ATO function in which Atos regulated the cellular co-export of ammonium and acetate. ^