loading
Documents

Research.Publish.Connect.

Affiliation

University of Reims Champagne-Ardenne, France
Context (please use complete words only)
Field
Sort by

9 Papers

Design and Application of a Reconfigurable Control to a Cyber-Physical System

Topic: Modeling, Analysis and Control of Discrete-Event Systems

Authors: Imane Tahiri , Alexandre Parant , François Gellot , Alexandre Philippot and Véronique Carré-Ménétrier

Affiliation: CReSTIC, University of Reims Champagne-Ardenne, Moulin de la Housse, Reims, France

Digital Object Identifier: 10.5220/0009896107180725

Proceedings of ICINCO 2020, ISBN: 978-989-758-442-8

Collapse Button Quick Abstract
In the previous edition of ICINCO, authors have presented a theoretical comparison between centralized and distributed control reconfiguration of Discrete Event Systems (DES). In this paper, we propose to enlarge the proposition until the implementation step into a Programmable Logic Controller. The control is based on a distributed architecture including time-delayed events and supervisory control theory. Moreover, in a context of Industry 4.0, the verification and simulation phases are performed on a digital twin before implementation on the real system.

Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems

Topics: Control and Supervision Systems; Real-Time Systems Control; Virtual Environment, Virtual and Augmented Reality; Engineering Applications on Intelligent Control Systems and Optimization

Authors: Romain Pichard , Alexandre Philippot and Bernard Riera

Affiliation: CReSTIC (EA3804), University of Reims Champagne Ardenne Moulin de la Housse, BP 1039, 51687 Reims CEDEX 2 and France

Digital Object Identifier: 10.5220/0006885502410249

Proceedings of ICINCO 2018, ISBN: 978-989-758-321-6

Collapse Button Quick Abstract
In this study, manufacturing systems are considered as Discrete Event Systems (DES) with logical Inputs (sensors) and logical Outputs (actuators). In previous work, an original implementation of safe controllers (using safety logical constraints) for manufacturing systems, based on the use of a CSP (constraint satisfaction problem) solver, was proposed. However, the proposed solution was not IEC 61131-3 compliant. In other words, it was not possible to implement it in a PLC (Programmable Logic Controller). In this paper, a proof of concept IEC 61131-3 compliant has been carried out. To perform this challenge, an original simple CSP - SAT solver in ST (Structured Text) has been developed and programmed. The algorithm has been tested and validated by using a M340 Schneider Electric PLC and a box sorting simulated process using the FACTORY I/O software from the Real Games Company (www.realgames.co). It seems to be the first time that a SAT solver developed for PLC, is used in real time as a part of a PLC program to get a safe controller.
Collapse Button Related Ontology Subjects/Areas/Topics (6)
Control and Supervision Systems

Real-Time Systems Control

Signal Processing, Sensors, Systems Modeling and Control

Informatics in Control, Automation and Robotics

Robotics and Automation

Virtual Environment, Virtual and Augmented Reality

Formal Verification for Validation of PSEEL’s PLC Program

Topics: System Modeling; Modeling, Analysis and Control of Discrete-Event Systems; Engineering Applications

Authors: Mohamed Niang 1 , Alexandre Philippot 2 , François Gellot 2 , Raphaël Coupat 3 , Bernard Riera 2 and Sébastien Lefebvre 3

Affiliations: 1 University of Reims Champagne Ardenne Moulin de la Housse and Société Nationale des Chemins de fer Français, France , 2 University of Reims Champagne Ardenne Moulin de la Housse, France , 3 Société Nationale des Chemins de fer Français, France

Digital Object Identifier: 10.5220/0006418705670574

Proceedings of ICINCO 2017, ISBN: 978-989-758-263-9

Collapse Button Quick Abstract
In order to keep its leadership in French rail market and to improve work conditions of its systems engineers during automation projects, the SNCF (French acronym for National Society of French Railways) wants to develop solutions increasing the productivity. One of these improvements focuses on the current methodology used by systems engineers to verify and validate PLC programs of electrical installations. This task remains one of the most important during an automation project because it is supposed to ensure installations safety, but it must be optimized. Through an industrial thesis financed by SNCF, the aim of this research project is to improve this method and reduce time validation of programs by providing a tool which will help systems engineers to verify and validate quickly and automatically PLC programs during any automation project, not necessarily during factory tests but directly from their office.
Collapse Button Related Ontology Subjects/Areas/Topics (7)
Engineering Applications

