Authors:
Milton Souza
1
;
Evangivaldo Lima
2
and
Jés Cerqueira
3
Affiliations:
1
Faculdade de Tecnologia Senai-Cimatec, Brazil
;
2
Universidade do Estado da Bahia, Brazil
;
3
Universidade Federal da Bahia and Aristides Novis, Brazil
Keyword(s):
Petri Nets, Electric Power System, Model, Supervisor, Constraint.
Related
Ontology
Subjects/Areas/Topics:
Control and Supervision Systems
;
Distributed Control Systems
;
Engineering Applications
;
Industrial Automation and Robotics
;
Industrial Engineering
;
Informatics in Control, Automation and Robotics
;
Intelligent Control Systems and Optimization
;
Modeling, Analysis and Control of Discrete-event Systems
;
Robotics and Automation
;
Signal Processing, Sensors, Systems Modeling and Control
Abstract:
In this paper the operation of electric power system is treated as a discrete event system and a Petri Net is
used as formal tool to achieve it. Each component of power system is modelled as a single Petri Net and the
complete model is reached by composition of these single Petri Nets. Properties such as: parallelism, conflict,
concurrency and others are used to study the operation of the modelled system. In this study are detected
undesired behaviors on the dynamics of system. The theory of supervisory control is used to avoid these
undesired behaviors forcing the system to have a controlled behavior. To obtain a controlled system a set of
constraint are modelled by linear inequalities and the systems is forced to obey it. A case study application is
presented to illustrate the proposed model here.