Abstract
In a programmable logic controller of a discrete-event control system, up to 60% of the coding effort is devoted to dealing with interlocking. Stage programming is a new concept by breaking a program into logical stages, making complex systems design easier. The stages can then be programmed individually without concern for how they will affect the rest of the program. To become truly competitive for Artificial Intelligence semantic implementation in industry, this paper introduces a knowledge representation for the Petri net-based programmable logic controller stage program. The symbolic logic uses a conceptual graph to translate the sensor-based stage Petri nets directly to the predicate calculus with While-Loop expressions. An example is used to illustrate the proposed concept and method.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 148-153 |
| Number of pages | 6 |
| Journal | Proceedings of the IEEE International Conference on Systems, Man and Cybernetics |
| Volume | 3 |
| State | Published - 2002 |
| Event | 2002 IEEE International Conference on Systems, Man and Cybernetics - Yasmine Hammamet, Tunisia Duration: Oct 6 2002 → Oct 9 2002 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering
- Hardware and Architecture
Keywords
- Conceptual Graph
- Knowledge-Based Stage Programming
- Petri nets
- Programmable Logic Controller
- Sensor-Based Stage Petri Nets