<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Self-Adaptive Reconfigurations of Shipboard Power Systems</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Luca Sabatucci</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Massimo Cossentino</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Salvatore Lopes ICAR-CNR Palermo</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Italy</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>luca.sabatucci</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>massimo.cossentino</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>salvatore.lopesg@icar.cnr.it</string-name>
        </contrib>
      </contrib-group>
      <fpage>103</fpage>
      <lpage>108</lpage>
      <abstract>
        <p>-The Shipboard Power System (SPS) is the element of a ship that is responsible for supplying energy to vessel operations. This component is critical to the survival and safety of the ship because many accidents may occur during ship navigation are often due to electrical failures. The SPS manages the electrical topology to successfully supply energy to the several onboard components. The proposed reconfiguration architecture uses a distributed and mission-oriented approach based on a generic-purpose self-adaptive middleware (MUSA). This paper illustrates how MUSA has been customized to dynamically reconfigure the electrical circuit of a vessel. In case of failures or unexpected events, it generates at run-time several possible solutions that properly considers ship's mission and the current scenario. The solution also includes a Matlab/Simulink simulator to validate the solution. Index Terms-Shipboard power system, SPS reconfiguration, selfadaptive system</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>I. INTRODUCTION</p>
      <p>In recent years, the maritime sector is highlighting a high value of
innovative and technological content (ICT), especially when faced
with the need to respond to objectives such as safety, efficiency,
and environmental impact. “EMSA’s annual overview of 2015 marine
casualties and incidents” reports that most of the accidents mentioned
are due to loss of control or damage to ships or equipment. The ship
power production and distribution failures play a relevant role in
such incident scenarios. The Shipboard Power System (SPS) is the
component responsible for granting energy to navigation,
communication, and operational systems. It is consists of various electric
and electronic equipment, such as generators, cables, switchboards,
circuit breakers, fuses, buses, and many kinds of loads.</p>
      <p>Modern ICT technologies can nowadays automatically accomplish
real-time data acquisition, classification, assimilation, and correlation
at a reasonable cost. Software-based reconfiguration systems consist
of two different layers: the software layer encapsulates the logic
for the monitor and the control of the underlying electrical layer.
In practice, the software system manages onboard switchboards and
circuit-breakers, to direct the power flow where it is necessary for
restoring a fault situation.</p>
      <p>
        In [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] authors survey FDIR methodologies, focusing the attention
on reconfiguration techniques related to flight control systems. In
particular, they classify the reconfiguration methodologies into two
categories: multiple-model approach, and adaptive-control approach.
In [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], authors compare reconfiguration techniques applied to the
terrestrial and maritime domains. They include an analysis of the
SPS characteristics, highlighting the need for integrated protection
and power distribution.
      </p>
      <p>
        In [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ], authors surveyed several formulations of the reconfiguration
problem and techniques used for the solution. They compare the SPS
reconfiguration problem to that of large-scale systems, exploring the
issue of optimal reconfiguration from a variety of perspectives.
      </p>
      <p>
        The present paper focuses on SPS reconfiguration in case of single
or multiple failures. This work starts from a detailed analysis [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]
of some the most recent software-based reconfiguration
methodologies. The proposed reconfiguration procedure uses a distributed
and mission-oriented hierarchical approach, and it employs an agent
oriented middleware for engineering self-adaptive systems (MUSA).
MUSA agents are able of orchestrating a solution to the end of
dynamically reconfiguring in case of failures or unexpected events.
Customizing MUSA for the maritime domain allows obtaining a
runtime solution to the SPS problem that adequately considers ships
mission and current (fault) scenario thus including specific tasks,
goals and non-functional requirements (e.g. quality aspects, QoS). We
also implemented an experimental setup including a Matlab/Simulink
simulation of a case study from literature[
        <xref ref-type="bibr" rid="ref5">5</xref>
        ], to validate the solution
and to assess our approach.
      </p>
      <p>This paper is organized as follows: Section II introduces the SPS
