Modelling discrete event systems behaviour using the hyperfinite signal

Journal Europeen des Systemes Automatises

Volumn 31, Issue 3, 1997, Pages 453-470

  Frachet, Jean Paul ^b,c   Lampérière, Sandrine ^a,c   Faure, Jean Marc ^a,d,e  

^a CESTI ISMCM Toulon   (France)

^b ARTS ET MÉTIERS PARISTECH   (France)

^c LIISI ^*  (France)

^d ECOLE CENTRALE PARIS   (France)

^e CESTI Toulon   (France)

Author keywords

Behaviour; Finite dimensional fields; Grafcet; Non standard analysis; Temporal logic

Indexed keywords

EID: 0004370122     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. A. BENVENISTE, G. BERRY, « The synchronous approach to reactive and real time system », Proceedings IEEE, vol. 79 no 9, September 1991.
2. F. DIENER, G. REEB, « Analyse non standard », Hermann éditeur, 1989.
3. D. DUBOIS, G. RESCONI, « Hyperincursivity, a new mathematical theory », Presses Universitaires de Liège, 1992.
4. J.-P. FRACHET, G. COLOMBARI, « Elements for a semantics of the time in GRAFCET and dynamic systems using Non-Standard Analysis », Automatique Productique Informatique Industrielle Review, vol. 27 no 1, January 1993, pp. 107-125.
5. J.-P. FRACHET and al, « Modèles comportementaux pour les Systèmes Dynamiques à Evénements Discrets », Polycopié du Diplôme d'Etudes Approfondies de Production Automatisée de l'Université de Nancy I et de l'Ecole Normale Supérieure de Cachan, 1995.
6. M. GUILLAUME, « D'une théorie des systèmes séquentiels à la notion de codeur : validation globale du Grafcet », Thèse de doctorat de l'Ecole Supérieure d'Electricité, Université de Rennes, December 1995.
7. M. GUILLAUME, J.-M. GRAVE, P. CHLIQUE, « Formalization of edges for the Grafcet state machine », Proceedings of the CESA'96 IMACS Multiconference - Computational Engineering in Systems Applications, Lille (France), July 9-12, 1996.
8. « Preparation of function charts for control systems », International Standard, IEC 848, Second edition, 1991.
9. R. LIDL, H. NIEDERREITER, « Encyclopaedia of mathematics and its applications », Section : "Algebra", Volume 20 : "Finite fields", Addison-Wesley Publishing Company, 1983.
10. J.-M. ROUSSEL, J.-J. LESAGE, Une algèbre de Boole pour l'approche événementielle des systèmes logiques, Automatique Productique Informatique Industrielle Review, vol. 27 no 5, 1993, pp. 541-560.