Stability analysis of event-triggered anytime control with multiple control laws

To deal with time-varying processor availability and lossy communication channels in embedded and networked control systems, one can employ an event-triggered sequence-based anytime control (E-SAC) algorithm. The main idea of E-SAC is, when computing resources and measurements are available, to compute a sequence of tentative control inputs and store them in a buffer for potential future use. State-dependent Random-time Drift (SRD) approach is often used to analyse and establish stability properties of such E-SAC algorithms. However, using SRD, the analysis quickly becomes combinatoric and hence difficult to extend to more sophisticated E-SAC. In this technical note, we develop a general model and a new stability analysis for E-SAC based on Markov jump systems. Using the new stability analysis, stochastic stability conditions of existing E-SAC are also recovered. In addition, the proposed technique systematically extends to a more sophisticated E-SAC scheme for which, until now, no analytical expression had been obtained.Comment: Accepted for publication in IEEE Transactions on Automatic Contro

Optimization and Control of Cyber-Physical Vehicle Systems

A cyber-physical system (CPS) is composed of tightly-integrated computation, communication and physical elements. Medical devices, buildings, mobile devices, robots, transportation and energy systems can benefit from CPS co-design and optimization techniques. Cyber-physical vehicle systems (CPVSs) are rapidly advancing due to progress in real-time computing, control and artificial intelligence. Multidisciplinary or multi-objective design optimization maximizes CPS efficiency, capability and safety, while online regulation enables the vehicle to be responsive to disturbances, modeling errors and uncertainties. CPVS optimization occurs at design-time and at run-time. This paper surveys the run-time cooperative optimization or co-optimization of cyber and physical systems, which have historically been considered separately. A run-time CPVS is also cooperatively regulated or co-regulated when cyber and physical resources are utilized in a manner that is responsive to both cyber and physical system requirements. This paper surveys research that considers both cyber and physical resources in co-optimization and co-regulation schemes with applications to mobile robotic and vehicle systems. Time-varying sampling patterns, sensor scheduling, anytime control, feedback scheduling, task and motion planning and resource sharing are examined

Networked and event-triggered control systems

In this thesis, control algorithms are studied that are tailored for platforms with limited computation and communication resources. The interest in such control algorithms is motivated by the fact that nowadays control algorithms are implemented on small and inexpensive embedded microprocessors and that the sensors, actuators and controllers are connected through multipurpose communication networks. To handle the fact that computation power is no longer abundant and that communication networks do not have in finite bandwidth, the control algorithms need to be either robust for the deficiencies induced by these constraints, or they need to optimally utilise the available computation and communication resources. In this thesis, methodologies for the design and analysis of control algorithms with such properties are developed. Networked Control Systems: In the first part of the thesis, so-called networked control systems (NCSs) are studied. The control algorithms studied in this part of the thesis can be seen as conventional sampled-data controllers that need to be robust against the artefacts introduced by using a finite bandwidth communication channel. The network-induced phenomena that are considered in this thesis are time-varying transmission intervals, time-varying delays, packet dropouts and communication constraints. The latter phenomenon causes that not all sensor and actuator data can be transmitted simultaneously and, therefore, a scheduling protocol is needed to orchestrate when to transmit what data over the network. To analyse the stability of the NCSs, a discrete-time modelling framework is presented and, in particular, two cases are considered: in the first case, the transmission intervals and delays are assumed to be upper and lower bounded, and in the second case, they are described by a random process, satisfying a continuous joint probability distribution. Both cases are relevant. The former case requires a less detailed description of the network behaviour than the latter case, while the latter results in a less conservative stability analysis than the former. This allows to make a tradeoff between modelling accuracy (of network-induced effects) and conservatism in the stability analysis. In both cases, linear plants and controllers are considered and the NCS is modelled as a discrete-time switched linear parameter-varying system. To assess the stability of this system, novel polytopic overapproximations are developed, which allows the stability of the NCS to be studied using a finite number of linear matrix inequalities. It will be shown that this approach reduces conservatism significantly with respect to existing results in the literature and allows for studying larger classes of controllers, including discrete-time dynamical output-based controllers. Hence, the main contribution of this part of the thesis is the development of a new and general framework to analyse the stability of NCSs subject to four network-induced phenomena in a hardly conservative manner. Event-Triggered Control Systems: In the second part of the thesis, socalled event-triggered control (ETC) systems are studied. ETC is a control strategy in which the control task is executed after the occurrence of an external event, rather than the elapse of a certain period of time as in conventional periodic control. In this way, ETC can be designed to only provide control updates when needed and, thereby, to optimally utilise the available computation and communication resources. This part of the thesis consists of three main contributions in this appealing area of research. The first contribution is the extension of the existing results on ETC towards dynamical output-based feedback controllers, instead of state-feedback control, as is common in the majority of the literature on ETC. Furthermore, extensions towards decentralised event triggering are presented. These extensions are important for practical implementations of ETC, as in many control applications the full state is hardly ever available for feedback, and sensors and actuators are often physically distributed, which prohibits the use of centralised event-triggering conditions. To study the stability and the L1-performance of this ETC system, a modelling framework based on impulsive systems is developed. Furthermore, for the novel output-based decentralised event-triggering conditions that are proposed, it is shown how nonzero lower bounds on the minimum inter-event times can be guaranteed and how they can be computed. The second contribution is the proposition of the new class of periodic event-triggered control (PETC) algorithms, where the objective is to combine the benefits that, on the one hand, periodic control and, on the other hand, ETC offer. In PETC, the event-triggering condition is monitored periodically and at each sampling instant it is decided whether or not to transmit the data and to use computation resources for the control task. Such an event-triggering condition has several benefits, including the inherent existence of a minimum inter-event time, which can be tuned directly. Furthermore, the fact that the event-triggering condition is only verified at the periodic sampling times, instead of continuously, makes it possible to implement this strategy in standard time-sliced embedded software architectures. To analyse the stability and the L2-performance for these PETC systems, methodologies based on piecewiselinear systems models and impulsive system models will be provided, leading to an effective analysis framework for PETC. Finally, a novel approach to solving the codesign problem of both the feedback control algorithm and the event-triggering condition is presented. In particular, a novel way to solve the minimum attention and anytime attention control problems is proposed. In minimum attention control, the `attention' that a control task requires is minimised, and in anytime attention control, the performance under the `attention' given by a scheduler is maximised. In this context, `attention' is interpreted as the inverse of the time elapsed between two consecutive executions of a control task. The two control problems are solved by formulating them as linear programs, which can be solved efficiently in an online fashion. This offers a new and elegant way to solve both the minimum attention control problem and the anytime attention control problem in one unifying framework. The contributions presented in this thesis can form a basis for future research explorations that can eventually lead to a mature system theory for both NCSs and ETC systems, which are indispensable for the deployment of NCSs and ETC systems in a large variety of practical control applications

