Title :
Extending Grafcet for the specification of control of hybrid systems
Author :
Guillemaud, L. ; Guéguen, H.
Author_Institution :
Supelec, Cesson-Sevigne, France
Abstract :
Grafcet is a powerful graphical language dedicated to the specification of the behaviour of sequential logical systems. In industrial applications it is often used with systems which are not purely sequential but also include continuous parts. We propose extensions to Grafcet in order to allow the specification of hybrid systems. In this hybrid Grafcet, continuous behaviours specified by Laplace transfer functions or state equations can be associated with steps as “continuous actions” initialisations of the differential equations are specified by instantaneous actions and the value of continuous variables can be used in transitions-conditions. The consistency of the specification is checked by the calculus of the underlying hybrid automata with special emphasis on the problem of stability
Keywords :
automata theory; control system analysis computing; differential equations; specification languages; transfer functions; visual languages; Grafcet; Laplace transfer functions; calculus; continuous actions; continuous behaviours; differential equations; graphical language; hybrid automata; hybrid systems control; instantaneous actions; sequential logical systems; specification language; stability; state equations; transitions-conditions; Automata; Calculus; Control systems; Differential equations; Electrical equipment industry; Input variables; Laplace equations; Specification languages; Stability; Transfer functions;
Conference_Titel :
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-7803-5731-0
DOI :
10.1109/ICSMC.1999.814082
