In this paper, we consider the internal stabilization problems of FitzHugh-Nagumo (FHN) systems on the locally finite connected weighted graphs, which describe the process of signal transmission across axons in neur...In this paper, we consider the internal stabilization problems of FitzHugh-Nagumo (FHN) systems on the locally finite connected weighted graphs, which describe the process of signal transmission across axons in neurobiology. We will establish the proper condition on the weighted Dirichlet-Laplace operator on a graph such that the nonlinear FHN system can be stabilized exponentially and globally only using internal actuation over a sub-domain with a linear feedback form.展开更多
In this paper a stable formation control law that simultaneously ensures collision avoidance has been proposed.It is assumed that the communication graph is undirected and connected.The proposed formation control law ...In this paper a stable formation control law that simultaneously ensures collision avoidance has been proposed.It is assumed that the communication graph is undirected and connected.The proposed formation control law is a combination of the consensus term and the collision avoidance term(CAT).The first order consensus term is derived for the proposed model,while ensuring the Lyapunov stability.The consensus term creates and maintains the desired formation shape,while the CAT avoids the collision.During the collision avoidance,the potential function based CAT makes the agents repel from each other.This unrestricted repelling magnitude cannot ensure the graph connectivity at the time of collision avoidance.Hence we have proposed a formation control law,which ensures this connectivity even during the collision avoidance.This is achieved by the proposed novel adaptive potential function.The potential function adapts itself,with the online tuning of the critical variable associated with it.The tuning has been done based on the lower bound of the critical variable,which is derived from the proposed connectivity property.The efficacy of the proposed scheme has been validated using simulations done based on formations of six and thirty-two agents respectively.展开更多
Regression testing is the process of validating modified software to provide confidence that the changed parts of the software behave as intended and that the unchanged parts have not been adversely affected by the mo...Regression testing is the process of validating modified software to provide confidence that the changed parts of the software behave as intended and that the unchanged parts have not been adversely affected by the modifications. The goal of regression testing is to reduce the test suit by testing the new characters and the modified parts of a program with the original test suit. Regression testing is a high cost testing method. This paper presents a regression testing selection technique that can reduce the test suit on the basis of Control Flow Graph (CFG). It import the inherit strategy of object-oriented language to ensure an edge’s control domain to reduce the test suit size effectively. We implement the idea by coding the edge. An algorithm is also presented at last.展开更多
This paper investigates the formation control of a class of multi-agent systems moving on a circle, whose topology is a cyclic graph, and presents several new results for the following two cases: Case I, the agents wi...This paper investigates the formation control of a class of multi-agent systems moving on a circle, whose topology is a cyclic graph, and presents several new results for the following two cases: Case I, the agents with single-integrator kinematics,and Case II, the agents with double-integrator kinematics. Firstly,for Case I, two control protocols are proposed under which the multiagent systems keep a uniformly-spaced formation. Secondly,we study Case II, and a control protocol is designed for this case, then the stability of the formation is proved. Finally, three simulations are studied by using our presented results. The study of illustrative examples with simulations shows that our results as well as designed control protocols work very well in studying the formation control of this class of multi-agent systems.展开更多
A model-based fault tolerant control approach for hybrid linear dynamic systems is proposed in this paper. The proposed method, taking advantage of reliable control, can maintain the performance of the faulty system d...A model-based fault tolerant control approach for hybrid linear dynamic systems is proposed in this paper. The proposed method, taking advantage of reliable control, can maintain the performance of the faulty system during the time delay of fault detection and diagnosis (FDD) and fault accommodation (FA), which can be regarded as the first line of defence against sensor faults. Simulation results of a three-tank system with sensor fault are given to show the efficiency of the method.展开更多
To investigate the leader-following formation control, in this paper we present the design problem of control protocols and distributed observers under which the agents can achieve and maintain the desired formation f...To investigate the leader-following formation control, in this paper we present the design problem of control protocols and distributed observers under which the agents can achieve and maintain the desired formation from any initial states, while the velocity converges to that of the virtual leader whose velocity cannot be measured by agents in real time. The two cases of switching topologies without communication delay and fixed topology with time-varying communication delay are both considered for multi-agent networks. By using the Lyapunov stability theory, the issue of stability is analysed for multi-agent systems with switching topologies. Then, by considering the time-varying communication delay, the sufficient condition is proposed for the multi-agent systems with fixed topology. Finally, two numerical examples are given to illustrate the effectiveness of the proposed leader-following formation control protocols.展开更多
A decentralized information feedback mechanism was introduced to a group of mobile robots such that the robots asymptotically converge to a given moving formation. While various distributed cooperative control strateg...A decentralized information feedback mechanism was introduced to a group of mobile robots such that the robots asymptotically converge to a given moving formation. While various distributed cooperative control strategies have been studied in theory,few of them have been systematically validated on experimental platforms. This paper demonstrates the experimental results of consensus-based decentralized information feedback mechanism on a multiple mobile robotic fish platform. In this paper, we firstly introduced a fundamental consensus algorithm for systems model and the cooperative control experimental platform,and then experimentally implemented and validated the formation control algorithm through setting transit point and lookup table method and so on. The experimental results show the effectiveness of the consensus-based decentralized information feedback control strategies.展开更多
This paper discusses consensus control for a kind of dynamical agents in network. It is assumed that the agents distributed on a plane and their location coordinates are measured by remote sensor and transmitted to it...This paper discusses consensus control for a kind of dynamical agents in network. It is assumed that the agents distributed on a plane and their location coordinates are measured by remote sensor and transmitted to its neighbors. By designing the linear distributed control protocol, it is shown that the group of agents will achieves consensus. The simulations are given to show the effectiveness of our theoretical result.展开更多
Hadamard synergic control is a new kind of control problem which is achieved via a composite strategy of the state feedback control and the direct regulation of the part of connection coefficients of system state vari...Hadamard synergic control is a new kind of control problem which is achieved via a composite strategy of the state feedback control and the direct regulation of the part of connection coefficients of system state variables. Such a control is actually used very often in the practical areas. In this paper, we discuss Hadamard synergic stabilization problem for a class of dynamical networks. We analyze three cases: 1) Synergic stabilization problem for the general twonodenetwork. 2) Synergic stabilization problem for a special kind of networks. 3) Synergic stabilization problem for special kind of networks with communication timedelays. The mechanism of the synergic action between two control strategies: feedback control and the connection coefficients regulations are presented.展开更多
This paper deals with optimal control problem of parabolic differential equation with two point boundary conditions tin the time variable). The results here extend those in [3] on optimal control of the heat equations...This paper deals with optimal control problem of parabolic differential equation with two point boundary conditions tin the time variable). The results here extend those in [3] on optimal control of the heat equations. Moreover, the technique used in this paper is based on some smooth approximations of 'tangent cones' in the sense of Clarke and some maximal monotone operators.展开更多
Model based control schemes use the inverse dynamics of the robot arm to produce the main torque component necessary for trajectory tracking. For model-based controller one is required to know the model parameters acc...Model based control schemes use the inverse dynamics of the robot arm to produce the main torque component necessary for trajectory tracking. For model-based controller one is required to know the model parameters accurately. This is a very difficult task especially if the manipulator is flexible. So a reduced model based controller has been developed, which requires only the information of space robot base velocity and link parameters. The flexible link is modeled as Euler Bernoulli beam. To simplify the analysis we have considered Jacobian of rigid manipulator. Bond graph modeling is used to model the dynamics of the system and to devise the control strategy. The scheme has been verified using simulation for two links flexible space manipulator.展开更多
基金Project supported by the National Natural Science Foundation of China(Grant Nos.61374096,61104048,and 11231007)the Natural Science Foundation of Zhejiang Province,China(Grant No.Y6110751)
文摘In this paper, we consider the internal stabilization problems of FitzHugh-Nagumo (FHN) systems on the locally finite connected weighted graphs, which describe the process of signal transmission across axons in neurobiology. We will establish the proper condition on the weighted Dirichlet-Laplace operator on a graph such that the nonlinear FHN system can be stabilized exponentially and globally only using internal actuation over a sub-domain with a linear feedback form.
基金supported and funded by the CC&BT Division of the Department of Electronics & Information Technology,Govt,of India(23011/22/2013-R&DIN CC&BT)
文摘In this paper a stable formation control law that simultaneously ensures collision avoidance has been proposed.It is assumed that the communication graph is undirected and connected.The proposed formation control law is a combination of the consensus term and the collision avoidance term(CAT).The first order consensus term is derived for the proposed model,while ensuring the Lyapunov stability.The consensus term creates and maintains the desired formation shape,while the CAT avoids the collision.During the collision avoidance,the potential function based CAT makes the agents repel from each other.This unrestricted repelling magnitude cannot ensure the graph connectivity at the time of collision avoidance.Hence we have proposed a formation control law,which ensures this connectivity even during the collision avoidance.This is achieved by the proposed novel adaptive potential function.The potential function adapts itself,with the online tuning of the critical variable associated with it.The tuning has been done based on the lower bound of the critical variable,which is derived from the proposed connectivity property.The efficacy of the proposed scheme has been validated using simulations done based on formations of six and thirty-two agents respectively.
基金This work was supported by Shanghai Municipal Science and Technology commission No.04ZR14105and Shanghai UniversitiesTechnology Development Foundation No.2002DZ46
文摘Regression testing is the process of validating modified software to provide confidence that the changed parts of the software behave as intended and that the unchanged parts have not been adversely affected by the modifications. The goal of regression testing is to reduce the test suit by testing the new characters and the modified parts of a program with the original test suit. Regression testing is a high cost testing method. This paper presents a regression testing selection technique that can reduce the test suit on the basis of Control Flow Graph (CFG). It import the inherit strategy of object-oriented language to ensure an edge’s control domain to reduce the test suit size effectively. We implement the idea by coding the edge. An algorithm is also presented at last.
基金supported by the National Natural Science Foundation of China(G61374065,61373081,61303007,61401260,61503225,61572298)the Research Fund for the Taishan Scholar Project of Shandong Province of Chinathe Natural Science Foundation of Shandong Province(ZR2015FQ003)
文摘This paper investigates the formation control of a class of multi-agent systems moving on a circle, whose topology is a cyclic graph, and presents several new results for the following two cases: Case I, the agents with single-integrator kinematics,and Case II, the agents with double-integrator kinematics. Firstly,for Case I, two control protocols are proposed under which the multiagent systems keep a uniformly-spaced formation. Secondly,we study Case II, and a control protocol is designed for this case, then the stability of the formation is proved. Finally, three simulations are studied by using our presented results. The study of illustrative examples with simulations shows that our results as well as designed control protocols work very well in studying the formation control of this class of multi-agent systems.
基金Supported by National Natural Science Foundation of P.R.China (60574083)Key Laboratory of Process Industry Automation, Ministry of Education of P.R.China (PAL200514)Innovation Scientific Fund of Nanjing University of Aeronautics and Astronautics (Y0508-031)
文摘A model-based fault tolerant control approach for hybrid linear dynamic systems is proposed in this paper. The proposed method, taking advantage of reliable control, can maintain the performance of the faulty system during the time delay of fault detection and diagnosis (FDD) and fault accommodation (FA), which can be regarded as the first line of defence against sensor faults. Simulation results of a three-tank system with sensor fault are given to show the efficiency of the method.
基金Project supported by the National Natural Science Foundation for Distinguished Young Scholars of China (Grant No. 60525303)the National Natural Science Foundation of China (Grant No. 60704009)+1 种基金the Key Project for Natural Science Research of the Hebei Educational Department (Grant No. ZD200908)the Doctorial Fund of Yanshan University (Grant No. B203)
文摘To investigate the leader-following formation control, in this paper we present the design problem of control protocols and distributed observers under which the agents can achieve and maintain the desired formation from any initial states, while the velocity converges to that of the virtual leader whose velocity cannot be measured by agents in real time. The two cases of switching topologies without communication delay and fixed topology with time-varying communication delay are both considered for multi-agent networks. By using the Lyapunov stability theory, the issue of stability is analysed for multi-agent systems with switching topologies. Then, by considering the time-varying communication delay, the sufficient condition is proposed for the multi-agent systems with fixed topology. Finally, two numerical examples are given to illustrate the effectiveness of the proposed leader-following formation control protocols.
基金Sponsored by the National Natural Science Foundation of China(Grant No.61174096)
文摘A decentralized information feedback mechanism was introduced to a group of mobile robots such that the robots asymptotically converge to a given moving formation. While various distributed cooperative control strategies have been studied in theory,few of them have been systematically validated on experimental platforms. This paper demonstrates the experimental results of consensus-based decentralized information feedback mechanism on a multiple mobile robotic fish platform. In this paper, we firstly introduced a fundamental consensus algorithm for systems model and the cooperative control experimental platform,and then experimentally implemented and validated the formation control algorithm through setting transit point and lookup table method and so on. The experimental results show the effectiveness of the consensus-based decentralized information feedback control strategies.
文摘This paper discusses consensus control for a kind of dynamical agents in network. It is assumed that the agents distributed on a plane and their location coordinates are measured by remote sensor and transmitted to its neighbors. By designing the linear distributed control protocol, it is shown that the group of agents will achieves consensus. The simulations are given to show the effectiveness of our theoretical result.
基金Supported by National Research Foundation of Singapore (NRF-CRP8-2011-03) and National Natural Science Foundation of China (61120106011, 61034007, 61203045, 61304045)
文摘Hadamard synergic control is a new kind of control problem which is achieved via a composite strategy of the state feedback control and the direct regulation of the part of connection coefficients of system state variables. Such a control is actually used very often in the practical areas. In this paper, we discuss Hadamard synergic stabilization problem for a class of dynamical networks. We analyze three cases: 1) Synergic stabilization problem for the general twonodenetwork. 2) Synergic stabilization problem for a special kind of networks. 3) Synergic stabilization problem for special kind of networks with communication timedelays. The mechanism of the synergic action between two control strategies: feedback control and the connection coefficients regulations are presented.
文摘This paper deals with optimal control problem of parabolic differential equation with two point boundary conditions tin the time variable). The results here extend those in [3] on optimal control of the heat equations. Moreover, the technique used in this paper is based on some smooth approximations of 'tangent cones' in the sense of Clarke and some maximal monotone operators.
文摘Model based control schemes use the inverse dynamics of the robot arm to produce the main torque component necessary for trajectory tracking. For model-based controller one is required to know the model parameters accurately. This is a very difficult task especially if the manipulator is flexible. So a reduced model based controller has been developed, which requires only the information of space robot base velocity and link parameters. The flexible link is modeled as Euler Bernoulli beam. To simplify the analysis we have considered Jacobian of rigid manipulator. Bond graph modeling is used to model the dynamics of the system and to devise the control strategy. The scheme has been verified using simulation for two links flexible space manipulator.