A Survey on Aerial Swarm Robotics

The use of aerial swarms to solve real-world problems has been increasing steadily, accompanied by falling prices and improving performance of communication, sensing, and processing hardware. The commoditization of hardware has reduced unit costs, thereby lowering the barriers to entry to the field of aerial swarm robotics. A key enabling technology for swarms is the family of algorithms that allow the individual members of the swarm to communicate and allocate tasks amongst themselves, plan their trajectories, and coordinate their flight in such a way that the overall objectives of the swarm are achieved efficiently. These algorithms, often organized in a hierarchical fashion, endow the swarm with autonomy at every level, and the role of a human operator can be reduced, in principle, to interactions at a higher level without direct intervention. This technology depends on the clever and innovative application of theoretical tools from control and estimation. This paper reviews the state of the art of these theoretical tools, specifically focusing on how they have been developed for, and applied to, aerial swarms. Aerial swarms differ from swarms of ground-based vehicles in two respects: they operate in a three-dimensional space and the dynamics of individual vehicles adds an extra layer of complexity. We review dynamic modeling and conditions for stability and controllability that are essential in order to achieve cooperative flight and distributed sensing. The main sections of this paper focus on major results covering trajectory generation, task allocation, adversarial control, distributed sensing, monitoring, and mapping. Wherever possible, we indicate how the physics and subsystem technologies of aerial robots are brought to bear on these individual areas

Final report on the farmer's aid in plant disease diagnoses

This report is the final report on the FAD project. The FAD project was initiated in september 1985 to test the expert system shell Babylon by developing a prototype crop disease diagnosis system in it. A short overview of the history of the project and the main problems encountered is given in chapter 1. Chapter 2 describes the result of an attempt to integrate JSD with modelling techniques like generalisation and aggregation and chapter 3 concentrates on the method we used to elicit phytopathological knowledge from specialists. Chapter 4 gives the result of knowledge acquisition for the 10 wheat diseases most commonly occurring in the Netherlands. The user interface is described briefly in chapter 5 and chapter 6 gives an overview of the additions to the implementation we made to the version of FAD reported in our second report. Chapter 7, finally, summarises the conclusions of the project and gives recommendations for follow-up projects