Modeling, Analysis and Control of Discrete-event Systems

Signal Processing, Sensors, Systems Modeling and Control

Informatics in Control, Automation and Robotics

Robotics and Automation

System Modeling
Intelligent Control Systems and Optimization

ADAPTIVE FUZZY SLIDING MODE CONTROL FOR UNCERTAIN NONLINEAR SYSTEMS AGAINST ACTUATOR FAULTS

Topics: Fuzzy Control; Nonlinear Signals and Systems

Authors: Meriem Benbrahim 1 , Najib Essounbouli 1 , Abdelaziz Hamzaoui 1 and Ammar Betta 2

Affiliations: 1 Reims University, France , 2 Batna University, Algeria

Digital Object Identifier: 10.5220/0002883600920097

Proceedings of ICINCO 2010, ISBN: 978-989-8425-00-3

Collapse Button Quick Abstract
In this paper, we propose to combine the fuzzy sliding mode control to tolerate actuator faults of unknown nonlinear systems subject to external disturbances. In particular, the idea of using adaptive fuzzy system to tolerate actuator faults of unknown nonlinear systems by approximating the system functions and the effects caused by actuator faults are avoided by the control structure. On the basis of Lyapunov stability theory its shown that the resulting adaptive closed loop system can be guaranteed to be asymptotically stable in the presence of faults on actuators and disturbances.
Collapse Button Related Ontology Subjects/Areas/Topics (9)
Artificial Intelligence

Fuzzy Systems

Nonlinear Signals and Systems

Computational Intelligence

Informatics in Control, Automation and Robotics

Signal Processing, Sensors, Systems Modeling and Control

Fuzzy Control

Intelligent Control Systems and Optimization

Soft Computing

SYNTHESIS METHOD OF A PN CONTROLLER USING FORBIDDEN TRANSITIONS SEQUENCES

Topic: Discrete Event Systems

Authors: R. Bekrar , N. Messai , N. Essounbouli , A. Hamzaoui and B. Riera

Affiliation: CReSTIC, IUT de Troyes, France

Digital Object Identifier: 10.5220/0001493201490154

Proceedings of ICINCO 2008, ISBN: 978-989-8111-32-6

Collapse Button Quick Abstract
In this paper, we propose a control synthesis method for Discrete Event Systems (DES) modelled by a bounded ordinary Petri Nets (PN) to treat a forbidden state problem. The considered PN is transitions controllable and contains measurable and non measurable places. The PN controller is synthesised using the forbidden transitions sequences. The latter, are deduced from the PN reachability graph and considered as a forbidden language generated by the PN model. To show the efficiency of the proposed method an illustrative example is presented.
Collapse Button Related Ontology Subjects/Areas/Topics (3)
Discrete Event Systems

Informatics in Control, Automation and Robotics

Signal Processing, Sensors, Systems Modeling and Control

AUTOMATED TUMOR SEGMENTATION USING LEVEL SET METHODS

Authors: Stephane Lebonvallet , Sonia Khatchadourian and Su Ruan

Affiliation: CReSTIC, IUT de TROYES, France

Digital Object Identifier: 10.5220/0002068301280133

Proceedings of Computer Vision Methods in Medicine 2007/VISAPP, ISBN: 978-972-8865-75-7

Collapse Button Quick Abstract
In the framework of detection, diagnostic and treatment planning of the tumours, the Positron Emission Tomography (PET) and Magnetic Resonance Imaging (MRI) have become the most efficient techniques for body and brain examination. Radiologists take usually several hours to segment manually the region of interest (ROI) on images to obtain some information about patient pathology. It is very time consuming. The aim of our study is to propose an automatic solution to this problem to help the radiologist’s work. This paper presents an approach of tumour segmentation based on a fast level set method. The results obtained by the proposed method dealing with both PET and MRI images are encouraging.

