Affordable Access

deepdyve-link
Publisher Website

Symbolic Models for a Class of Impulsive Systems

Authors
  • Swikir, Abdalla
  • Girard, Antoine
  • Zamani, Majid
Publication Date
Jan 01, 2021
Identifiers
DOI: 10.1109/lcsys.2020.3001501
OAI: oai:HAL:hal-02861778v1
Source
HAL-Descartes
Keywords
Language
English
License
Unknown
External links

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.

Report this publication

Statistics

Seen <100 times