SciTePress - Affiliation Profile

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Affiliation

Select a Subject
Refine Ontology Subject

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

Context (please use complete words only)

Field

Sort by

1 Papers

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/0006885502310239

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

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.

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