无线网络中密钥管理技术概述

密钥管理技术是基本的安全技术之一,在无线网络中扮演重要的角色。无线网络中密钥管理技术的研究是近年来的热点。本文概述了无线网络中密钥管理技术,即无线传感器网络和无线自组网络中的密钥管理技术。     

State feedback design for input-saturating quadratic systems

This paper proposes a method to design stabilizing state feedback control laws for nonlinear quadratic systems subject to input saturation. Based on a quadratic Lyapunov function, a modified sector condition and a particular representation for the quadratic terms, synthesis conditions in a “quasi”-LMI form are stated in a regional (local) context. An LMI-based optimization problem is then derived for computing the state feedback gains maximizing the estimate of the stability region of the closed-loop system.     

Stability analysis for multi-agent systems using the incidence matrix: Quantized communication and formation control

The spectral properties of the incidence matrix of the communication graph are exploited to provide solutions to two multi-agent control problems. In particular, we consider the problem of state agreement with quantized communication and the problem of distance-based formation control. In both cases, stabilizing control laws are provided when the communication graph is a tree. It is shown how the relation between tree graphs and the null space of the corresponding incidence matrix encode fundamental properties for these two multi-agent control problems.     

Fault tolerant control for singular systems with actuator saturation and nonlinear perturbation

In this paper, the problem of robust fault tolerant control for a class of singular systems subject to both time-varying state-dependent nonlinear perturbation and actuator saturation is investigated. A sufficient condition for the existence of a fixed-gain controller is first proposed which guarantees the regularity, impulse-free and stability of the closed-loop system under all possible faults. An optimization problem with LMI constraints is formulated to determine the largest contractively invariant ellipsoid. An adaptive fault tolerant controller is then developed to compensate for the failure effects on the system by estimating the fault and updating the design parameter matrices online. Both of these two controllers are in the form of a saturation avoidance feedback with the advantage of relatively small actuator capacities compared with the high gain counterpart. An example is included to illustrate the proposed procedures and their effectiveness.     

Modified criterion for global asymptotic stability of fixed-point state-space digital filters using two’s complement arithmetic

A criterion for the global asymptotic stability of fixed-point state-space digital filters using two’s complement arithmetic is presented. The criterion is a modified form of a well-known criterion due to Mills, Mullis, and Roberts. The criterion is in the form of linear matrix inequality and, hence, computationally tractable. An example shows the effectiveness of the modified criterion.     

Markov Jump Linear Systems with switching transition rates: Mean square stability with dwell-time

The stability of a class of Markov Jump Linear Systems characterized by piecewise-constant transition rates and system dynamics is investigated. For these Switching Markov Jump Linear Systems, mean square stability is analyzed through the time evolution of the second-order moment of the state. The main result is a sufficient condition that guarantees mean square stability under constraints on the dwell-time between switching instants. An alternative condition based on Kronecker calculus is worked out. It is shown that both the stability criteria admit an LMI implementation.     

Fault-tolerant control for a class of nonlinear sampled-data systems via a Euler approximate observer

In this paper, a fault-tolerant control (FTC) scheme is developed for a class of nonlinear sampled-data systems. First, a Euler approximate discrete model is used to describe the plant under the sampling. Under this model, an observer-based fault estimation method is proposed. To guarantee the accuracy of both the state and fault estimation values, the conditions to make the approximate model consistent with the exact model are presented. Then, an active fault-tolerant controller, which has a constraint condition for the sampling time, is designed to make the faulty system stable. Finally, an inverted pendulum is used to show the efficiency of the proposed method.     

Two nonlinear optimization methods for black box identification compared

In this paper, two nonlinear optimization methods for the identification of nonlinear systems are compared. Both methods estimate the parameters of e.g. a polynomial nonlinear state-space model by means of a nonlinear least-squares optimization of the same cost function. While the first method does not estimate the states explicitly, the second method estimates both states and parameters adding an extra constraint equation. Both methods are introduced and their similarities and differences are discussed utilizing simulation data. The unconstrained method appears to be faster and more memory efficient, but the constrained method has a significant advantage as well: it is robust for unstable systems of which bounded input-output data can be measured (e.g. a system captured in a stabilizing feedback loop). Both methods have successfully been applied on real-life measurement data.     

Multi-level hierarchical interface-based supervisory control

Hierarchical Interface-Based Supervisory Control employs interfaces that allow properties of a monolithic system to be verified through local analysis. By avoiding the need to verify properties globally, significant computational savings can be achieved. In this paper we provide local requirements for a multi-level architecture employing command-pair type interfaces. This multi-level architecture allows for a greater reduction in complexity and improved reconfigurability over the two-level case that has been previously studied since it allows the global system to be partitioned into smaller modules. This paper also provides results for synthesizing supervisors in the multi-level architecture that are locally maximally permissive with respect to a given specification and set of interfaces.