45,198 research outputs found
Delay identification in time-delay systems using variable structure observers
In this paper we discuss delay estimation in time-delay systems. In the introduction section a short overview is given of some existing estimation techniques as well as identifiability studies. In the following sections we propose several algorithms for the delay identification based on variable structure observers
TURTLE-P: a UML profile for the formal validation of critical and distributed systems
The timed UML and RT-LOTOS environment, or TURTLE for short, extends UML class and activity diagrams with composition and temporal operators. TURTLE is a real-time UML profile with a formal semantics expressed in RT-LOTOS. Further, it is supported by a formal validation toolkit. This paper introduces TURTLE-P, an extended profile no longer restricted to the abstract modeling of distributed systems. Indeed, TURTLE-P addresses the concrete descriptions of communication architectures, including quality of service parameters (delay, jitter, etc.). This new profile enables co-design of hardware and software components with extended UML component and deployment diagrams. Properties of these diagrams can be evaluated and/or validated thanks to the formal semantics given in RT-LOTOS. The application of TURTLE-P is illustrated with a telecommunication satellite system
Disturbance Observer-based Robust Control and Its Applications: 35th Anniversary Overview
Disturbance Observer has been one of the most widely used robust control
tools since it was proposed in 1983. This paper introduces the origins of
Disturbance Observer and presents a survey of the major results on Disturbance
Observer-based robust control in the last thirty-five years. Furthermore, it
explains the analysis and synthesis techniques of Disturbance Observer-based
robust control for linear and nonlinear systems by using a unified framework.
In the last section, this paper presents concluding remarks on Disturbance
Observer-based robust control and its engineering applications.Comment: 12 pages, 4 figure
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
New advances in H∞ control and filtering for nonlinear systems
The main objective of this special issue is to
summarise recent advances in H∞ control and filtering
for nonlinear systems, including time-delay, hybrid and
stochastic systems. The published papers provide new
ideas and approaches, clearly indicating the advances
made in problem statements, methodologies or applications
with respect to the existing results. The special
issue also includes papers focusing on advanced and
non-traditional methods and presenting considerable
novelties in theoretical background or experimental
setup. Some papers present applications to newly
emerging fields, such as network-based control and
estimation
Recommended from our members
Stability analysis and observer design for neutral delay systems
Copyright [2002] IEEE. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Brunel University's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.This paper deals with the observer design problem for a class of linear delay systems of the neutral-type. The problem addressed is that of designing a full-order observer that guarantees the exponential stability of the error dynamic system. An effective algebraic matrix equation approach is developed to solve this problem. In particular, both the observer analysis and design problems are investigated. By using the singular value decomposition technique and the generalized inverse theory, sufficient conditions for a neutral-type delay system to be exponentially stable are first established. Then, an explicit expression of the desired observers is derived in terms of some free parameters. Furthermore, an illustrative example is used to demonstrate the validity of the proposed design procedur
A review of convex approaches for control, observation and safety of linear parameter varying and Takagi-Sugeno systems
This paper provides a review about the concept of convex systems based on Takagi-Sugeno, linear parameter varying (LPV) and quasi-LPV modeling. These paradigms are capable of hiding the nonlinearities by means of an equivalent description which uses a set of linear models interpolated by appropriately defined weighing functions. Convex systems have become very popular since they allow applying extended linear techniques based on linear matrix inequalities (LMIs) to complex nonlinear systems. This survey aims at providing the reader with a significant overview of the existing LMI-based techniques for convex systems in the fields of control, observation and safety. Firstly, a detailed review of stability, feedback, tracking and model predictive control (MPC) convex controllers is considered. Secondly, the problem of state estimation is addressed through the design of proportional, proportional-integral, unknown input and descriptor observers. Finally, safety of convex systems is discussed by describing popular techniques for fault diagnosis and fault tolerant control (FTC).Peer ReviewedPostprint (published version
- …