Approximate simulation relations for hybrid systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Approximate simulation relations for hybrid systems

Résumé

Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we extend this notion to hybrid systems. Using the so-called simulation functions, we develop a computationally effective characterization of approximate simulation relations which can be used for hybrid systems approximation. An example of application in the context of safety verification is shown.

Dates et versions

hal-00307035 , version 1 (28-07-2008)

Identifiants

Citer

Antoine Girard, Agung A. Julius, George J. Pappas. Approximate simulation relations for hybrid systems. 2nd IFAC Conference on Analysis and Design of Hybrid Systems, Jun 2006, Alghero, Italy. pp.106-111, ⟨10.3182/20060607-3-IT-3902.00022⟩. ⟨hal-00307035⟩
79 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More