domain and the reconfiguration problem; Section III illustrates the
proposed solution architecture and algorithms. Section IV introduces
a fault scenario that is used to demonstrate the adaptive ability of the
system. Finally, some conclusions are drawn in Section V.</p>
    </sec>
    <sec id="sec-2">
      <title>II. SHIPBOARD POWER SYSTEMS</title>
      <p>The SPS is the electrical and electronic hearth of a ship, it
is composed of a set of components such as power generators,
buses, circuit breakers, heterogeneous loads, and others electric
subsystems appointed to navigation, communication and so on. In the last
decades, some ships are equipped with direct-current (DC) because of
the following advantages if compared to the alternate-current (AC):
1) smaller components and compact power converters;
2) easier connections;
3) no reactive power and harmonic issues;
4) faults reduction and easier reconfiguration procedures.</p>
      <p>The main disadvantage of DC systems is that voltage shifts are
more difficult to be realised than in AC systems where transformers
do that with minimal losses.</p>
      <p>
        Loads often are distributed in zones and fed power from the
main electric buses. It is usual to classify loads according to their
importance into vital and non-vital categories, where vital loads are
non-sheddable loads that directly affect the survivability of the ship,
while the non-vital ones may be shed in order to prevent a total loss
of ship’s electrical power, or for protection purposes. Moreover, the
loads can be categorised regarding QoS as un-interruptible, short-term
interrupt, and long-term interrupt [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]:
1) un-interruptible load: loads that can not tolerate power
interruptions on the order of two seconds;
2) short-term interrupt load: loads that can tolerate power
interruption in the order of maximum one-five minutes;
3) long-term interrupt load: load that can tolerate service
interruption longer than five minutes.
      </p>
      <p>Reconfiguration in an electrical SPS is a critical operation
requested in unexpected situations such as in the case of severe or
major faults. The reconfiguration procedure is driven by the ship
power and energy management control, that communicates with all
the generators and loads to keep the continuity of service during</p>
      <p>MISSION 1: NAVIGATION
Goal A [priority: normal]
Goal B [priority: low]
Goal C [priority: normal]
Goal D [priority: normal]
Goal E [priority: normal]
Goal F [priority: high]</p>
      <p>MISSION 2: IN HARBOUR
Goal A [priority: high]
Goal B [priority: low]
Goal C [priority: normal]
Goal D [priority: normal]
Goal E [priority: high]</p>
      <p>Goal F [priority: normal]</p>
      <p>MISSION N: IN COMBACT
Goal A [priority: low]
Goal B [priority: low]
Goal C [priority: high]
Goal D [priority: normal]
Goal E [priority: high]</p>
      <p>Goal F [priority: low]
reconfiguration operations. In this way, the reconfiguration of the
electrical layer can isolate faults, restore/transfer power to vital loads,
but also, more generally, it can optimise the management of electrical
and electronic equipment to improve energy efficiency.</p>
      <p>During normal navigation or after a specific event such as a weapon
hit or a collision, there can be a series of multiple equipment damages.
These can affect electrical layer and/or other systems such as the
navigation one.</p>
      <p>
        The strategy that enables restoration of the electrical power system
is called reconfiguration. The number of steps and the adopted
strategies (that can also involve humans) may vary. In particular,
in a recent work [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ], authors observed in literature exists several
software-based reconfiguration techniques enabling smart and timely
reconfiguration of the electrical layer due to a fault (or multiple
faults). These systems need a specific environment perception and
they enact reconfiguration strategies basing on several different levels
of “smartness”, allowing a sophisticated real-time perception of the
situation and a ready management in case of emergencies.
      </p>
      <p>
        Smart reconfiguration methodologies need complex coordination
between electrical power and protective functions, and must deal
with several electrical architectures (radial, ring, zonal, . . . ). Very
frequently applied, zonal architectures are electrical configurations of
the SPS where loads are ideally divided into zones. Such architectures
are frequently used because they enable an easy sectioning of the ship
electric level thus preventing that a single minor fault may spread in a
systemic failure [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] or, conversely, that a damaged part of the system
may be left apart from the functionality restoration procedure.
      </p>
    </sec>
    <sec id="sec-3">
      <title>III. THE PROPOSED SOLUTION This section illustrates the proposed solution, based on MUSA, a middleware for building self-adaptive systems, and on Matlab/Simulink for simulating the circuit.</title>
      <p>A. MUSA: A Middleware for User-driven Service Adaptation</p>
      <p>
        The Middleware for User-driven Self-Adaptation (MUSA) has
