Extending Grafcet for the specification of control of hybrid systems

Author

Guillemaud, L. ; Guéguen, H.

Author_Institution

Supelec, Cesson-Sevigne, France

Volume

1

fYear

1999

fDate

1999

Firstpage

171

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on

Conference_Location

Tokyo

ISSN

1062-922X

Print_ISBN

0-7803-5731-0

Type

conf

DOI

10.1109/ICSMC.1999.814082

Filename

814082