Implementing hybrid automata for developing industrial control systems
We propose a method, which is based on capsules, ports, protocols and entity classes to implement a hybrid automaton with input or output events and signals in order to quickly identify and implement control objects of an industrial control system. This method also supports control systems to be re-...
Saved in:
| Published in | IEEE International Conference on Emerging Technologies and Factory Automation 2001 Vol. 2; pp. 129 - 137 vol.2 |
|---|---|
| Main Authors | , |
| Format | Conference Proceeding |
| Language | English |
| Published |
IEEE
2001
|
| Subjects | |
| Online Access | Get full text |
| ISBN | 0780372417 9780780372412 |
| DOI | 10.1109/ETFA.2001.997679 |
Cover
| Summary: | We propose a method, which is based on capsules, ports, protocols and entity classes to implement a hybrid automaton with input or output events and signals in order to quickly identify and implement control objects of an industrial control system. This method also supports control systems to be re-used in the new application design phase. We introduce step-by-step specification activities of a hybrid automaton such as the identification of principle control capsules, their ports and communication protocols, with their static and dynamic links which unify them. Then, we introduce important hypotheses which allow all the identified capsules of this system to make their evolutions. We applied this method to develop a sweeping camera control system which is a part of the person detection device by video. |
|---|---|
| ISBN: | 0780372417 9780780372412 |
| DOI: | 10.1109/ETFA.2001.997679 |