This paper deals with convergence analysis of the extended Kalman filters (EKFs) for sensorless motion control systems with induction motor (IM). An EKF is tuned according to a six-order discrete-time model of the IM, affected by system and measurement noises, obtained by applying a first-order Euler discretization to a six-order continuous-time model. Some properties of the discrete-time model have been explored. Among these properties, the observability property is relevant, which leads to conditions that can be directly linked with the working conditions of the machine. Starting from these properties, the convergence of the stochastic state estimation process, in mean square sense, has been shown. The convergence is also explored with reference to the difference between the samples of the state of the continuous-time model and that estimated by the EKF. The results theoretically achieved have been also validated by means of experimental tests carried out on an IM prototype
This paper addresses a security problem in robotic multi-agent systems, where agents are supposed to cooperate according to a shared protocol. A distributed Intrusion Detection System (IDS) is proposed here, that detects possible noncooperative agents. Previous work by the authors showed how single monitors embedded on-board the agents can detect noncooperative behavior, using only locally available information. In this paper, we allow such monitors to share the collected information in order to overcome their sensing limitation. In this perspective, we show how an agreement on the type of behavior of a target-robot may be reached by the monitors, through execution of a suitable consensus algorithm. After formulating a consensus problem over non-scalar quantities, and with a generic update function, we provide conditions for the consensus convergence and an upper bound to its transient duration. Effectiveness of the proposed solution is finally shown through simulation of a case study.
In this paper we address the problem of detecting faulty behaviors of cooperative mobile agents. A novel decentralized and scalable architecture that can be adopted to realize a monitor of the agents' behavior is proposed. We consider agents which may perform different independent tasks, but cooperate to guarantee the entire system's safety. Agents plan their next actions by following a set of rules which is shared among them. Such rules are decentralized, i.e. they depend only on configurations of neighboring agents. Some agents may not be acting according to this cooperation protocol, due to spontaneous failure or tampering. To detect such misbehaviors we propose a solution where each agent runs a local observer using only locally available information. The objective of the work is the definition of a basic framework to automatically realize decentralized intrusion detectors for (hybrid) multi-agent systems where interaction is modeled through logical cooperative protocols.
Autonomous vehicles are undergoing a rapid development thanks to advances in perception, planning and control methods and technologies achieved in the last two decades. Moreover, the lowering costs of sensors and computing platforms are attracting industrial entities, empowering the integration and development of innovative solutions for civilian use. Still, the development of autonomous racing cars has been confined mainly to laboratory studies and small to middle scale vehicles. This paper tackles the development of a planning and control framework for an electric full scale autonomous racing car, which is an absolute novelty in the literature, upon which we report our preliminary experiments and perspectives on future work. Our system leverages real time Nonlinear Model Predictive Control to track a pre-planned racing line. We describe the whole control system architecture including the mapping and localization methods employed.
We introduce a novel consensus mechanism by which the agents of a network can reach an agreement on the value of a shared logical vector function depending on binary input events. Based on results on the convergence of finite-state iteration systems, we provide a technique to design logical consensus systems that minimize the number of messages to be exchanged and the number of steps before consensus is reached, and that can tolerate a bounded number of failed or malicious agents. We provide sufficient joint conditions on the input visibility and the communication topology for the method's applicability. We describe the application of our method to two distributed network intrusion detection problems.
This article addresses the problem of simultaneous and robust closed-loop control of joint stiffness and position, for a class of antagonistically actuated pneumatic soft robots with rigid links and compliant joints. By introducing a first-order dynamic equation for the stiffness variable and using the additional control degree of freedom, embedded in the null space of the pneumatic actuator matrix, an innovative control approach is introduced comprising an adaptive compensator and a dynamic decoupler. The proposed solution builds upon existing adaptive control theory and provides a technique for closing the loop on joint stiffness in pneumatic variable stiffness actuators. Under a very mild assumption involving the inertia and actuator matrices, the solution is able to cope with uncertainties of the model and, when the desired stiffness is constant or slowly varying, also of the pneumatic actuator. Position and stiffness decoupling is achieved by the introduction of a first-order differential equation for an internal state variable of the controller, which takes into account the time derivative of pressure in the stiffness dynamics. A formal proof of the stability of the position and stiffness tracking errors is provided. An appealing property of the approach is that it does not require higher derivatives of position or any derivatives of stiffness. The solution is validated with respect to several use-cases, first in simulation and then via a real pneumatic soft robot with McKibben muscles. A comparison with respect to existing techniques reveals a more robust position and stiffness tracking skill.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.