Abstraction of continuous system trajectories into timed automata - INRAE - Institut national de recherche pour l’agriculture, l’alimentation et l’environnement Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Abstraction of continuous system trajectories into timed automata

Résumé

This paper deals with the representation of continuous system dynamics into a timed discrete-event formalism to the end of system analysis. The continuous model of the system is first approximated using intervals and then translated into the timed automata formalism by comparison with thresholds defined on the state variables' domains. The detection of thresholds crossing is characterised by two time instants corresponding respectively to the earliest and latest crossing dates. This approach is briefly illustrated with real data obtained from a 1 m3 wastewater treatment pilot plant.
Fichier non déposé

Dates et versions

hal-02759360 , version 1 (04-06-2020)

Identifiants

  • HAL Id : hal-02759360 , version 1
  • PRODINRA : 353259

Citer

Arnaud Helias, Francois Guerrin, Jean-Philippe Steyer. Abstraction of continuous system trajectories into timed automata. IFAC Workshop on Discrete Event Systems, Sep 2004, Reims, France. 473 p. ⟨hal-02759360⟩
9 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More