arisen from a couple of pressing objectives in the research agenda
of dynamic workflow execution: managing run-time business process
evolution and adaptivity [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ].
      </p>
      <p>The key aspect is a clear separation of two points: ‘what the
system has to address’ and ‘how it will operate for addressing it’.
The enablers of this vision are i) representing what and how as
run-time artifacts the system may reason on (respectively goals and
capabilities); ii) a reasoning system for connecting capabilities to
goals; iii) finally a common grounding semantic, represented with
some formalism.</p>
      <p>
        The first aspect of MUSA is the ability to work with run-time
requirements as a set of goals to be injected into the system [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. A
goal is a desired state an actor wants to achieve. In MUSA, a goal
is provided to the system at run-time, exploiting the ability of the
agent of being autonomous and proactive i.e. being able to explore a
solution space, even when this space dynamically changes or contains
uncertainty. For the specific context of the vessel, four goals represent
the main system operations such as propulsion, rudder and stability,
communication and ICT, and hotel. These are further decomposed in
other sub-goals. For instance, propulsion is decomposed into main
motors and maneuver gears. The hotel function is decomposed into
air conditioning, lights, and other services.
      </p>
      <p>
        MUSA tries to address the goals by finding suitable solutions
using the concept of Capabilities as first-class entities for agent
deliberation [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. The concept of capability comes from planning
actions [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] and it implements a service-oriented architecture. A
capability describes a concrete operation the system may execute
to change the current state of the world. Every agent knows its
capabilities, their effects and the way these can be employed. In
the specific context, capabilities coincide with the electrical actions
(switchers) that allow to dynamically change the flow of power.
      </p>
      <p>
        Consequently, self-adaptation is defined as a space search problem.
The algorithm used in [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ] is a symbolic planning algorithm, in which
a set of distributed agents incrementally build a computational graph
model by exploring different combinations of capabilities. The result
is a set (possibly not empty) of solutions, in which each solution
represents a sequence of actions to be executed to address the goal
finally.
      </p>
      <p>The agent-based, hierarchical and distributed nature of MUSA
allows for managing multi-layer services as a single service, thus
hiding the complexity of service composition. Moreover, agents are
suitable for granting adaptation because they may change without
affecting the whole structure.</p>
      <sec id="sec-3-1">
        <title>B. A Mission-Oriented Solution</title>
        <p>SPS reconfiguration problem embraces a series of possible
scenarios, goals, and decisions based on functional and non-functional
requirements. Functional requirements include prescriptive goals –
related to onboard operations that must be granted without any degree
of freedom – and soft goals which also can be satisfied partially, thus
granting a minimal degree of functionality. The adoption of goals
allows a seamless description of the expected behavior in terms of
loads that must be powered.</p>
        <p>Moreover, requirements in a vessel are not static: they change
according to the operative context. Indeed, the operating scenario may
change, and a series of reconfiguration sub-goals may be necessary
to comply with specific requirements of the electrical layer. Some
particular constraints are, for instance: providing energy to vital loads,
protecting loads with different priorities, shedding non-damaged loads
that may not be powered (possibles causes: insufficient electric power,
no energy transportation route to that load). These sub-goals may
strongly vary according to the kind of vessel (a warship vs. a cargo),
the type of mission (approaching the harbor, offshore navigation,
combat actions), and the current amount of power produced by
generators and energy storage devices. The system must be flexible
enough to switch its goals at run-time, for example when the ship’s
mission change.</p>
        <p>To this aim, we introduce the concept of Mission. A mission is
a description of the relation between the operating context and the
degree of priority to be assigned to the system goals.</p>
        <p>The solution we propose is based on a dynamic description of
the vessel’s missions. An example is shown in Figure 1. When the
system power is under the value required for feeding all the vessel’s
MATLAB
conceptual
solutions
loads, the SPS reconfiguration must consider not all the goals are
equally important to be pursued. Indeed, some loads are mandatory
for the vessel survivability [vital loads] while other ones are also
important but not necessary [semi-vital loads]. Finally, other loads
may be switched off without affecting ship mission accomplishing
[non-vital loads]. Consequently, goals may be classified by different
priority depending on the specific context. Thus, the reconfiguration
system will always prefer to address a higher priority goal.</p>
        <p>The architecture of the solution is based on the integration of
MUSA and Matlab, as shown in Figure 2. MUSA provides a
highlevel reasoning infrastructure that is triggered when the monitoring
sub-system discovers the standard electrical configuration is affected
by a set of failures.</p>
        <p>In this process, MUSA makes a very limited use of physical values
to elaborate the solutions. It calculates the available amount of power,
and it penalizes configurations in which loads use more power than
the available one. The role of Matlab becomes fundamental because it
allows grounding the conceptual solution by employing Simulink to
simulate physical parameters such as the effective current measured at
the generators poles, identifying extra-voltage or unstable situations
that a symbolic reasoning is not able to evaluate. The outcome of
Matlab is to discard unfeasible solutions and to sort the remaining
ones according to their quality.</p>
      </sec>
      <sec id="sec-3-2">
        <title>C. The Adaptation Cycle</title>
        <p>
          Most of the modern approach to self-adaptation puts the feedback
loop as the core of the architecture. The proposed solution adopts
one of the most common models for realizing the feedback loop: the
MAPE-K [
          <xref ref-type="bibr" rid="ref11">11</xref>
          ] structure, composed of data collection, data analysis,
planning and acting. Figure 2 shows the architecture of the solution.
        </p>
        <p>The Monitor Module. The vessel is instrumented with a set of
sensors for monitoring some physical variables. The monitor module
shall control these sensors to collect raw data with the aim of
detecting possible failures.</p>
        <p>The Analysis Module. The system should be able of reasoning on
raw data to estimate all the relevant vessel conditions (e.g., steady
state, electrical failure, etc.) thus obtaining the necessary information
to characterize and assess system performance fully. For instance, the
analysis should infer the kind and the position of possible electrical
failures when they occur.</p>
        <p>The Planning. component is responsible for deciding the kind
of recovery to enact. The Proactive Means-end Reasoning Module
elaborates a configuration for maximizing the continuity-of-service of
vital loads during the reconfiguration operations, avoiding instability
or even system collapse. According to the current mission and the
kind of maneuver, loads are dynamically dealt according to the three
categories (vital, semi-vital and non-vital). The contribution of
Matlab/Simulink allows selecting feasible solutions via simulation. The
design of this module incorporates human factor to enable specialized
operators (mainly the captain) to maintain situational awareness and
take appropriate measures during normal and emergency conditions.</p>
        <p>Execute. The main operations of the SPS reconfiguration are
connection/disconnection of the loads and the generators. These
actions are performed by controlling the automatic switches placed
on electrical buses. Controller distribution and autonomy are
fundamental features to allow each block may act independently from the
rest of the system.</p>
        <p>The whole adaptation cycle is summarized in Figure 2. The
ship captain selects the current mission of the vessel. The mission
classifies the loads according to a typology (vital, semi-vital and
nonvital) and finally, each of the loads is associated with a priority.</p>
        <p>A monitoring module supervises the vessel’s status and raises a
new adaptation need when it discovers a failure scenario. In this case,
MUSA receives the current state of the vessel, and it explores a space
of solution driven by the mission’s goals and it produces a list of
conceptual solutions. These are ‘conceptual’ because the main MUSA
algorithm works on a conceptual description of the electrical topology
where some implementation aspects are missing. It is up to the Matlab
simulation to validate these solutions by verifying their feasibility in
terms of physical aspects. Therefore, only feasible solutions will be
presented to the vessel’s captain.</p>
        <p>The cycle concludes when the captain selects and makes operative
the solution he prefers thus enabling the control sub-system to enact
the solution in the real electrical circuit concretely.</p>
        <p>The next section explains a reconfiguration scenario due to a set
of failures. It illustrates, in details, how the architecture takes care of
the failure conditions and it is able of generating a reconfiguration
plan to lead the general state of the vessel toward a safe condition.</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>IV. CASE STUDY</title>
      <p>
        In this section, we propose a case study inspired by [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] to which
we apply the proposed approach for reconfiguring the system when
multiple failures occur. The formulation presented in [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] considers
a new balanced hybrid (AC and DC) shipboard power system based
on a high-performance medium-voltage DC-current (MVDC) ship
power system. To allow an evaluation of the proposed approach, in
this section we suppose the whole system is DC powered, and it is
configured as reported in Figure 3.
      </p>
      <p>The proposed electrical model comprises seven DC load zones
that are powered by two primary generators (MG) and two auxiliary
generators (AUXG). Each MG provides up to 6 MW while each
AUXG provides up to 2 MW. It is assumed that nonvital loads can
be shed to grant the power to the vital and semi-vital loads in case
of emergencies.</p>
      <p>
        To demonstrate the results provided by the proposed system, we
will study a multiple-failures scenario inspired by [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] involving three
simultaneous faults.
      </p>
      <p>The fault scenario (failures FS1+FS2+FS3 in Figure 4) occurs
when multiple interruptions happen on the starboard bus. As a
consequence of these multiple failures, loads L1, L5, L9 are no more
powered. This has a serious impact on mission accomplishing since
load L9 is a vital one. Loads L15, L18, L21, L24 are still unpowered
because of the initial mission configuration.</p>
      <p>The reconfiguration procedure performed by MUSA proposes
several solutions. They respect the constraint coming from the maximum
amount of available power (also considering auxiliary generators if
switched on during the procedure). However, the MUSA module is
not aware of the real behavior of the system at the most detailed
level, including currents in each node, currents delivered to loads and</p>
      <p>F4</p>
      <p>Aux
SW G1
AUXG1
c1
x
x
x
x
x
x
x
c2
x</p>
      <p>SW5
SW P2
SW6
SW7
SW S2
SW8
c3
x
x
x
x
x
x
x
x
L5
L6
L7
L8
c4
x</p>
      <p>SW1
SW P1
SW2</p>
      <p>SW3
SW S1</p>
      <p>SW3</p>
      <p>L1
L2
L3</p>
      <p>L4
Type
Priority
Load</p>
      <p>config
initial state
fault cond
SW9
SW S3</p>
      <p>L9
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
14
16
21
25
30
32
37
41
46
non-powered loads</p>
      <p>L5
L5</p>
      <p>L5</p>
      <p>L5-L24</p>
      <p>L5-L21-L24</p>
      <p>L5-L18-L21-L24</p>
      <p>L5-L15-L18-L21-L24</p>
      <p>L1-L5-L15-L18-L21-L24</p>
      <p>Legend: config is the number of solution discovered by MUSA; c1-c8 are the subset of all the capabilities used in this example
(c1=switch ON aux1 generator cap, c2= switch ON aux2 generator cap, c3=open switch swp3 close switch sws3 cap, c4=open switch sw 5 cap,
c5=close switch sw 15 cap, c6=close switch sw 18 cap, c7=close switch sw 21 cap, c8=close switch sw 24 cap); gen state is the state of the four
generators (main1, main2, aux1, aux2); load state is the state of the loads according priorities (see Table I); score is the result of the score heuristic.</p>
      <p>Legend: config is the number of solution discovered by MUSA; overloads are situations which the current at the ports of a generator is higher than a
threshold; not powered loads are loads that are not supplied; wrongly non-powered are loads that could be supplied with energy but the configuration misses
to do; underused gen are generators that are used below their possibility; redundant cap indicates the solution contains capabilities that could be removed
because their effect is null; solution size is the number of capabilities that are used in the solution.</p>
      <p>SW1 n L1
SW P1</p>
      <p>SW2 v L2
SW3 s</p>
      <p>L3
n L4
SW S1</p>
      <p>SW3
14</p>
      <p>Port Bus
4
currents dispatched by generators (that being real have a maximum
amount of power they can provide). Indeed, the MUSA module
operates at a symbolic level of abstraction. It computes which paths
are enabled for current passing once a specific configuration of
switches is selected and what total amount of current is demanded to
generators by the current-reachable loads. By using Matlab/Simulink,
our system simulates all the provided reconfiguration procedures and
it removes those who violate physical specifications of the real system
(for instance maximum amount of power for each generator). Results
are reported in Table II. The first two rows of the table report the
initial operating conditions selected by the captain according to the
mission profile (see also I). It is worth to note that, although no
faults are active, some loads are not powered (L15-L18-L21-L24).</p>
      <p>This descends from the limited power of the two main generators
(not sufficient to power all the loads of the vessel) and the
nonvital role of some loads for the mission. The quality of service
(score) for this configuration is 4’194’288. After the three faults
(Figure 4), the quality of service drops down to 2’620’784. This
happens because loads L1-L5-L6-L9-L15-L18-L21-L24 are no more
powered as a consequence of the faults. This is the initial condition
the proposed reconfiguration approach has to cope with. The
configurations generator proposes 8 different solutions to the problem
as reported in Table II. Each configuration employs a different set
of capabilities. As we can see looking at the score column, the first
three proposed configurations achieve the same score result but they
use a different set (and number) of capabilities to do that. Oddly,
configuration 1 activates the auxiliary generator AUX2 without any
evident advantage with regards to the following two configurations.</p>
      <p>Configuration 2 proposes to open switch sw5 (controlling load L5)
but since this is not reachable anyway, the action has no effect on
the result. From configuration 4 to 8, a growing number of loads
is disconnected from power, this causes a decrease in the quality of
service coming with a diminishing need for power (configuration 8
does not even need auxiliary generator AUX1) and the number of
employed capabilities.</p>
      <p>In order to better illustrate the proposed approach, we will study
two configurations. The first one (configuration n.1 from Table II)
prescribes the following operations:
cap: switch_ON_aux1_generator_cap
cap: close_switch_sw_15_cap
cap: close_switch_sw_18_cap
cap: close_switch_sw_21_cap
cap: close_switch_sw_24_cap
cap: switch_ON_aux2_generator_cap
cap: open_switch_swp3_close_switch_sws3_cap</p>
      <p>The first step consists in switching on the generator AUXG1, then
loads L15, L18, L21, and L24 are powered, the generator AUXG2
is switched on, and, finally, the transversal bus 3 configuration
is changed (by opening switch SWP3 and closing SWS3). The
reader will note that the prescribed operations do not follow a
precise or logical order (for instance the two auxiliary generators
are not switched on together). This is an obvious consequence of
the configurations generator algorithm for solution space (WTS, see
Figure 1) exploration and of the simplification implied by not
studying transitory intermediate configuration states. The reconfiguration
solution is supposed to be entirely applied at the same time (not a
big issue when working in DC although some aspects will be further
studied in the future).</p>
      <p>The second reconfiguration solution we will study configuration n.
4 from Table II) prescribes the following operations:
cap: switch_ON_aux1_generator_cap
cap: close_switch_sw_15_cap
cap: close_switch_sw_18_cap
cap: close_switch_sw_21_cap
cap: open_switch_swp3_close_switch_sws3_cap</p>
      <p>The procedure switches on auxiliary generator 1, together with
loads L15,L18,L21. The configuration of transversal bus 3 is reversed
as in the previous configuration.</p>
      <p>Differences between these two configurations become evident after
their simulation with the Matlab module. The overall results of the
Matlab simulations are reported in Table III). This summarizes the
most relevant problems that can be found by using a physical-level
simulation of the circuit. The first column reports the number of
configurations, the second column reports the overloaded generators
(if any). The first three configurations overload the generator MG1
thus becoming unacceptable (see the last column of the table, column
’feasible’). This condition may not be discovered at the symbolic
level, since it only performs a global balance of power (demanded
power vs available power). In reality, it may happen that power
required to the available generators is not equally distributed and
one of them may overload while the other remains well under its
working limits. The third column lists loads that are not powered in
the proposed configuration. This is directly linked to the quality of
service score (from the previous table). Solutions with better scores
are to be preferred if they satisfy the goal requirements (all vital
loads are powered). The fourth column reports the list of loads that
could be powered according to the circuit configuration, but they are
switched off by the wrong use of a capability.</p>
      <p>Column ’underused gen’ lists the generators that are switched
