Abstract
A monitoring system based on a stopwatch automaton is proposed to detect the system faults as early as possible. Each location in the automaton corresponds to a system's situation. Its time space delimits exactly the range of the normal behavior in the corresponding system's situation. The monitoring system detects a fault when the time space corresponding to the actual system's situation is violated. The stopwatch automaton provides a formal foundation to model the system's behavior and to synthesize the exactly time space in each location. This paper aims to provide the grafcet monitor that allows to link the design of the monitoring system of a system with its implementation in a programmable logic controller.
| Original language | English |
|---|---|
| Pages | 220-225 |
| Number of pages | 6 |
| Publication status | Published - 2007 |
| Externally published | Yes |
| Event | 4th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2007 - Angers, France Duration: 9 May 2007 → 12 May 2007 |
Conference
| Conference | 4th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2007 |
|---|---|
| Country/Territory | France |
| City | Angers |
| Period | 9/05/07 → 12/05/07 |
UN SDGs
This output contributes to the following UN Sustainable Development Goals (SDGs)
-
SDG 9 Industry, Innovation, and Infrastructure
Keywords
- Fault detection
- Grafcet
- Manufacturing systems
- Monitoring
- Reachability analysis
- Stopwatch automata
Fingerprint
Dive into the research topics of 'Design and implementation of a monitoring system using grafcet'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver