Bounded amplitude performance of switched LPV systems with applications to hybrid systems

Authors:
Christopher J. Bett;Michael D. Lemmon
Affiliations:
Raytheon Systems Company, Missile Guidance Laboratory, Tewksbury, MA 01876, USA;Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN 46556, USA
Venue:
Automatica (Journal of IFAC)
Year:
1999

Citing 10
Cited 1

Guaranteed properties of gain scheduled control for linear parameter-varying plants

Automatica (Journal of IFAC)
Symbolic model checking: 1020 states and beyond

Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
A theory of timed automata

Theoretical Computer Science
Gain scheduling via linear fractional transformations

Systems & Control Letters
Robust performance of linear parametrically varying systems using parametrically-dependent linear feedback

Systems & Control Letters
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

Hybrid Systems
Viable Control of Hybrid Systems

Hybrid Systems II
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits

CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
Bounded amplitude multiple agent control

Bounded amplitude multiple agent control
A logical DES approach to the design of hybrid control systems

Mathematical and Computer Modelling: An International Journal

Technical Communique: Switching control of H∞ gain scheduled controllers in uncertain nonlinear systems

Automatica (Journal of IFAC)

Quantified Score

Hi-index	22.15

Visualization

Abstract

This paper discusses recent results on multiple linear agent control for systems satisfying a bounded amplitude performance constraint. The plant is assumed to be a linear parameter varying (LPV) system scheduled along a nominal parameter trajectory; in this respect, the control problem represents a plant operating between a prespecified set of operating conditions. Linear controllers are designed at setpoints along this scheduling trajectory to satisfy bounded amplitude performance constraints. This paper discusses an approach to analyze the switched system behavior under practical assumptions on the structure of the switching rule. The approach combines the scheduling parameter with LPV system properties to derive bounds on the switching behavior of the system. These estimates are then used to construct a logical model of the switched system behavior in the form of a timed automaton. In this respect, this paper presents a way of extracting logical models of continuous time system behavior.