Stochastic stability and stabilization of discrete‐time singular Markovian jump systems with partially unknown transition probabilities

This paper considers the stochastic stability and stabilization of discrete‐time singular Markovian jump systems with partially unknown transition probabilities. Firstly, a set of necessary and sufficient conditions for the stochastic stability is proposed in terms of LMIs, then a set of sufficient conditions is proposed for the design of a state feedback controller to guarantee that the corresponding closed‐loop systems are regular, causal, and stochastically stable by employing the LMI technique. Finally, some examples are provided to demonstrate the effectiveness of the proposed approaches. Copyright © 2014 John Wiley & Sons, Ltd.     

Some results on disturbance attenuation for Hamiltonian systems via direct discrete‐time design

The disturbance attenuation and robust disturbance attenuation problems for Hamiltonian systems in the discrete‐time setting are considered and some new results are presented. The new results are derived utilizing the recently presented dissipativity equality obtained by adding the dissipation rate function to the classical dissipativity inequality. A selection of the dissipation rate function yields new results. These results include a condition on the dissipation structure of the system to achieve the desired disturbance attenuation level and gives direct construction of optimal control laws for any desired disturbance attenuation level. The results remove the need to solve Hamilton–Jacobi–Isaacs inequalities. Copyright © 2014 John Wiley & Sons, Ltd.     

NEW TUNING METHOD FOR PID CONTROL OF A PLANT WITH UNDER‐DAMPED RESPONSE

In this paper, a tuning formula is derived for PID control of plants with under‐damped step responses. The under‐damped systems are modeled by second‐order plus dead time transfer functions. To derive the tuning rule, the dominant pole assignment method was applied to design the PID controllers for a variety of plant models. Then, the correlation between the controller parameters and the parameters of the models was found and the tuning formula derived. Several simulation examples are given to demonstrate the effectiveness and robustness of this formula.     

Adaptive dynamic surface control for uncertain nonaffine nonlinear systems

This paper focuses on the problem of adaptive control for uncertain nonaffine nonlinear systems. The original nonaffine systems are transformed into the augmented affine systems via adding an auxiliary integrator, which makes the explicit control design possible. By introducing a modified sliding mode filter in each step, a novel adaptive dynamic surface controller is proposed, where the ‘explosion of complexity’ problem inherent in the backstepping design is avoided. It is proven rigorously that for any initial control condition, the proposed adaptive scheme is able to ensure the semiglobal uniformly ultimately boundedness of all signals in the closed loop. An illustrative example is carried out to verify the effectiveness of the proposed approach. Copyright © 2016 John Wiley & Sons, Ltd.     

Distributed filtering and synchronization of diffusively state‐coupled heterogeneous systems

This paper studies distributed filtering‐based ssynchronization of diffusively state‐coupled heterogeneous systems. For given heterogeneous subsystems and a network topology, sufficient conditions for the filtering‐based synchronization are developed with a guaranteed performance. The estimation and synchronization error dynamics are obtained in a decoupled form, and it is shown that the filter and the controller can be designed separately by LMIs. The feasibility of the proposed design method using LMIs is discussed, and the main results are validated through examples with various setup. Copyright © 2016 John Wiley & Sons, Ltd.     

Robust periodically time‐varying horizon finite memory fault detection filter design for polytopic uncertain discrete‐time systems

In this paper, a robust periodically time‐varying horizon finite memory fault detection filter (PTVHFM‐FDF) is proposed to generate residual signal for the purpose of system monitoring. The major advantage of PTVHFM‐FDF is that finite historical data can be sufficiently utilized to enhance the robustness of fault detection against model uncertainty and external disturbance. The analysis, design, and application of PTVHFM‐FDF consist of several steps. Firstly, a periodic time‐varying residual error system is constructed on the basis of augmented method and time domain partition method. Secondly, in facilitating robust stability and performance analysis, the time‐varying residual error system is further transformed into a polyhedral time‐invariant system on the basis of time lifting technique. Thirdly, less conservative PTVHFM‐FDF analysis and design conditions are then obtained on the basis of Finsler relaxation lemma and slack variable structure definition. Fourthly, choices of memory window horizon parameters are properly suggested on the basis of a compromise between FDF robustness and its structural complexity. Finally, an integrated design and application algorithm of PTVHFM‐FDF is summarized. Effectiveness of PTVHFM‐FDF is verified through three examples. Copyright © 2017 John Wiley & Sons, Ltd.     

Periodic event‐triggered observation and control for nonlinear Lipschitz systems using impulsive observers

