loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Pascale Marange ; François Gellot and Bernard Riera

Affiliation: Centre de Recherche en STIC - UFR des Sciences Exactes et Naturelles, Université de Reims Champagne-Ardenne, France

Keyword(s): Discrete event systems, Validation, Control, Functional identification, Learning.

Related Ontology Subjects/Areas/Topics: Discrete Event Systems ; Informatics in Control, Automation and Robotics ; Signal Processing, Sensors, Systems Modeling and Control

Abstract: We propose in this paper, to introduce a method to validate logic controller programs adapted to the teaching of Discrete Event Systems. The use of real systems for teaching raises two problems. The first one concerns the security of human beings (students and teachers) and materials. The second problem is the necessity to be able to detect possible errors done by students and to bring an explanation. We propose a method to define a level of system abstraction, to validate the student’s control by the mean of a validation filter placed between the plant and the controller. The specifications contained in the filter make it possible to detect errors and to generate an explanation automatically. We applied this method to an original project where it was proposed to 7 year-old children, to discover automation, by programming a tablets packaging system.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.222.134.250

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Marange, P.; Gellot, F. and Riera, B. (2007). SAFETY VALIDATION OF AUTOMATION SYSTEMS: APPLICATION FOR TEACHING OF DISCRETE EVENT SYSTEM CONTROL. In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO; ISBN 978-972-8865-84-9; ISSN 2184-2809, SciTePress, pages 111-116. DOI: 10.5220/0001652101110116

@conference{icinco07,
author={Pascale Marange. and Fran\c{C}ois Gellot. and Bernard Riera.},
title={SAFETY VALIDATION OF AUTOMATION SYSTEMS: APPLICATION FOR TEACHING OF DISCRETE EVENT SYSTEM CONTROL},
booktitle={Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO},
year={2007},
pages={111-116},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001652101110116},
isbn={978-972-8865-84-9},
issn={2184-2809},
}

TY - CONF

JO - Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO
TI - SAFETY VALIDATION OF AUTOMATION SYSTEMS: APPLICATION FOR TEACHING OF DISCRETE EVENT SYSTEM CONTROL
SN - 978-972-8865-84-9
IS - 2184-2809
AU - Marange, P.
AU - Gellot, F.
AU - Riera, B.
PY - 2007
SP - 111
EP - 116
DO - 10.5220/0001652101110116
PB - SciTePress