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
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


Files produced by the author(s)



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⟩



Record views


Files downloads