In this paper, we investigate the observation and stabilization problems for a class of nonlinear Lipschitz systems, subject to network constraints, and partial state knowledge. In order to address these problems, an impulsive observer is designed, making use of the event‐triggered technique in order to diminish the network communications. Sufficient conditions are given to ensure a milder version of the separation principle for these systems, controlled via an event‐triggered controller. The proposed observer ensures practical state estimation, while the corresponding dynamic controller ensures practical stabilization. The sampling and the data transmission are carried out asynchronously. The dynamic controller is tested in simulation on a flexible joint. Copyright © 2017 John Wiley & Sons, Ltd.     

A simple robust control for global asymptotic position stabilization of underactuated surface vessels

Global asymptotic stabilization of underactuated surface vessels is generally achieved only by designing complicated controllers. This paper proposes a very simple control law that globally asymptotically stabilizes the position of underactuated surface vessel to a desired constant location and its velocities to zero. The proposed controller is independent of velocity signals and is robust to model parameters. It neither includes an observer nor an adaptive/sliding‐mode law. Controller development and stability analysis rely on a novel Lyapunov function and LaSalle's theorem. Furthermore, by extending the proposed control strategy, a saturated control law is also obtained ensuring the semiglobal asymptotic stability of position error system. Effectiveness of the proposed control schemes is demonstrated by simulation examples. Copyright © 2017 John Wiley & Sons, Ltd.     

Integrated Data Management for a Fleet of Search‐and‐rescue Robots

Search‐and‐rescue operations have recently been confronted with the introduction of robotic tools that assist the human search‐and‐rescue workers in their dangerous but life‐saving job of searching for human survivors after major catastrophes. However, the world of search and rescue is highly reliant on strict procedures for the transfer of messages, alarms, data, and command and control over the deployed assets. The introduction of robotic tools into this world causes an important structural change in this procedural toolchain. Moreover, the introduction of search‐and‐rescue robots acting as data gatherers could potentially lead to an information overload toward the human search‐and‐rescue workers, if the data acquired by these robotic tools are not managed in an intelligent way. With that in mind, we present in this paper an integrated data combination and data management architecture that is able to accommodate real‐time data gathered by a fleet of robotic vehicles on a crisis site, and we present and publish these data in a way that is easy to understand by end‐users. In the scope of this paper, a fleet of unmanned ground and aerial search‐and‐rescue vehicles is considered, developed within the scope of the European ICARUS project. As a first step toward the integrated data‐management methodology, the different robotic systems require an interoperable framework in order to pass data from one to another and toward the unified command and control station. As a second step, a data fusion methodology will be presented, combining the data acquired by the different heterogenic robotic systems. The computation needed for this process is done in a novel mobile data center and then (as a third step) published in a software as a service (SaaS) model. The SaaS model helps in providing access to robotic data over ubiquitous Ethernet connections. As a final step, we show how the presented data‐management architecture allows for reusing recorded exercises with real robots and rescue teams for training purposes and teaching search‐and‐rescue personnel how to handle the different robotic tools. The system was validated in two experiments. First, in the controlled environment of a military testing base, a fleet of unmanned ground and aerial vehicles was deployed in an earthquake‐response scenario. The data gathered by the different interoperable robotic systems were combined by a novel mobile data center and presented to the end‐user public. Second, an unmanned aerial system was deployed on an actual mission with an international relief team to help with the relief operations after major flooding in Bosnia in the spring of 2014. Due to the nature of the event (floods), no ground vehicles were deployed here, but all data acquired by the aerial system (mainly three‐dimensional maps) were stored in the ICARUS data center, where they were securely published for authorized personnel all over the world. This mission (which is, to our knowledge, the first recorded deployment of an unmanned aerial system by an official governmental international search‐and‐rescue team in another country) proved also the concept of the procedural integration of the ICARUS data management system into the existing procedural toolchain of the search and rescue workers, and this in an international context (deployment from Belgium to Bosnia). The feedback received from the search‐and‐rescue personnel on both validation exercises was highly positive, proving that the ICARUS data management system can efficiently increase the situational awareness of the search‐and‐rescue personnel.     

Experimental Evaluation and Formal Analysis of High‐Level Tasks with Dynamic Obstacle Anticipation on a Full‐Sized Autonomous Vehicle

Certifying the behavior of autonomous systems is essential to the development and deployment of systems in safety‐critical applications. This paper presents an approach to using a correct‐by‐construction controller with the probabilistic results of dynamic obstacle anticipation, and validates the approach with experimental data obtained from Cornell's full‐scale autonomous vehicle. The obstacle anticipation (used to calculate the probability of collision with dynamic obstacles around the vehicle) is abstracted to a set of Boolean observations, which are then used by the synthesized controller (a state machine generated from temporal logic task specifications). The obstacle anticipation, sensor abstraction, and synthesized controller are implemented on a full‐scale autonomous vehicle, and experimental data are collected and compared with a formal analysis of the probabilistic behavior of the system. A comparison of the results shows good agreement between the formal analysis and the experimental results.