on by the proposed configuration but their power is not effectively
used according to the Matlab simulation (in other words they do
not really provide any power). Again, this happens in scenario 2.</p>
      <p>Column ’redundant cap’ lists the capabilities (better their scope) that
are employed in the configuration but do not provide any effect (for
instance the already discussed use of c4 in configuration 2). Column
’solution size’ reports the number of employed capabilities. This is
a sensitive metrics since we prefer shorter (and therefore intuitively
simpler) solutions when they achieve the same score. Finally, column
’feasible’ summarizes the previous results and it marks as acceptable
solutions that do not violate physical limits of the circuit behavior
(such as generator overloads).</p>
      <p>Going back to the previously studied configurations n.1 and n.4,
we can see that the Matlab simulation of the proposed solution n.1
reports that one generator (MG1) is overloaded and one load (L5) is
not powered. This solution is therefore not feasible. Conversely, the
simulation of configuration n.4 proves it abides the limits imposed
by the electrical components, and it is therefore feasible. In this
configuration, loads L5 and L24 are not powered but they are listed
as non-vital in this mission; therefore this is not a problem. The two
cases show the importance to clean the solutions provided by the
configurations generator with the simulations done by a module that
is well aware of the behavior of the physical layer of the system
(Matlab in our case). Considering the results proposed in Table III,
we can see that the best solution is configuration n.4 that achieves a
score of 4’194’174 and requires five capabilities. Following solutions
(n.5-6-7-8), although feasible, achieve a lower score (in fact fewer
loads are powered by these solutions) but also use a smaller number
of capabilities, therefore may be useful in a real scenario when
something could go wrong in applying the preferred solution n. 4.</p>
      <p>This example shows the ability of responding to unexpected
