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-...

Full description

Saved in:
Bibliographic Details
Published inIEEE International Conference on Emerging Technologies and Factory Automation 2001 Vol. 2; pp. 129 - 137 vol.2
Main Authors Hien, N.-V., Soriano, T.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2001
Subjects
Online AccessGet full text
ISBN0780372417
9780780372412
DOI10.1109/ETFA.2001.997679

Cover

More Information
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