Skip to Main content Skip to Navigation
Journal articles

Symbolic Models for a Class of Impulsive Systems

Abstract : Symbolic models have been used as the basis of a systematic framework to address control design of several classes of hybrid systems with sophisticated control objectives. However, results available in the literature are not concerned with impulsive systems which are an important modeling framework of many applications. In this paper, we provide an approach for constructing symbolic models for a class of impulsive systems possessing some stability properties. We formally relate impulsive systems and their symbolic models using a notion of so-called alternating simulation function. We show that behaviors of the constructed symbolic models are approximately equivalent to those of the impulsive systems. Finally, we illustrate the effectiveness of our results through a case study.
Complete list of metadata

Cited literature [40 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02861778
Contributor : Antoine Girard Connect in order to contact the contributor
Submitted on : Tuesday, June 9, 2020 - 11:03:42 AM
Last modification on : Thursday, May 27, 2021 - 10:34:37 AM

File

lcssf.pdf
Files produced by the author(s)

Identifiers

Citation

Abdalla Swikir, Antoine Girard, Majid Zamani. Symbolic Models for a Class of Impulsive Systems. IEEE Control Systems Letters, IEEE, 2021, 5 (1), pp.247-252. ⟨10.1109/lcsys.2020.3001501⟩. ⟨hal-02861778⟩

Share

Metrics

Record views

132

Files downloads

84