<!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>Early Detection of Combustion Instability by Neural-Symbolic Analysis on Hi-Speed Video</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Soumalya Sarkar</string-name>
          <email>sms388@gmail.com</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Kin Gwn Lore</string-name>
          <email>kglore@iastate.edu</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Soumik Sarkar</string-name>
          <email>soumiks@iastate.edu</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Mechanical Engineering, Iowa State University</institution>
          ,
          <addr-line>Ames, IA 50011</addr-line>
          ,
          <country country="US">USA</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>United Technology Research Center</institution>
          ,
          <addr-line>East Hartford, CT 06118</addr-line>
          ,
          <country country="US">USA</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>This paper proposes a neural-symbolic framework for analyzing a large volume of sequential hi-speed images of combustion flame for early detection of instability that is extremely critical for engine health monitoring and prognostics. The proposed hierarchical approach involves extracting low-dimensional semantic features from images using deep Convolutional Neural Networks (CNN) followed by capturing the temporal evolution of the extracted features using Symbolic Time Series Analysis (STSA). Furthermore, the semantic nature of the CNN features enables expert-guided data exploration that can lead to better understanding of the underlying physics. Extensive experimental data have been collected in a swirlstabilized dump combustor at various operating conditions for validation.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>
        Recent advancements in deep learning shows that neural approaches are excellent at low-level
