On reduced-order interval observers for time-delay systems

International audienceThe estimation problem for uncertain time-delay systems is addressed. A design method of reduced-order interval observers is proposed. The observer estimates the set of admissi-ble values (the interval) for the state at each instant of time. The cases of known fixed delays and uncertain time-varying delays are analyzed. The proposed approach can be applied to linear delay systems and nonlinear time-delay systems in the output canonical form. The framework efficiency is demonstrated on examples of nonlinear systems

Bindings and RESTlets: a novel set of CoAP-based application enablers to build IoT applications

Sensors and actuators are becoming important components of Internet of Things (IoT) applications. Today, several approaches exist to facilitate communication of sensors and actuators in IoT applications. Most communications go through often proprietary gateways requiring availability of the gateway for each and every interaction between sensors and actuators. Sometimes, the gateway does some processing of the sensor data before triggering actuators. Other approaches put this processing logic further in the cloud. These approaches introduce significant latencies and increased number of packets. In this paper, we introduce a CoAP-based mechanism for direct binding of sensors and actuators. This flexible binding solution is utilized further to build IoT applications through RESTlets. RESTlets are defined to accept inputs and produce outputs after performing some processing tasks. Sensors and actuators could be associated with RESTlets (which can be hosted on any device) through the flexible binding mechanism we introduced. This approach facilitates decentralized IoT application development by placing all or part of the processing logic in Low power and Lossy Networks (LLNs). We run several tests to compare the performance of our solution with existing solutions and found out that our solution reduces communication delay and number of packets in the LLN

Verifying service continuity in a satellite reconfiguration procedure: application to a satellite

The paper discusses the use of the TURTLE UML profile to model and verify service continuity during dynamic reconfiguration of embedded software, and space-based telecommunication software in particular. TURTLE extends UML class diagrams with composition operators, and activity diagrams with temporal operators. Translating TURTLE to the formal description technique RT-LOTOS gives the profile a formal semantics and makes it possible to reuse verification techniques implemented by the RTL, the RT-LOTOS toolkit developed at LAAS-CNRS. The paper proposes a modeling and formal validation methodology based on TURTLE and RTL, and discusses its application to a payload software application in charge of an embedded packet switch. The paper demonstrates the benefits of using TURTLE to prove service continuity for dynamic reconfiguration of embedded software

Sliding mode adaptive state observation for time-delay uncertain nonlinear systems

In this paper a method to design robust adaptive sliding mode observers (ASMO) for a class of nonlinear time- delay systems with uncertainties, is proposed. The objective is to achieve insensitivity and robustness of the proposed sliding mode observer to matched disturbances. A novel systematic design method is synthesized to solve matching conditions and compute observer stabilizing gains. The Lyapunov-Krasovskii theorem is employed to prove the ultimate stability with arbitrary boundedness radius of the estimation error of the proposed filter. Finally, the ability of ASMO for fault reconstruction is studied

LMI-Based Reset Unknown Input Observer for State Estimation of Linear Uncertain Systems

This paper proposes a novel kind of Unknown Input Observer (UIO) called Reset Unknown Input Observer (R-UIO) for state estimation of linear systems in the presence of disturbance using Linear Matrix Inequality (LMI) techniques. In R-UIO, the states of the observer are reset to the after-reset value based on an appropriate reset law in order to decrease the $L_2$ norm and settling time of estimation error. It is shown that the application of the reset theory to the UIOs in the LTI framework can significantly improve the transient response of the observer. Moreover, the devised approach can be applied to both SISO and MIMO systems. Furthermore, the stability and convergence analysis of the devised R-UIO is addressed. Finally, the efficiency of the proposed method is demonstrated by simulation results

Control synthesis for an unmanned helicopter with time-delay under uncertain external disturbances

This paper presents the controller synthesis for an unmanned helicopter with minimum initial information about the parameters of its mathematical model with time-delays of measured and control signals. The unknown parameters, wind disturbances, and system nonlinearity are considered as external disturbances that are estimated using a multi-gap observer. The estimates obtained are used in the control law to improve the stability rate for flight regimes

Capacity limitations of visual memory in two-interval comparison of Gabor arrays

The capacity of short-term visual memory (VSTM) was assessed in a two-interval spatial frequency (SF) discrimination task. The cued Gabor target in a multi-element array either increased or decreased in SF across a 2s interstimulus interval (ISI). Distracters as well as target were made to change across ISI so that memory of the individual SF of Gabor elements was required to solve the discrimination. The dynamics of the information loss from visual memory were analysed by manipulating the timing of spatial cues and masks. Cueing the target position before the first display gave thresholds comparable with those for a single Gabor patch. Cues placed after the first display gave higher thresholds indicating some loss of information. Within the ISI there was little increase in threshold or set size effect with cue delay. However there was a sharp rise in thresholds for cue positions after the second display. Gabor masks placed before a mid-ISI cue were more effective than noise masks or Gabor masks placed after the cue. With a cue placed late in the ISI, preceded by a Gabor mask, the masking effect decreased with increasing delay of the mask after the first display. This suggests a selective, dynamic but increasingly durable representation of the initial stimulus is built up in memory, and there is a graded form of “overwriting” of this representation by new stimuli