Two invariance principles for generalized hybrid systems are presented. One version involves the use of a nonincreasing function, like in the original work of LaSalle. The other version involves "meagreness"...
详细信息
Two invariance principles for generalized hybrid systems are presented. One version involves the use of a nonincreasing function, like in the original work of LaSalle. The other version involves "meagreness" conditions. These principles characterize asymptotic convergence of bounded hybrid trajectories to weakly invariant sets. A detectability property is used to locate a set in which the Q-limit set of a trajectory is contained. Next, it is shown how the invariance principles can be used to certify asymptotic stability in hybrid systems. Lyapunov and Krasovskii theorems for hybrid systems are included.
The goal of this work is to develop a robot-assisted surgery system for spinal fusion, which is composed of a robot, a surgical planning system, and an optical tracking system. The system plays roles of assisting surg...
详细信息
In this presentation, we show some counter-examples to a naive belief that the security of QKD is based on no-cloning theorem. One example is shown by explicitly proving that one can indeed generate an unconditionally...
详细信息
In this presentation, we show some counter-examples to a naive belief that the security of QKD is based on no-cloning theorem. One example is shown by explicitly proving that one can indeed generate an unconditionally secure key from Alice's two-photon emission part in "SARG04 protocol" proposed by V. Scarani et al, in Phys. Rev. Lett. 92, 057901 (2004). This protocol differs from BB84 only in the classical communication. It is, thus, interesting to see how only the classical communication of QKD protocol might qualitatively change its security. We also show that one can generate an unconditionally secure key from the single to the four-photon part in a generalized SARG04 that uses six states. Finally, we also compare the bit error rate threshold of these protocols with the one in BB84 and the original six-state protocol assuming a depolarizing channel
In this paper, an intelligent controller is applied to speed control of a switched reluctance motor. Two techniques are used which have been successfully used in other intelligent modeling and control applications. Fi...
详细信息
In this paper, an intelligent controller is applied to speed control of a switched reluctance motor. Two techniques are used which have been successfully used in other intelligent modeling and control applications. Firstly, a neuro-fuzzy locally linear model tree system is used for data driven modeling of the switched reluctance motor. Secondly, a neural computing technique based on a mathematical model of amygdala and the limbic system is used for emotional control of the switched reluctance motor. The obtained results indicate the applicability of the proposed techniques in intelligent control of this highly nonlinear system.
A general approach to the optimization of the observation horizon of moving sensor trajectories for parameter estimation of distributed systems is presented. Two problems are formulated here. The first consists in max...
详细信息
A general approach to the optimization of the observation horizon of moving sensor trajectories for parameter estimation of distributed systems is presented. Two problems are formulated here. The first consists in maximizing the determinant of the information matrix for a specified duration of observations and an open initial time, and the other constitutes its generalization to the case where the elapsed observation time is minimized subject to a guaranteed D-efficiency of the experiment. The approach is to convert the problem to an optimal control one in Mayer form, in which both the control forces of the sensors and the initial sensor positions are optimized in addition to the limits of the observation horizon.
Recently, the capsule endoscope has been developed to observe image from the inside intestine. Such a capsule endoscope does not have locomotion or hold by it self. To get proper diagnosis and meditation, it is necess...
详细信息
ISBN:
(纸本)0780393112
Recently, the capsule endoscope has been developed to observe image from the inside intestine. Such a capsule endoscope does not have locomotion or hold by it self. To get proper diagnosis and meditation, it is necessary to control capsule from outside to enable to guide locomotion. The designed and implemented capsule has feasibility to contracts the small intestine by electrical stimulus from stimulus pad. When the small intestine is contracted by electrical stimulus, the capsule can move to opposite direction which can boost moving speed of the capsule or change moving direction. The implemented stimuli capsule always monitors excessive energy transmit and automatically shut down electrical stimuli to make more secure. Also the stimuli capsule goes to stand by mode to save battery, and reset by comparator circuit which is connected to two stimulus pad. To verify the design and implement stimuli capsule, in-vitro experiments are performed with pig's small intestine.
The classification of protein structures is essential for their function determination in bioinformatics. The success of the protein structure classification depends on two factors: the computational methods used and ...
详细信息
This paper presents a new suboptimal design for stable fuzzy controller. Using fuzzy plant model and locally optimal gains (based on LQR design), we suggest a sufficient condition for stability of the closed-loop syst...
详细信息
This paper presents a new suboptimal design for stable fuzzy controller. Using fuzzy plant model and locally optimal gains (based on LQR design), we suggest a sufficient condition for stability of the closed-loop system that can be expressed as Linear Matrix Inequaloities. Provided that we have an accurate fuzzy model of the plant, the real system is globally stabel too. This new approach facilitates the design process much yielding sub-optimal global design. Simulation results show that even if we have not an exact fuzzsy model representation, this method increases attraction domain of the system comparing with conventional linear optimal contrllers.
A relatively general framework for designing robust controllers over communication networks is presented. It has the capability of handling randomly time-varying packet transmission delays and probability of packet lo...
详细信息
A relatively general framework for designing robust controllers over communication networks is presented. It has the capability of handling randomly time-varying packet transmission delays and probability of packet losses. The presented method can also handle multiple channels of communication simultaneously. Results are based on continuous time methods that use Lyapunov-Krasovskii functionals. It is shown via an example that how state feedback controllers can be designed based on LMIs. Fixed structure output feedback controllers have been designed based on BMIs.
The problem of designing a linear controller for nonlinear polynomial systems that results the largest domain of attraction is considered. Moreover, using the proposed algorithm, the shape of the approximation of doma...
详细信息
The problem of designing a linear controller for nonlinear polynomial systems that results the largest domain of attraction is considered. Moreover, using the proposed algorithm, the shape of the approximation of domain of attraction can be defined, due to importance and change of different states of system. To compute the estimate of the region of attraction, a Lyapunov function has been used. The designing problem involves solving a double nonconvex optimization problem, which can be changed to a semiconvex optimization problem, via linear matrix inequalities (LMI).
暂无评论