In this paper, the implementation of an Intelligent Load Power Management (I-LPM) strategy for an aeronautical electrical network using a Petri net based approach will be discussed. The control strategy for I-LPM implementation will be presented following a step-by-step approach. In details, a rigorous method for translating the requirements that describe the desired energy management logic in a formal Petri net will be discussed. Next, in order to verify the Petri net correctness in terms of qualitative properties, a number of reduction techniques steps will be applied, eventually deriving a straightforward net where some basic properties will be verified by direct inspection. Finally, simulation results will evidence how the first Petri net so far derived can be applied, as a consequence of the successful verification of its basic properties, as a supervisory control strategy for the I-LPM of a basic aeronautical electrical network, as well as the obtained advantages over a traditional energy management strategy. © 2013 IEEE.
|Titolo:||A Petri net application for energy management in aeronautical networks|
|Autori interni:||CAVALLO, Alberto|
|Data di pubblicazione:||2013|
|Rivista:||PROCEEDINGS IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION|
|Appare nelle tipologie:||4.1 Contributo in Atti di convegno|