An algorithm for checking Hurwitz stability of K-symmetrizable interval matrices
An analytical method for well-formed workflow/Petri net verification of classical soundness
In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes. Well-formed business processes correspond to sound workflow nets. Even if it seems necessary to require the soundness of workflow nets, there exist business processes with conditional behavior that will not necessarily satisfy the soundness property. In this sense, we propose an analytical method...
An sliding mode observer for Takagi-Sugeno nonlinear systems with simultaneous actuator and sensor faults
This paper considers the problem of robust reconstruction of simultaneous actuator and sensor faults for a class of uncertain Takagi-Sugeno nonlinear systems with unmeasurable premise variables. The proposed fault reconstruction and estimation design method with H∞ performance is used to reconstruct both actuator and sensor faults when the latter are transformed into pseudo-actuator faults by introducing a simple filter. The main contribution is to develop a sliding mode observer (SMO) with two...
An improved delay-dependent stabilization criterion of linear time-varying delay systems: An iterative method
This paper presents delay-dependent stabilization criteria for linear time-varying delay systems. A less conservative stabilization criterion is derived by invoking a new Lyapunov-Krasovskii functional and then, extended reciprocally convex inequality in combination with Wirtinger's inequality is exploited to obtain an improved stabilization criterion where a set of nonlinear matrix inequalities is solved by applying the cone complementarity algorithm. The proposed stabilization technique transforms...
An LMI-based convex fault tolerant control of nonlinear descriptor systems via unknown input observers
This paper proposes a fault tolerant control scheme for nonlinear systems in descriptor form. The approach is based on the design of an unknown input observer in order to estimate the missing state variables as well as actuator faults, such design is carried out once a proper estimation error system is obtained via a recent factorization method; then, the estimated signals are employed in the control law in order to drive the states asymptotically to the origin despite actuator faults. The designing...
An optimal sliding mode congestion controller for connection-oriented communication networks with lossy links
A new discrete-time sliding-mode congestion controller for connection-oriented networks is proposed. Packet losses which may occur during the transmission process are explicitly taken into account. Two control laws are presented, each obtained by minimizing a different cost functional. The first one concentrates on the output variable, whereas in the second one the whole state vector is considered. Weighting factors for adjusting the influence of the control signal and appropriate (state or output)...
Analysis of undamped second order systems with dynamic feedback
Applications of stability criteria to time delay systems.
Approximation of control laws with distributed delays: a necessary condition for stability
The implementation of control laws with distributed delays that assign the spectrum of unstable linear multivariable systems with delay in the input requires an approximation of the integral. A necessary condition for stability of the closed-loop system is shown to be the stability of the controller itself. An illustrative multivariable example is given.
Approximation of fractional positive stable continuous-time linear systems by fractional positive stable discrete-time systems
Fractional positive asymptotically stable continuous-time linear systems are approximated by fractional positive asymptotically stable discrete-time systems using a linear Padé-type approximation. It is shown that the approximation preserves the positivity and asymptotic stability of the systems. An optional system approximation is also discussed.
Arbitrary exponential decay of energy for a class of bilinear control problems.
Argument increment stability criterion for linear delta models
Currently used stability criteria for linear sampled-data systems refer to the standard linear difference equation form of the system model. This paper presents a stability criterion based on the argument increment rule modified for the delta operator form of the sampled-data model. For the asymptotic stability of this system form it is necessary and sufficient that the roots of the appropriate characteristic equation lie inside a circle in the left half of the complex plane, the radius of which...
Assignment of nonlinear sampled-data dynamics using generalized hold function control.
Asymptotic behaviour to a heat equation with a delayed control in the source term
Asymptotic null controllability of bilinear systems
The region of asymptotic null controllability of bilinear systems with control constraints is characterized using Lyapunov exponents. It is given by the cone over the region of attraction of the maximal control set in projective space containing zero in its spectral interval.
Asymptotic stability for second-order differential equations with complex coefficients.
Asymptotic stability of linear conservative systems when coupled with diffusive systems
In this paper we study linear conservative systems of finite dimension coupled with an infinite dimensional system of diffusive type. Computing the time-derivative of an appropriate energy functional along the solutions helps us to prove the well-posedness of the system and a stability property. But in order to prove asymptotic stability we need to apply a sufficient spectral condition. We also illustrate the sharpness of this condition by exhibiting some systems for which we do not have the asymptotic...
Asymptotic stability of linear conservative systems when coupled with diffusive systems
In this paper we study linear conservative systems of finite dimension coupled with an infinite dimensional system of diffusive type. Computing the time-derivative of an appropriate energy functional along the solutions helps us to prove the well-posedness of the system and a stability property. But in order to prove asymptotic stability we need to apply a sufficient spectral condition. We also illustrate the sharpness of this condition by exhibiting some systems for which we do not have the asymptotic property. ...
Asymptotic stability of nonlinear control systems described by difference equations with multiple delays.
Asymptotic stability of wave equations with memory and frictional boundary dampings
This work is concerned with stabilization of a wave equation by a linear boundary term combining frictional and memory damping on part of the boundary. We prove that the energy decays to zero exponentially if the kernel decays exponentially at infinity. We consider a slightly different boundary condition than the one used by M. Aassila et al. [Calc. Var. 15, 2002]. This allows us to avoid the assumption that the part of the boundary where the feedback is active is strictly star-shaped. The result...