By Topic

From modelling control systems using Grafcet to analyzing systems using hybrid automata

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
G. Frensel ; Control Lab., Delft Univ. of Technol., Netherlands ; P. M. Bruijn

Grafcet is a language which is used for the specification of control systems, although it is not very well suited for the verification of the specification. This paper describes the translation of grafcet specifications into hybrid automata. This translation is a part of a framework which enables not only the verification of a grafcet but of a hybrid system consisting of a discrete controller and a continuous process. The approach taken is based on the construction of a situation graph which serves as the underlying structure in the translation of a grafcet in its equivalent hybrid automaton

Published in:

American Control Conference, 1998. Proceedings of the 1998  (Volume:2 )

Date of Conference:

21-26 Jun 1998