We consider a plant the dynamics of which switch among a family of systems. Each of these systems has a single stable equilibrium point. We assume that a constraint region for the state is assigned and we consider the problem of finding suitable limitations on the commutation speed in order to avoid constraints violations, even in the absence of state measurements. We introduce the concepts of modal and transition dwell times which lead to the definition of a dwell time vector and dwell time graph (represented by a proper matrix), respectively. The former imposes a minimum permanence on a discrete mode before commuting, the latter imposes the minimum permanence time on the current mode before switching to a specific new one. Both dwell time vector and dwell time graph, can be computed via set theoretic techniques. When the systems share a single equilibrium state, stability can be assured as a special case. Finally, under the assumption of affine dynamics, non-conservative values are achieved.
Abstract. This paper presents the mathematical conditions and the associated design methodology of an active fault diagnosis technique for continuous-time linear systems. Given a set of faults known a priori, the system is modeled by a finite family of linear time-invariant systems, accounting for one healthy and several faulty configurations. By assuming bounded disturbances and using a residual generator, an invariant set and its projection in the residual space (i.e., its limit set) are computed for each system configuration. Each limit set, related to a single system configuration, is parameterized with respect to the system input. Thanks to this design, active fault isolation can be guaranteed by the computation of a test input, either constant or periodic, such that the limit sets associated with different system configurations are separated, and the residual converges towards one limit set only. In order to alleviate the complexity of the explicit computation of the limit set, an implicit dual representation is adopted, leading to efficient procedures, based on quadratic programming, for computing the test input. The developed methodology offers a competent continuous-time solution to the optimization-based computation of the test input via Hahn-Banach duality. Simulation examples illustrate the application of the proposed active fault diagnosis methods and its efficiency in providing a solution, even in relatively large state-dimensional problems.
The paper deals with the global stabilization of both the attitude and the angular velocities of an underactuated rigid body. First a stability theorem is proven for a class of systems; subsequently, the equations describing the physics of the rigid body are presented, showing that the rigid body belongs to the considered class of systems, and a sufficient condition for the application of the theorem to the stability of the rigid body equilibrium is pointed out. Finally, some simulations results are reported showing the effectiveness of the proposed methodology.
The paper deals with the LPV stabilizability problem for linear plants whose parameters vary with time in a compact set. First, necessary and sufficient conditions for the existence of a linear gain-scheduled stabilizing compensator are given. Next, it is shown that, if these conditions are satisfied, any compensator transfer function depending on the plant parameters and internally stabilizing the closed-loop control system when the plant parameters are constant, can be realized in such a way that the closed-loop asymptotic stability is guaranteed under arbitrary parameter variations. To find one such realization, a reasonably simple and general algorithm based on Lyapunov equations and Cholesky factorization is provided. The result can profitably be used to achieve both pointwise optimality (or pole placement) and LPV stability. Some potential applications in adaptive control and online tuning are pointed out
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.