feature extraction from raw data, automated learning and discriminative tasks. However, such models
still may not be suited as much for logical reasoning, interpretation and domain knowledge
incorporation. On the other hand, symbolic approaches can potentially alleviate such issues as they are
shown to be effective in high-level reasoning and capturing sequence of actions. Therefore, a
hybrid neural-symbolic [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] learning architecture has the potential to execute high-level reasoning tasks
using the symbolic part based on the automated features extracted by the neural segment.
In this paper, we propose a neural-symbolic anomaly detection framework for the crucial physical
process of combustion where a pure black box model is unacceptable in order to enable domain
interpretation and better understanding of the underlying complex physics. Combustion instability,
that reduces the efficiency and longevity of a gas-turbine engine, is considered a significant anomaly
characterized by high-amplitude flame oscillations at discrete frequencies. These frequencies
typically represent the natural acoustic modes of the combustor. Combustion instability arises from a
positive coupling between the heat release rate oscillations and the pressure oscillations, provided
this driving force is higher than the damping present in the system. Coherent structures are fluid
mechanical structures associated with coherent phase of vorticity, high levels of vorticity among other
definitions [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. These structures, whose generation mechanisms vary system wise, cause large scale
velocity oscillations and overall flame shape oscillations by curling and stretching. These structures
can be caused to shed/generated at the duct acoustic modes when the forcing (pressure) amplitudes
are high. The interesting case of the natural shedding frequency of these structures, causing acoustic
oscillations, has been observed by Chakravarthy et al. [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. There is a lot of recent research interest
on detection and correlation of these coherent structures to heat release rate and unsteady pressure.
The popular methods resorted for detection of coherent structures are proper orthogonal
decomposition (POD) [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] (similar to principal component analysis [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]) and dynamic mode decomposition
(DMD) [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ], which use tools from spectral theory to derive spatial coherent structure modes.
Although it is known that abundant presence of coherent structure indicates instability, it is quite
difficult to visually characterize such structures. Furthermore, it becomes particularly difficult to
identify precursors of instability due to the lack of physical understanding of the coherent structures.
In this paper, we show that a deep CNN [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] based feature extractor can learn meaningful patterns
from unstable flame images that can be argued as coherent structures. Then a symbolic model can
capture the temporal dynamics of appearance of such patterns as a flame makes transition from stable
to unstable states which results in an early detection of instability. Specifically, we use a recently
reported Symbolic time series analysis (STSA) [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ], a fast probabilistic graphical modeling approach.
Among many other applications such as fault detection in gas turbine engines [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ], STSA has been
recently applied on pressure and chemiluminescence time series for early detection of Lean-blow
out [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] and thermo-acoustic instability [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. Note, a fully neural temporal model (e.g., deep RNN)
would not be preferable as it is important to understand specific transitions among various coherent
structures. Major contributions of the paper are delineated below.
      </p>
      <p>
        • A novel data-driven framework, with CNN at lower layer and STSA at upper layer, is
proposed for early detection of thermo-acoustic instability from hi-speed videos.
• In the above framework, the CNN layers extract meaningful shape-features to represent the
coherent structures of varied sizes and orientations in the flame images. This phenomenon
enables STSA at the temporal modeling layer to capture all the fast time scale precursors
before attaining persistent instability.
• The proposed theory and the associated algorithms have been experimentally validated for
transition data at multiple operating conditions in a swirl-stabilized combustor by
characterizing the stable and unstable states of combustion.
• Training and testing of the proposed framework have been performed on different operating
conditions (e.g., air flow rate, fuel flow rate, and air-fuel premixing level) of the combustion
process to test the transferability of the approach. Performance of the proposed framework
(‘CNN+STSA’) have been evaluated by comparison with that of a framework, where CNN
is replaced by another extensively used dimensionality reduction tool, principal component
analysis (PCA) [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
2
      </p>
    </sec>
    <sec id="sec-2">
      <title>Problem Setup and Experiments</title>
      <p>
        To collect training data for learning the coherent structures, thermo-acoustic instability was induced
in a laboratory-scale combustor with a 30 mm swirler (60 degree vane angles with geometric swirl
number of 1.28). Figure 1 (a) shows the setup and a detail description can be found in [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ]. In the
combustor, 4 different instability conditions are induced: 3 seconds of hi-speed videos (i.e., 9000
frames) were captured at 45 lpm (liters per minute) FFR (fuel flow rate) and 900 lpm AFR (air flow
rate) and at 28 lpm FFR and 600 lpm AFR for both levels of premixing. Figure 1 (b) presents
sequences of images of dimension 100 × 237 pixels for unstable (AF R = 900lpm, F F R = 45lpm
and full premixing) state. The flame inlet is on the right side of each image and the flame flows
downstream to the left. As the combustion is unstable, figure 1 (b) shows formation of
mushroomshaped vortex (coherent structure) at t = 0, 0.001s and the shedding of that towards downstream
from t = 0.002s to t = 0.004s. For testing the proposed architecture, 5 transition videos of 7
seconds length were collected where stable combustion progressively becomes unstable via
intermittancy phenomenon (fast switching between stability and instability as a precursor to persistent
instability) by reducing FFR or increasing AFR. The transition protocols are as follows (all units are
AFR = 500 to 600, (iv) AFR = 600 and FFR = 50 to 35, (v) FFR = 50 and AFR = 700 to 800. These
data sets are mentioned as 50040to38, 50040to30, 40500to600, 60050to35 and 50700to800 respectively
throughout the rest of this paper.
      </p>
      <p>(a)
optical access module (IOAM), 4 - test section, 5 &amp; 6 - big and small extension ducts, 7 - pressure
transducers, Xs - swirler location, Xp - transducer port location, Xi - fuel injection location, (b)
Visible coherent structure in greyscale images at 900 lpm AFR and full premixing for 45 lpm FFR
3</p>
    </sec>
    <sec id="sec-3">
      <title>Neural symbolic dynamics</title>
      <p>This section describes the proposed architecture for early detection of thermo-acoustic instability in
a combustor via analyzing a sequence of hi-speed images. Figure 2 presents the schematics of the
framework where a deep CNN is stacked with symbolic time series analysis (STSA). In the training
phase, images (or a segment of the images) from unstable state for various operating conditions are
used as the input to the CNN.
re
su
a
e
iilty
b
tsa
In Stable</p>
      <p>time
Early detection of Instability
ߙ
ߛ</p>
      <p>ߚ
ݍ ଵ ߙ
ߛ ߙ ߛ
ݍ ସ ߚ
ߙ
ߛ
ݍݍ _2ଶ
ݍ ଷ
ߚ
ߚ
time ߙ
… ߚߛߙ
ߚ
ߛ
ߙ
ݍ ଵ
ߚߙ
ݍ ଶ</p>
      <p>Partitioning
Symbol sequence
ߝ
ߚ
ߚ
ݍ ଷ
State
merging
ݍ ସ
State transition matrix</p>
      <p>Generalized D-Markov Machine</p>
      <p>
        State splitting
edges and corners to form part of an image [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. Among various deep learning techniques,
Convolutional Neural Network (CNN) [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] is an attractive option for extracting pertinent features from
images in a hierarchical manner for detection, classification, and prediction. For the purpose of
the study, CNN remains a suitable choice as it preserves the local structures in an image at various
scales. Hence, it is capable to extract local coherent structures of various sizes in a flame image.
CNNs are also easier to train while achieving a comparable (and often better) performance despite
the fact that it has fewer parameters relative to other fully connected networks with the same number
of hidden layers.
      </p>
      <p>In CNNs, data is represented by multiple feature maps in each hidden layer as shown in the figure 2.
Feature maps are obtained by convolving the input image by multiple filters in the corresponding
hidden layer. To further reduce the dimension of the data, these feature maps typically undergo
non-linear downsampling with a 2 × 2 or 3 × 3 maxpooling. Maxpooling essentially partitions the
input image into sets of non-overlapping rectangles and takes the maximum value for each partition
as the output. After maxpooling, multiple dimension-reduced vector representations of the input is
acquired and the process is repeated in the next layer to learn a higher representation of the data.
At the final pooling layer, resultant outputs are linked with the fully connected layer where sigmoid
outputs from the hidden units are post-processed by a softmax function in order to predict the class
that possesses the highest joint probability given the input data. This way, coherent structures in the
unstable flame can be learned at different operating condition.
3.2</p>
      <p>
        Symbolic Time Series Analysis (STSA)
STSA [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ] deals with discretization of dynamical systems in both space and time. The notion of
STSA has led to the development of a (nonlinear) data-driven feature extraction tool for dynamical
systems. Rao et al. [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ] and Bahrampour et al. [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ] have shown that the performance of this
PFSAbased tool as a feature extractor for statistical pattern recognition is comparable (and often superior)
to that of other existing techniques (e.g., Bayesian filters, Artificial Neural Networks, and Principal
Component Analysis [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]). The trajectory of the dynamical system is partitioned into finitely many
mutually exclusive and exhaustive cells for symbolization, where each cell corresponds to a single
symbol belonging to a (finite) alphabet Σ. There are different types of partitioning tools, such
as maximum entropy partitioning (MEP), uniform partitioning (UP) [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ] and maximally bijective
partitioning [
        <xref ref-type="bibr" rid="ref20">20</xref>
        ]. This paper has adopted MEP for symbolization of time series, which maximizes
the entropy of the generated symbols by putting (approximately) equal number of data points in
each partition cell. The next step is to construct probabilistic finite state automata (PFSA) from the
symbol strings to encode the embedded statistical information. PFSA is a 4-tuple K = (Σ, Q, δ, π)
which consists of a finite set of states (Q) interconnected by transitions [
        <xref ref-type="bibr" rid="ref21">21</xref>
        ], where each transition
corresponds to a symbol in the finite alphabet (Σ). At each step, the automaton moves from one
state to another (including self loops) via transition maps (δ : Q × Σ → Q) according to probability
morph function (π˜ : Q × Σ → [
        <xref ref-type="bibr" rid="ref1">0, 1</xref>
        ]), and thus generates a corresponding block of symbols so
that the probability distributions over the set of all possible strings defined over the alphabet are
represented in the space of PFSA.
3.2.1
      </p>
      <p>
        Generalized D-Markov Machine [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]
D-Markov machine is a model of probabilistic languages based on the algebraic structure of PFSA.
In D-Markov machines, the future symbol is causally dependent on the (most recently generated)
finite set of (at most) D symbols, where D is a positive integer. The underlying FSA in the PFSA of
D-Markov machines are deterministic. The complexity of a D-Markov machine is reflected by the
entropy rate which also represents its overall capability of prediction. A D-Markov machine and its
entropy rate are formally defined as:
Definition 3.1 (D-Markov) A D-Markov machine is a statistically stationary stochastic process
S = · · · s−1s0s1 · · · (modeled by a PFSA in which each state is represented by a finite history of at
most D symbols), where the probability of occurrence of a new symbol depends only on the last D
symbols, i.e.,
      </p>
      <p>P [sn | · · · sn−D · · · sn−1] = P [sn | sn−D · · · sn−1]
(1)
D is called the depth. Q is the finite set of states with cardinality |Q| ≤ |Σ|D, i.e., the states are
represented by equivalence classes of symbol strings of maximum length D, where each symbol
belongs to the alphabet Σ. δ : Q × Σ → Q is the state transition function that satisfies the following
condition: if |Q| = |Σ|D, then there exist α, β ∈ Σ and x ∈ Σ⋆ such that δ(αx, β) = xβ and
αx, xβ ∈ Q.</p>
      <p>Definition 3.2 (D-Markov Entropy Rate) The D-Markov entropy rate of a PFSA (Σ, Q, δ, π) is
defined in terms of the conditional entropy as:</p>
      <p>H(Σ|Q) , X P (q)H(Σ|q) = − X X P (q)P (σ|q) log P (σ|q)
q∈Q
q∈Q σ∈Σ
where P (q) is the probability of a PFSA state q ∈ Q and P (σ|q) is the conditional probability of a
symbol σ ∈ Σ given that a PFSA state q ∈ Q is observed.
3.2.2</p>
      <p>
        Construction of a D-Markov Machine [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ]
The underlying procedure for construction of a D-Markov machine from a symbol sequence consists
of two major steps: state splitting and state merging [
        <xref ref-type="bibr" rid="ref13 ref14">13, 14</xref>
        ]. In general, state splitting increases the
number of states to achieve more precision in representing the information content of the dynamical
system. State merging reduces the number of states in the D-Markov machine by merging those
states that have similar statistical behavior. Thus, a combination of state splitting and state merging
leads to the final form of the generalized D-Markov machine as described below.
State Splitting: The number of states of a D-Markov machine of depth D is bounded above by |Σ|D,
where |Σ| is the cardinality of the alphabet Σ. As this relation is exponential in nature, the number
of states rapidly increases as D is increased. However, from the perspective of modeling a symbol
sequence, some states may be more important than others in terms of their embedded information
contents. Therefore, it is advantageous to have a set of states that correspond to symbol blocks of
different lengths. This is accomplished by starting off with the simplest set of states (i.e., Q = Σ
for D = 1) and subsequently splitting the current state that results in the largest decrease of the
D-Markov entropy rate. The process of splitting a state q ∈ Q is executed by replacing the symbol
block q by its branches as described by the set {σq : σ ∈ Σ} of words. Maximum reduction of the
entropy rate is the governing criterion for selecting the state to split. In addition, the generated set of
states must satisfy the self-consistency criterion, which only permits a unique transition to emanate
from a state for a given symbol. If δ(q, σ) is not unique for each σ ∈ Σ, then the state q is split
further. The process of state splitting is terminated by either the threshold parameter ηspl on the rate
of decrease of entropy rate or a maximal number of states Nmax. For construction of PFSA, each
element π(σ, q) of the morph matrix Π is estimated by frequency counting as the ratio of the number
of times, N (qσ), the state q is followed (i.e., suffixed) by the symbol σ and the number of times,
N (q), the state q occurs; the details are available in [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ]. The estimated morph matrix Πb and the
stationary state probability vector Pb(q) are obtained as:
πˆ(q, σ) , 1 + N (qσ) ∀σ ∈ Σ ∀q ∈ Q; Pb(q) ,
|Σ| + N (q)
      </p>
      <p>1 + N (q)
|Q| + P N (q′) ∀q ∈ Q
q′∈Q
where Pσ∈Σ πˆ(σ, q) = 1 ∀q ∈ Q. Then, the D-Markov entropy rate (see Definition 3.2) is
computed as:</p>
      <p>H(Σ|Q) = − X X P (q)P (σ|q) log P (σ|q) ≈ − X X Pb(q)πˆ(q, σ) log πˆ(q, σ)
q∈Q σ∈Σ
q∈Q σ∈Σ
State Merging: While merging the states, this algorithm aims to mitigate this risk of degraded
precision via a stopping rule that is constructed by specifying an acceptable threshold ηmrg on the
distance Ψ(·, ·) between the merged PFSA and the PFSA generated from the original time series.
The distance metric Ψ(·, ·) between two PFSAs K1 = (Σ, Q1, δ1, π1) and K2 = (Σ, Q2, δ2, π2) is
as follows:</p>
      <p>n
Ψ(K1, K2) , lim X
n→∞</p>
      <p>P1(Σj ) − P2(Σj ) ℓ1
2j+1
(2)
(3)
j=1
where P1(Σj ) and P2(Σj ) are the steady state probability vectors of generating words of length
j from the PFSA K1 and K2, respectively, i.e., P1(Σj ) , [P (w)]w∈Σj for K1 and P2(Σj ) ,
[P (w)]w∈Σj for K2. States that behave similarly (i.e., have similar morph probabilities) have a
higher priority for merging. The similarity of two states, q, q′ ∈ Q, is measured in terms of the
respective morph functions of future symbol generation as the distance between the two rows of the
estimated morph matrix Πb corresponding to the states q and q′. The ℓ1-norm has been adopted to be
the distance function as seen below.</p>
      <p>
        M(q, q′) , kπˆ(q, ·) − πˆ(q′, ·)kℓ1 = X |πˆ(q, σ) − πˆ(q′, σ)|
σ∈Σ
Hence, the two closest states (i.e., the pair of states q, q′ ∈ Q having the smallest value of M(q, q′))
are merged using the merging algorithm explained in [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ]. The merging algorithm updates the
morph matrix and transition function in such a way that does not permit any ambiguity of
nondeterminism [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. Subsequently, distance Ψ(·, ·) of the merged PFSA from the initial symbol string is
evaluated. If Ψ &lt; ηmrg where ηmrg is a specified merging threshold, then the machine structure is
retained and the states next on the priority list are merged. On the other hand, if Ψ ≥ ηmrg , then
the process of merging the given pair of states is aborted and another pair of states with the next
smallest value of M(q, q′) is selected for merging. This procedure is terminated if no such pair of
states exist, for which Ψ &lt; ηmrg.
4
      </p>
    </sec>
    <sec id="sec-4">
      <title>Results and Discussions</title>
      <p>This section discusses the results that are obtained when the proposed framework is applied on the
experimental data of hi-speed video for early detection of thermo-acoustic instability.
4.1</p>
      <p>CNN training
The network is trained using flame images with 4 different unstable combustion conditions
mentioned in the section 2. The data consists of 24,000 examples for training and 12,000 examples for
cross-validation. In the first convolutional layer, 20 filters of size 33 × 34 pixels (px) reduce the
input image of dimension 100 × 237 pixels to feature maps of 68 × 204. Next, the feature maps are
downsampled with a 2×2 max-pooling, resulting in pooled maps of 34×102 px. Each of these maps
undergoes another convolutional layer with 50 filters of 23 × 23 px which produces feature maps of
12 × 80 px (before 2 × 2 max-pooling), and 6 × 40 pooled maps after max-pooling. All generated
maps are connected to the fully connected layer of 100 hidden units followed by 10 output units
where the sigmoid activations are extracted. Training is performed with a batch size of 20 and
learning rate of 0.1. Convolution is done without any padding with a stride-size of 1. Visualization of few
filters at first and second convolutional layer is shown in figure 3 (a), (b). Second layer visualization
shows that it captures fragments of the flame coherent structures. Figure 3 (c) presents couple of the
feature maps of a stable frame (top) and an unstable frame (bottom) after convolving with first layer
filter. Red outline at the bottom exhibits how the mushroom-shaped coherent structure is highlighted
on the unstable frame feature map.</p>
      <p>(a)
(b)
(c)
Once the CNN is trained on the sets of unstable data, every frame of the transition data sets(i.e.,
50040to38, 50040to30, 40500to600, 60050to35 and 50700to800 as mentioned in section 2) are fed to
the CNN. Each sigmoid activation unit out of ten at the last fully connected layer generates a
time series for one transition data set. For capturing the fast change in a transition data, a
window of 0.5 seconds (1500 frames) is traversed over the hi-speed video with an overlap of 80%
to keep the response speed at 10 Hz, which is necessary for real-time combustion instability
control. The time window output of a sigmoid activation unit is symbolized by maximum
entropy partitioning (MEP) with an alphabet size of |Σ| = 3. Considering the first window to
be reference stable state, a generalized D-Markov machine is constructed by state splitting with
Nmax = 10 and state merging with ηmrg = 0.05. Nmax is chosen as 10 because window
length is not enough to learn a large state machine. For the alphabet {1, 2, 3}, the set of states
after state splitting is {11, 21, 31, 2, 113, 213, 313, 23, 133, 233, 333} and state merging leads to
{11, 21, 31, 2, {113, 313}, 213, {23, 133}, {233, 333}} for one of the sigmoid activation outputs in
the transition video 60050to35. State probability vector, arising from D-Markov machine at each
time window, is the feature capturing the extent of instability which is transmitted through the
corresponding sigmoid hidden unit. Instability measure of a time window is defined as the l2 norm
distance from the reference stable time window.
Figure 4 shows an aggregated progression (summation of individual instability measure obtained
from each sigmoid activation unit) of instability measure for 60050to35. The rms curve of the
pressure on right of the figure 4 gives a rough idea about the ground truth regarding stability. Two
fold advantages of the proposed instability measure over Prms are as follows: (i) intermittancy
phenomenon (region 2 and 3 on figure 4) is captured by this measure because it can detect
variablesize mildly-illuminated mushroom-shaped coherent structure (bounded by red box in the figure 4)
in the ‘CNN+STSA’ framework whereas Prms ignores these important precursors to instability and
(ii) region 4 of the figure 4 shows that the proposed measure rises faster towards instability. Other
transition data sets also exhibit similar nature regarding this measure. Hence, the proposed measure
performs better in early detection of instability than other commonly used measures such as Prms.
4.3</p>
      <p>
        Comparison with ‘PCA+STSA’
To compare with the proposed approach, Principal Component Analysis (PCA) [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ], a well-known
dimensionality reduction technique is used as a replacement of CNN module. Figure 5 (a) shows
that the transition (stable to unstable) increment of aggregated instability measure for ‘CNN+STSA’
is larger than that for ‘PCA+STSA’ in all transition data. This will result in more precise instability
control in real time. The condition 50700to800 is observed in figure 5 (b) as the transition jump for
both frameworks are very close. A close observation of the instability measure variation reveals that
‘CNN+STSA’ can detect an intermittancy precursor (region 1 at figure 5 (b)) although the coherent
structure formation is not very prominent. However, ‘PCA+STSA’ misses this precursor before
arriving at the inception of persistent instability. A probable rationale behind this observation is that,
while PCA is averaging the image vector based on just maximum spatial variance, CNN is learning
semantic features based on the coherent structures of varied illumination, size and orientation seen
during unstable combustion.
      </p>
      <p>5.5
e
r
sau 5
e
m
ty4.5
ili
b
tsa 4
n
i
ipn3.5
m
jun 3
o
iitsn2.5
a
r
T</p>
    </sec>
    <sec id="sec-5">
      <title>Conclusions and future work</title>
      <p>The paper proposes a framework that synergistically combines the recently introduced concepts of
CNN and STSA for early detection of thermo-acoustic instability in gas turbine engines. Extensive
set of experiments have been conducted on a swirl-stabilized combustor for validation of the
proposed method. Sequences of hi-speed greyscale images are fed into a multi-layered CNN to model
the fluctuating coherent structures in the flame, which are dominant during unstable combustion.
Fragments of coherent structures are observed in the CNN filter visualization. Therefore, an
ensemble of time series data is constructed from sequence of images based on the sigmoid activation
probability vectors of last hidden layer at the CNN. Then, STSA is applied on the time series that is
generated from an image sequence and ‘CNN+STSA’ is found to exhibit larger change in instability
measure while transition to instability than ‘PCA+STSA’. The proposed framework detects all the
intermittent precursors for different transition protocols, which is the most significant step towards
detecting the onset of instability early enough for mitigation. In summary, while CNN captures the
semantic features (i.e., coherent structures) of the combustion flames at varied illuminations, sizes
and orientations, STSA models the temporal fluctuation of those features at a reduced dimension.
One of the primary advantages of the proposed semantic dimensionality reduction (as opposed to
abstract dimensionality reduction, e.g., using PCA) would be seamless involvement of domain
experts into the data analytics framework for expert-guided data exploration activities. Developing
novel use-cases in this neural-symbol context will be a key future work. Some other near-term
research tasks are: (i) dynamically tracking multiple coherent structures in the flame to characterize
the extent of instability, (ii) multi-dimensional partitioning for direct usage of the last sigmoid layer
and (iii) learning CNN and STSA together.</p>
    </sec>
    <sec id="sec-6">
      <title>Acknowledgment</title>
      <p>Authors sincerely acknowledge the extensive data collection performed by Vikram Ramanan and Dr.
Satyanarayanan Chakravarthy at Indian Institute of Technology Madras (IITM), Chennai. Authors
also gratefully acknowledge the support of NVIDIA Corporation with the donation of the GeForce
GTX TITAN Black GPU used for this research.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>A.</given-names>
            <surname>Garcez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T. R.</given-names>
            <surname>Besold</surname>
          </string-name>
          , L. de Raedt, P. Foeldiak,
          <string-name>
            <given-names>P.</given-names>
            <surname>Hitzler</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Icard</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Kuehnberger</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L. C.</given-names>
            <surname>Lamb</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Miikkulainen</surname>
          </string-name>
          , and
          <string-name>
            <given-names>D. L.</given-names>
            <surname>Silver</surname>
          </string-name>
          .
          <article-title>Neural-symbolic learning and reasoning: Contributions and challenges</article-title>
          .
          <source>Proceedings of the AAAI Spring Symposium on Knowledge Representation and Reasoning: Integrating Symbolic and Neural Approaches</source>
          , Stanford,
          <year>March 2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <surname>A. K. M. F. Hussain</surname>
          </string-name>
          .
          <article-title>Coherent structures - reality and myth</article-title>
          .
          <source>Physics of Fluids</source>
          ,
          <volume>26</volume>
          (
          <issue>10</issue>
          ):
          <fpage>2816</fpage>
          -
          <lpage>2850</lpage>
          ,
          <year>1983</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>S. R.</given-names>
            <surname>Chakravarthy</surname>
          </string-name>
          ,
          <string-name>
            <given-names>O. J.</given-names>
            <surname>Shreenivasan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Bhm</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Dreizler</surname>
          </string-name>
          , and
          <string-name>
            <given-names>J.</given-names>
            <surname>Janicka</surname>
          </string-name>
          .
          <article-title>Experimental characterization of onset of acoustic instability in a nonpremixed half-dump combustor</article-title>
          .
          <source>Journal of the Acoustical Society of America</source>
          ,
          <volume>122</volume>
          :
          <fpage>120127</fpage>
          ,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>G</given-names>
            <surname>Berkooz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P</given-names>
            <surname>Holmes</surname>
          </string-name>
          , and
          <string-name>
            <given-names>J L</given-names>
            <surname>Lumley</surname>
          </string-name>
          .
          <article-title>The proper orthogonal decomposition in the analysis of turbulent flows</article-title>
          .
          <source>Annual Review of Fluid Mechanics</source>
          ,
          <volume>25</volume>
          (
          <issue>1</issue>
          ):
          <fpage>539</fpage>
          -
          <lpage>575</lpage>
          ,
          <year>1993</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>C. M.</given-names>
            <surname>Bishop</surname>
          </string-name>
          .
          <source>Pattern Recognition and Machine Learning</source>
          . Springer, New York, NY, USA,
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>P. J.</given-names>
            <surname>Schmid</surname>
          </string-name>
          .
          <article-title>Dynamic mode decomposition of numerical and experimental data</article-title>
          .
          <source>Journal of Fluid Mechanics</source>
          ,
          <volume>656</volume>
          :
          <fpage>5</fpage>
          -
          <lpage>28</lpage>
          ,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>K.</given-names>
            <surname>Kavukcuoglu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y. L.</given-names>
            <surname>Sermanet</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Boureau</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Gregor</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Mathieu</surname>
          </string-name>
          , and
          <string-name>
            <given-names>Y.</given-names>
            <surname>LeCun</surname>
          </string-name>
          .
          <article-title>Learning convolutional feature hierachies for visual recognition</article-title>
          .
          <source>In NIPS</source>
          ,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>A.</given-names>
            <surname>Ray</surname>
          </string-name>
          .
          <article-title>Symbolic dynamic analysis of complex systems for anomaly detection</article-title>
          .
          <source>Signal Processing</source>
          ,
          <volume>84</volume>
          (
          <issue>7</issue>
          ):
          <fpage>1115</fpage>
          -
          <lpage>1130</lpage>
          ,
          <year>July 2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>S.</given-names>
            <surname>Sarkar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Mukherjee</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Sarkar</surname>
          </string-name>
          ,
          <article-title>and</article-title>
          <string-name>
            <given-names>A.</given-names>
            <surname>Ray</surname>
          </string-name>
          .
          <article-title>Symbolic dynamic analysis of transient time series for fault detection in gas turbine engines</article-title>
          .
          <source>Journal of Dynamic Systems, Measurement, and Control</source>
          ,
          <volume>135</volume>
          (
          <issue>1</issue>
          ):
          <fpage>014506</fpage>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>S.</given-names>
            <surname>Sarkar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Ray</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Mukhopadhyay</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R. R.</given-names>
            <surname>Chaudhari</surname>
          </string-name>
          , and
          <string-name>
            <given-names>S.</given-names>
            <surname>Sen</surname>
          </string-name>
          .
          <article-title>Early detection of lean blow out (lbo) via generalized d-markov machine construction</article-title>
          .
          <source>In American Control Conference (ACC)</source>
          ,
          <year>2014</year>
          , pages
          <fpage>3041</fpage>
          -
          <lpage>3046</lpage>
          . IEEE,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>V.</given-names>
            <surname>Ramanan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S. R.</given-names>
            <surname>Chakravarthy</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Sarkar</surname>
          </string-name>
          ,
          <article-title>and</article-title>
          <string-name>
            <given-names>A.</given-names>
            <surname>Ray</surname>
          </string-name>
          .
          <article-title>Investigation of combustion instability in a swirlstabilized combustor using symbolic time series analysis</article-title>
          .
          <source>In Proc. ASME Gas Turbine India Conference, GTIndia</source>
          <year>2014</year>
          , New Delhi, India, pages
          <fpage>1</fpage>
          -
          <lpage>6</lpage>
          ,
          <year>December 2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>S.</given-names>
            <surname>Sarkar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.G.</given-names>
            <surname>Lore</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Sarkar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Ramanan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.R.</given-names>
            <surname>Chakravarthy</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Phoha</surname>
          </string-name>
          ,
          <article-title>and</article-title>
          <string-name>
            <given-names>A.</given-names>
            <surname>Ray</surname>
          </string-name>
          .
          <article-title>Early detection of combustion instability from hi-speed flame images via deep learning and symbolic time series analysis</article-title>
          .
          <source>In Annual Conference of The Prognostics and Health Management</source>
          , pages
          <fpage>pre</fpage>
          -prints.
          <source>PHM</source>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>K.</given-names>
            <surname>Mukherjee</surname>
          </string-name>
          and
          <string-name>
            <given-names>A.</given-names>
            <surname>Ray</surname>
          </string-name>
          .
          <article-title>State splitting and state merging in probabilistic finite state automata for signal representation and analysis</article-title>
          .
          <source>Signal Processing</source>
          ,
          <volume>104</volume>
          :
          <fpage>105</fpage>
          -
          <lpage>119</lpage>
          ,
          <year>November 2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>S.</given-names>
            <surname>Sarkar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Ray</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Mukhopadhyay</surname>
          </string-name>
          , and
          <string-name>
            <given-names>S.</given-names>
            <surname>Sen</surname>
          </string-name>
          .
          <article-title>Dynamic data-driven prediction of lean blowout in a swirl-stabilized combustor</article-title>
          .
          <source>International Journal of Spray and Combustion Dynamics</source>
          ,
          <volume>7</volume>
          (
          <issue>3</issue>
          ):in-press,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>A.</given-names>
            <surname>Krizhevsky</surname>
          </string-name>
          ,
          <string-name>
            <surname>I. Sutskever</surname>
          </string-name>
          , and
          <string-name>
            <given-names>G. E.</given-names>
            <surname>Hinton</surname>
          </string-name>
          .
          <article-title>Imagenet classification with deep convolutional neural networks</article-title>
          .
          <source>In NIPS</source>
          ,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <given-names>C.</given-names>
            <surname>Daw</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Finney</surname>
          </string-name>
          , and
          <string-name>
            <given-names>E.</given-names>
            <surname>Tracy</surname>
          </string-name>
          .
          <article-title>A review of symbolic analysis of experimental data</article-title>
          .
          <source>Review of Scientific Instruments</source>
          ,
          <volume>74</volume>
          (
          <issue>2</issue>
          ):
          <fpage>915</fpage>
          -
          <lpage>930</lpage>
          ,
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <given-names>C.</given-names>
            <surname>Rao</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Ray</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Sarkar</surname>
          </string-name>
          , and
          <string-name>
            <given-names>M.</given-names>
            <surname>Yasar</surname>
          </string-name>
          .
          <article-title>Review and comparative evaluation of symbolic dynamic filtering for detection of anomaly patterns</article-title>
          .
          <source>Signal, Image and Video Processing</source>
          ,
          <volume>3</volume>
          (
          <issue>2</issue>
          ):
          <fpage>101</fpage>
          -
          <lpage>114</lpage>
          ,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [18]
          <string-name>
            <given-names>S.</given-names>
            <surname>Bahrampour</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Ray</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Sarkar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Damarla</surname>
          </string-name>
          , and
          <string-name>
            <given-names>N.M.</given-names>
            <surname>Nasrabadi</surname>
          </string-name>
          .
          <article-title>Performance comparison of feature extraction algorithms for target detection and classification</article-title>
          .
          <source>Pattern Recogntion Letters</source>
          ,
          <volume>34</volume>
          (
          <issue>16</issue>
          ):
          <fpage>2126</fpage>
          -
          <lpage>2134</lpage>
          ,
          <year>December 2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [19]
          <string-name>
            <given-names>V.</given-names>
            <surname>Rajagopalan</surname>
          </string-name>
          and
          <string-name>
            <given-names>A.</given-names>
            <surname>Ray</surname>
          </string-name>
          .
          <article-title>Symbolic time series analysis via wavelet-based partitioning</article-title>
          .
          <source>Signal Processing</source>
          ,
          <volume>86</volume>
          (
          <issue>11</issue>
          ):
          <fpage>3309</fpage>
          -
          <lpage>3320</lpage>
          ,
          <year>November 2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          [20]
          <string-name>
            <given-names>S.</given-names>
            <surname>Sarkar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Srivastav</surname>
          </string-name>
          , and
          <string-name>
            <given-names>M.</given-names>
            <surname>Shashanka</surname>
          </string-name>
          .
          <article-title>Maximally bijective discretization for data-driven modeling of complex systems</article-title>
          .
          <source>In Proceedings of American Control Conference</source>
          , Washington, D.C.,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          [21]
          <string-name>
            <given-names>M.</given-names>
            <surname>Sipser</surname>
          </string-name>
          . Introduction to the
          <source>Theory of Computation</source>
          , 3rd ed.
          <source>Cengage Publishing</source>
          , Boston, MA, USA,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>