situations by proposing more than one reconfiguration solutions. It
is worth to note that the proposed system could easily automatically
identify and enact the best solution but we decided not to implement
that because in real scenarios, the final responsibility for the adoption
of a reconfiguration strategy should always be on the person in
charge.</p>
      <p>This paper presented an adaptive architecture for dealing with
the reconfiguration of Shipboard Power Systems (SPSs) that is the
component responsible for supplying energy to various services of a
vessel. The solution adopts MUSA as the base for the reconfiguration
system and Matlab for enriching the system of a physical simulator.</p>
      <p>We have extended the main concepts of MUSA by introducing the
new concept of Mission, a dynamic container of goals, associated
with their priorities. We finally proposed a case study in which we
discuss a failure scenario, and we illustrated how the system behaves
in critical circumstances.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>I.</given-names>
            <surname>Hwang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Kim</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Kim</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C. E.</given-names>
            <surname>Seah</surname>
          </string-name>
          ,
          <article-title>A survey of fault detection, isolation, and reconfiguration methods</article-title>
          ,
          <source>IEEE Transactions on Control Systems Technology</source>
          <volume>18</volume>
          (
          <issue>3</issue>
          ) (
          <year>2010</year>
          )
          <fpage>636</fpage>
          -
          <lpage>653</lpage>
          . doi:
          <volume>10</volume>
          .1109/TCST.
          <year>2009</year>
          .
          <volume>2026285</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>W. M.</given-names>
            <surname>Dahalan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Mokhlis</surname>
          </string-name>
          ,
          <article-title>Techniques of network reconfiguration for service restoration in shipboard power system: A review</article-title>
          ,
          <source>Australian Journal of Basic Applied Science</source>
          <volume>4</volume>
          (
          <issue>11</issue>
          ) (
          <year>2010</year>
          )
          <fpage>55565563</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>K. C.</given-names>
            <surname>Nagaraj</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Carroll</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Rosenwinkel</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Arapostathis</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Grady</surname>
          </string-name>
          ,
          <string-name>
            <given-names>E. J.</given-names>
            <surname>Powers</surname>
          </string-name>
          ,
          <article-title>Perspectives on power system reconfiguration for shipboard applications</article-title>
          ,
          <source>in: 2007 IEEE Electric Ship Technologies Symposium</source>
          , IEEE,
          <year>2007</year>
          , pp.
          <fpage>188</fpage>
          -
          <lpage>195</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>L.</given-names>
            <surname>Agnello</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Cossentino</surname>
          </string-name>
          , G. De Simone, L. Sabatucci,
          <article-title>Shipboard power systems reconfiguration: a compared analysis of state-of-the-art approaches</article-title>
          ,
          <source>in: Smart Ships Technology</source>
          <year>2017</year>
          ,
          <article-title>Royal Institution of Naval Architects (RINA</article-title>
          ),
          <year>2017</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>9</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>S.</given-names>
            <surname>Bose</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Pal</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Natarajan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C. M.</given-names>
            <surname>Scoglio</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Das</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N. N.</given-names>
            <surname>Schulz</surname>
          </string-name>
          ,
          <article-title>Analysis of optimal reconfiguration of shipboard power systems</article-title>
          ,
          <source>IEEE Transactions on Power Systems</source>
          <volume>27</volume>
          (
          <issue>1</issue>
          ) (
          <year>2012</year>
          )
          <fpage>189</fpage>
          -
          <lpage>197</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6] IEEE,
          <article-title>Recommended practice for shipboard electrical installations - systems engineering</article-title>
          ,
          <source>IEEE Std 45</source>
          .
          <fpage>3</fpage>
          -
          <lpage>2015</lpage>
          (
          <year>2015</year>
          )
          <fpage>1</fpage>
          -
          <lpage>74doi</lpage>
          :
          <fpage>10</fpage>
          .1109/ IEEESTD.
          <year>2015</year>
          .
          <volume>7172975</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>L.</given-names>
            <surname>Sabatucci</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Lodato</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Lopes</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Cossentino</surname>
          </string-name>
          ,
          <article-title>Towards selfadaptation and evolution in business process</article-title>
          ., in: AIBP@ AI* IA, Citeseer,
          <year>2013</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>10</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>L.</given-names>
            <surname>Sabatucci</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Ribino</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Lodato</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Lopes</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Cossentino</surname>
          </string-name>
          ,
          <article-title>Goalspec: A goal specification language supporting adaptivity and evolution</article-title>
          , in: International Workshop on Engineering Multi-Agent Systems, Springer,
          <year>2013</year>
          , pp.
          <fpage>235</fpage>
          -
          <lpage>254</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>L.</given-names>
            <surname>Sabatucci</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.</surname>
          </string-name>
          <article-title>Cossentino, From Means-End Analysis to Proactive Means-End Reasoning</article-title>
          ,
          <source>in: Proceedings of 10th International Symposium on Software Engineering for Adaptive</source>
          and
          <string-name>
            <surname>Self-Managing</surname>
            <given-names>Systems</given-names>
          </string-name>
          , Florence, Italy,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>M.</given-names>
            <surname>Gelfond</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Lifschitz</surname>
          </string-name>
          , Action languages,
          <source>Computer and Information Science</source>
          <volume>3</volume>
          (
          <issue>16</issue>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>P.</given-names>
            <surname>Vromant</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Weyns</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Malek</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Andersson</surname>
          </string-name>
          ,
          <article-title>On interacting control loops in self-adaptive systems</article-title>
          ,
          <source>in: Proceedings of the 6th International Symposium on Software Engineering for Adaptive</source>
          and
          <string-name>
            <surname>Self-Managing</surname>
            <given-names>Systems</given-names>
          </string-name>
          , ACM,
          <year>2011</year>
          , pp.
          <fpage>202</fpage>
          -
          <lpage>207</lpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>