MRI SEGMENTATION USING MULTIFRACTAL ANALYSIS AND MRF MODELS

Topics: Segmentation and Grouping; Medical Image Analysis; Fractal and Chaos Theory in Image Analysis

Authors: Su Ruan 1 and Jonathan Bailleul 2

Affiliations: 1 CReSTIC, Dept GEII, IUT de Troyes, France , 2 GREYC, ENSICAEN, France

Digital Object Identifier: 10.5220/0002046901010106

Proceedings of Computer Vision Methods in Medicine 2007/VISAPP, ISBN: 978-972-8865-75-7

Collapse Button Quick Abstract
In this paper, we demonstrate the interest of the multifractal analysis for removing the ambiguities due to the intensity overlap, and we propose a brain tissue segmentation method from Magnetic Resonance Imaging (MRI) images, which is based on Markov Random Field (MRF) models. The brain tissue segmentation consists in separating the encephalon into the three main brain tissues: grey matter, white matter and cerebrospinal fluid (CSF). The classical MRF model uses the intensity and the neighbourhood information, which is not robust enough to solve problems, such as partial volume effects. Therefore, we propose to use the multifractal analysis, which can provide information on the intensity variations of brain tissues. This knowledge is modelled and then incorporated into a MRF model. This technique has been successfully applied to real MRI images. The contribution of the multifractal analysis is proved by comparison with a classical MRF segmentation using simulated data.
Collapse Button Related Ontology Subjects/Areas/Topics (5)
Computer Vision, Visualization and Computer Graphics

Image and Video Analysis

Segmentation and Grouping
Fractal and Chaos Theory in Image Analysis

Medical Image Analysis

ROBUST ADAPTIVE WAVELET NEURAL NETWORK TO CONTROL A CLASS OF NONLINEAR SYSTEMS

Topic: Neural Networks Based Control Systems

Authors: A. Hussain 1 , N. Essounbouli 1 , A. Hamzaoui 1 and J. Zaytoon 2

Affiliations: 1 CReSTIC, IUT de Troyes, France , 2 CReSTIC, Uiversité de Reims Champagne-Ardenne, France

Digital Object Identifier: 10.5220/0001640400600067

Proceedings of ICINCO 2007, ISBN: 978-972-8865-82-5

Collapse Button Quick Abstract
This paper deals with the synthesis of a Wavelet Neural Network adaptive controller for a class of second order systems. Due to its fast convergence, the wavelet neural network is used to approximate the unknown system dynamics. The proposed approximator will be on-line adjusted according to the adaptation laws deduced from the stability analysis. To ensure the robustness of the closed loop system, a modified sliding mode control signal is used. In this work, variable sliding surface is considered to reduce the starting energy without deteriorating the tracking performances. Furthermore, the knowledge of the upper bounds of both the external disturbances and the approximation errors is not needed. The global stability of the closed loop system is guaranteed in the sense of Lyapunov. Finally, a simulation example is presented to illustrate the efficiency of the developed approach.
Collapse Button Related Ontology Subjects/Areas/Topics (3)
Informatics in Control, Automation and Robotics

Intelligent Control Systems and Optimization

Neural Networks Based Control Systems

SAFETY VALIDATION OF AUTOMATION SYSTEMS: APPLICATION FOR TEACHING OF DISCRETE EVENT SYSTEM CONTROL

Topic: Discrete Event Systems

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

Digital Object Identifier: 10.5220/0001652101110116

Proceedings of ICINCO 2007, ISBN: 978-972-8865-84-9

Collapse Button Quick 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.
Collapse Button Related Ontology Subjects/Areas/Topics (3)
Discrete Event Systems

Informatics in Control, Automation and Robotics

Signal Processing, Sensors, Systems Modeling and Control

Topic(s):

Filter listed results, by

Publication date

From:
To:
Author
Locate Author in list below
Data pager
Data pager
12
 Page 1 of 2, items 1 to 10 of 20.
Add Author(s) to filter:

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic