**Journal of Software Engineering and Applications**

Vol.10 No.07(2017), Article ID:77152,14 pages

10.4236/jsea.2017.107034

State Estimation for Fuzzy Sound Environment System with Finite Amplitude Fluctuation^{*}

*State estimation for fuzzy sound environment system with finite amplitude fluctuation.

Akira Ikuta, Hisako Orimoto, Gerard Gallagher ^{ }

Department of Management Information Systems, Prefectural University of Hiroshima, Hiroshima, Japan

Copyright © 2017 by authors and Scientific Research Publishing Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

Received: April 19, 2017; Accepted: June 20, 2017; Published: June 23, 2017

ABSTRACT

Internal physical mechanism of actual sound environment system is often difficult to recognize analytically, and it contains unknown structural characteristics. Furthermore, the observation data often contain fuzziness due to several causes and exhibit level saturation owing to the existence of a finite dynamic range. Therefore, it is necessary to propose a new state estimation method by considering fuzziness and finite amplitude fluctuation of observation data. In this paper, a method for estimating the specific signal for sound environment system with unknown structure is proposed in an appropriate form for the finite level range of the measured fuzzy observation data by introducing an expansion expression of probability distribution with Bata distribution in the first term and new type of membership function. The effectiveness of the proposed theoretical method is confirmed by applying it to the actual problem in the sound environment.

**Keywords:**

Fuzzy Observation, Sound Environment System, Finite Fluctuation Range, State Estimation

1. Introduction

The internal physical mechanism of actual sound environment system having a complicated relation to various factors is often difficult to recognize analytically, and it contains unknown structure. Furthermore, the stochastic process observed in the actual phenomenon exhibits complex fluctuation pattern and there are potentially various nonlinear correlations in addition to the linear correlation between input and output time series [1] .

Furthermore, it is necessary to pay our attention on the fact that the observation data in the sound environment system often contain fuzziness due to several causes, for example, the permissible error of the accuracy in measurements, the quantized error in the digitization of observation data, and the existence of confidence limitation in measuring instruments. In our previous studies, state estimation methods for sound environment system based on fuzzy observation have been proposed by considering the standard Gaussian type membership function [2] [3] . On the other hand, owing to a finite range of the amplitude fluctuation and/or a definite dynamic range of measurement instrument, only the information defined within a finite range usually can be obtained as reliable data in the measurement of real sound environment [4] [5] . In this situation, in order to evaluate more precisely the objective sound environment system, it is necessary to introduce a fuzzy theory to estimate the waveform fluctuation of the specific signal based on the observed data with fuzziness and amplitude saturation.

As a typical method in the state estimation problem, the Kalman filtering theory and its extended filter are well known [6] [7] [8] [9] [10] . Furthermore, several state estimation methods for stochastic system with non-Gaussian fluctuations have previously been proposed [11] [12] [13] [14] . These theories are originally based on the additive model of the specific signal and an external noise. The actual sound environment systems often contain unknown characteristics in the relationship between the state variable and the observation. Furthermore, the observation data often contain fuzziness and amplitude saturation.

In this study, based on the fuzzy observations, a Bayesian filter for estimating the specific signal of sound environment systems with unknown structural characteristic is theoretically proposed in an appropriate form for the finite amplitude range of the measured data. More specifically, complex sound environment systems which have to be treated as the systems with unknown characteristics are paid our attention. By introducing the orthogonal expansion expression of the probability distribution with a Beta distribution as the first term, and a new type of membership function, which are suitable for the finite amplitude fluctuation range of the signal and observation, a method to estimate the waveform fluctuation of the specific signal based on the fuzzy observation data is proposed. After adopting a previously reported expansion expression of the conditional probability distribution as the correlation information between the specific signal and observation [1] , by regarding the expansion coefficients as unknown parameters and introducing probability measure of fuzzy events [15] , these parameters are estimated simultaneously with the specific signal based on the fuzzy observation.

Finally, the effectiveness of the proposed Bayesian filter focusing on the relationship between variables is confirmed experimentally too by applying the theory to the estimation of sound level based on the observation data containing fuzziness and amplitude saturation.

2. Theoretical Consideration

2.1. Formulation of Sound Environment System with Fuzzy Observation

Let ${x}_{k}$ and ${y}_{k}$ be the input and output signals at a discrete time k for a sound environment system. It is assumed that there are complex nonlinear relationships between ${x}_{k}$ and ${y}_{k}$ , which are difficult to find a fundamental relationship between them. Since the system characteristics are unknown, a system model in the form of a conditional probability is adopted. More precisely, attention is focused on the joint probability distribution function $P\left({x}_{k},{y}_{k}\right)$ reflecting all linear and non-linear correlation information between ${x}_{k}$ and ${y}_{k}$ . Expanding the joint probability distribution function $P\left({x}_{k},{y}_{k}\right)$ in an orthogonal form based on the product of $P\left({x}_{k}\right)$ and $P\left({y}_{k}\right)$ , the following expression can be derived.

$P\left({x}_{k},{y}_{k}\right)=P\left({x}_{k}\right)P\left({y}_{k}\right){\displaystyle \underset{r=0}{\overset{\infty}{\sum}}{\displaystyle \underset{s=0}{\overset{\infty}{\sum}}{A}_{rs}{\theta}_{r}^{\left(1\right)}\left({x}_{k}\right){\theta}_{s}^{\left(2\right)}\left({y}_{k}\right)}}$ (1)

with

${A}_{rs}\equiv \langle {\theta}_{r}^{\left(1\right)}\left({x}_{k}\right){\theta}_{s}^{\left(2\right)}\left({y}_{k}\right)\rangle $ (2)

where $\langle \rangle $ denotes the averaging operation on the variables. The linear and non-linear correlation information between ${x}_{k}$ and ${y}_{k}$ is reflected hierarchically in each expansion coefficient ${A}_{rs}$ . The functions ${\theta}_{r}^{\left(1\right)}\left({x}_{k}\right)$ and ${\theta}_{s}^{\left(2\right)}\left({y}_{k}\right)$ are orthonormal polynomials with the weighting functions $P\left({x}_{k}\right)$ and $P\left({y}_{k}\right)$ respectively, and satisfy the following orthonormal conditions:

$\int {\theta}_{r}^{\left(1\right)}\left({x}_{k}\right){\theta}_{{r}^{\prime}}^{\left(1\right)}\left({x}_{k}\right)P\left({x}_{k}\right)\text{d}{x}_{k}={\delta}_{r{r}^{\prime}}$ (3)

$\int {\theta}_{s}^{\left(2\right)}\left({y}_{k}\right){\theta}_{{s}^{\prime}}^{\left(2\right)}\left({y}_{k}\right)P\left({y}_{k}\right)\text{d}{y}_{k}={\delta}_{s{s}^{\prime}}$ (4)

These orthonormal polynomials can be decomposed by using Schmidt’s orthogonalization [16] . From Equation (1), the conditional probability distribution function $P\left({y}_{k}|{x}_{k}\right)$ is given as

$P\left({y}_{k}|{x}_{k}\right)=\frac{P\left({x}_{k},{y}_{k}\right)}{P\left({x}_{k}\right)}=P\left({y}_{k}\right){\displaystyle \underset{r=0}{\overset{R}{\sum}}{\displaystyle \underset{s=0}{\overset{S}{\sum}}{A}_{rs}}{\theta}_{r}^{\left(1\right)}\left({x}_{k}\right){\theta}_{s}^{\left(2\right)}\left({y}_{k}\right)}$ (5)

Though Equation (5) is originally infinite series expansion, finite expansion series with $r\le R$ and $s\le S$ is adopted because only finite expansion coefficients are available and the consideration of the expansion coefficients from the first few terms is usually sufficient in practice. The expansion coefficients defined by Equation (2) satisfy the following conditions:

${A}_{00}=1,\text{\hspace{0.17em}}{A}_{r0}={A}_{0s}=0\text{\hspace{0.17em}}\left(r,s=1,2,\cdots \right)$ (6)

Furthermore, let ${z}_{k}$ be the fuzzy observation obtained from the output ${y}_{k}$ with a finite fluctuation range $\left[a,b\right]$ owing to a definite dynamic range of measurement instrument. The fuzziness of ${z}_{k}$ is characterized by a membership function ${\mu}_{{z}_{k}}\left({y}_{k}\right)$ .

Since the objective system contains an unknown specific signal and unknown structure, the expansion coefficients ${A}_{rs}$ expressing hierarchically the correlation relationship between ${x}_{k}$ and ${y}_{k}$ must be estimated on the basis of the fuzzy observation ${z}_{k}$ . Considering the expansion coefficients ${A}_{rs}$ as unknown parameter vector $a$ :

$a\equiv \left({a}_{1},{a}_{2},\cdots ,{a}_{I}\right)\equiv \left({a}_{\left(1\right)},{a}_{\left(2\right)},\cdots ,{a}_{(S)}\right)$

${a}_{\left(s\right)}\equiv \left({A}_{1s},{A}_{2s},\cdots ,{A}_{Rs}\right),\text{\hspace{0.17em}}\left(s=1,2,\cdots ,S\right)$ (7)

the following simple dynamical models are introduced for the simultaneous estimation of the parameters with the specific signal ${x}_{k}$ :

${a}_{k+1}={a}_{k}$ (8)

$\left({a}_{k}\equiv \left({a}_{1,k},{a}_{2,k},\cdots ,{a}_{I,k}\right)\equiv \left({a}_{\left(1\right),k},{a}_{\left(2\right),k},\cdots ,{a}_{\left(S\right),k}\right)\right)$

where $I\left(=R\cdot S\right)$ is the number of unknown expansion coefficients to be estimated.

On the other hand, the following time transition model for the input signal is generally established.

${x}_{k+1}=F{x}_{k}+G{u}_{k}$ (9)

where ${u}_{k}$ is the random input with mean 0 and variance ${\sigma}_{u}^{2}$ . Two parameters F and G are estimated by using an auto-correlation technique [16] .

A method to estimate ${x}_{k}$ adaptively based on the fuzzy observation ${z}_{k}$ is derived in this study by introducing probability measure of fuzzy events [15] and the expansion series expressions of the conditional probability distribution function in Equation (5).

2.2. Derivation of Estimation Algorithm Based on Fuzzy Observation with Amplitude Saturation

In order to derive an estimation algorithm for a specific signal ${x}_{k}$ , based on the successive observations of fuzzy data ${z}_{k}$ , we focus our attention on Bayes’ theorem for the conditional probability distribution [12] . Since the parameter ${a}_{k}$ is also unknown, the conditional probability distribution of ${x}_{k}$ and ${a}_{k}$ is considered.

$P\left({x}_{k},{a}_{k}|{Z}_{k}\right)=\frac{P\left({x}_{k},{a}_{k},{z}_{k}|{Z}_{k-1}\right)}{P\left({z}_{k}|{Z}_{k-1}\right)}$ (10)

where ${Z}_{k}\left(=\left({z}_{1},{z}_{2},\cdots ,{z}_{k}\right)\right)$ is a set of fuzzy observation data up to a time k. After applying probability measure of fuzzy events [15] to the right side of Equation (10), expanding it in a general form of the statistical orthogonal expansion series [12] , the conditional probability density function $P\left({x}_{k},{a}_{k}|{Z}_{k}\right)$ can be expressed as:

$\begin{array}{l}P\left({x}_{k},{a}_{k}|{Z}_{k}\right)=\frac{{\displaystyle {\int}_{a}^{b}{\mu}_{{z}_{k}}\left({y}_{k}\right)P\left({x}_{k},{a}_{k},{y}_{k}|{Z}_{k-1}\right)\text{d}{y}_{k}}}{{\displaystyle {\int}_{a}^{b}{\mu}_{{z}_{k}}\left({y}_{k}\right)P\left({y}_{k}|{Z}_{k-1}\right)\text{d}{y}_{k}}}\\ =\frac{{\displaystyle \sum _{l=0}^{\infty}{\displaystyle \sum _{m=0}^{\infty}{\displaystyle \sum _{n=0}^{\infty}{B}_{lmn}{P}_{0}\left({x}_{k}|{Z}_{k-1}\right){P}_{0}\left({a}_{k}|{Z}_{k-1}\right){\phi}_{l}^{\left(1\right)}\left({x}_{k}\right){\phi}_{m}^{\left(2\right)}\left({a}_{k}\right){I}_{n}\left({z}_{k}\right)}}}}{{\displaystyle \sum _{n=0}^{\infty}{B}_{00n}{I}_{n}\left({z}_{k}\right)}}\end{array}$ (11)

with

${I}_{n}\left({z}_{k}\right)\equiv {\displaystyle {\int}_{a}^{b}{\mu}_{{z}_{k}}\left({y}_{k}\right){P}_{0}\left({y}_{k}|{Z}_{k-1}\right){\phi}_{n}^{\left(3\right)}\left({y}_{k}\right)\text{d}{y}_{k}}$ (12)

${B}_{lmn}\equiv \langle {\phi}_{l}^{\left(1\right)}\left({x}_{k}\right){\phi}_{m}^{\left(2\right)}\left({a}_{k}\right){\phi}_{n}^{(3)}\left({y}_{k}\right)|{Z}_{k-1}\rangle $ (13)

$\left(m\equiv \left({m}_{1},{m}_{2},\cdots ,{m}_{I}\right)\right).$

The functions ${\phi}_{l}^{\left(1\right)}\left({x}_{k}\right)$ , ${\phi}_{m}^{\left(2\right)}\left({a}_{k}\right)$ and ${\phi}_{n}^{\left(3\right)}\left({y}_{k}\right)$ are the orthogonal polynomials of degrees $l$ , $m$ and $n$ with weighting functions ${P}_{0}\left({x}_{k}|{Z}_{k-1}\right)$ , ${P}_{0}\left({a}_{k}|{Z}_{k-1}\right)$ and ${P}_{0}\left({y}_{k}|{Z}_{k-1}\right)$ , which can be artificially chosen as the probability density functions describing the dominant parts of $P\left({x}_{k}|{Z}_{k-1}\right)$ , $P\left({a}_{k}|{Z}_{k-1}\right)$ and $P\left({y}_{k}|{Z}_{k-1}\right)$ . These three functions must satisfy the following orthonormal relationships:

$\int}_{-\infty}^{\infty}{\phi}_{l}^{\left(1\right)}\left({x}_{k}\right){\phi}_{{l}^{\prime}}^{\left(1\right)}\left({x}_{k}\right){P}_{0}\left({x}_{k}|{Z}_{k-1}\right)\text{d}{x}_{k}={\delta}_{l{l}^{\prime}$ (14)

$\int}_{-\infty}^{\infty}{\phi}_{m}^{\left(2\right)}\left({a}_{k}\right){\phi}_{{m}^{\prime}}^{\left(2\right)}\left({a}_{k}\right){P}_{0}\left({a}_{k}|{Z}_{k-1}\right)\text{d}{a}_{k}}={\displaystyle \underset{i=1}{\overset{I}{\prod}}{\delta}_{{m}_{i}{{m}^{\prime}}_{i}$ (15)

$\int}_{a}^{b}{\phi}_{n}^{\left(3\right)}\left({y}_{k}\right){\phi}_{{n}^{\prime}}^{\left(3\right)}\left({y}_{k}\right){P}_{0}\left({y}_{k}|{Z}_{k-1}\right)\text{d}{y}_{k}={\delta}_{n{n}^{\prime}$ (16)

Based on Equation (11), the recurrence algorithm for estimating an arbitrary $\left(L,M\right)$ th order polynomial type function ${f}_{L,M}\left({x}_{k},{a}_{k}\right)$ of ${x}_{k}$ and ${a}_{k}$ can be derived as follows:

${\stackrel{^}{f}}_{L,M}\left({x}_{k},{a}_{k}\right)\equiv \langle {f}_{L,M}\left({x}_{k},{a}_{k}\right)|{Z}_{k}\rangle =\frac{{\displaystyle \underset{l=0}{\overset{L}{\sum}}{\displaystyle \underset{m=0}{\overset{M}{\sum}}{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{C}_{lm}^{LM}{B}_{lmn}{I}_{n}\left({z}_{k}\right)}}}}{{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{B}_{00n}{I}_{n}\left({z}_{k}\right)}}$ (17)

where ${C}_{lm}^{LM}$ is the expansion coefficient determined by the equality:

${f}_{L,M}\left({x}_{k},{a}_{k}\right)={\displaystyle \underset{l=0}{\overset{L}{\sum}}{\displaystyle \underset{m=0}{\overset{M}{\sum}}{C}_{lm}^{LM}}}{\phi}_{l}^{\left(1\right)}\left({x}_{k}\right){\phi}_{m}^{\left(2\right)}\left({a}_{k}\right)$ (18)

In order to make the general theory for estimation algorithm more concrete, the well-known Gaussian distribution is adopted as ${P}_{0}\left({x}_{k}|{Z}_{k-1}\right)$ and ${P}_{0}\left({a}_{k}|{Z}_{k-1}\right)$ , because this probability density function is the most standard one.

${P}_{0}\left({x}_{k}|{Z}_{k-1}\right)=N\left({x}_{k};{x}_{k}^{*},{\Gamma}_{{x}_{k}}\right)$

${P}_{0}\left({a}_{k}|{Z}_{k-1}\right)={\displaystyle \underset{i=1}{\overset{I}{\prod}}N\left({a}_{i,k};{a}_{i,k}^{*},{\Gamma}_{{a}_{i,k}}\right)}$ (19)

with

$N\left(x;\mu ,{\sigma}^{2}\right)\equiv \frac{1}{\sqrt{2\text{\pi}{\sigma}^{2}}}\mathrm{exp}\left\{-\frac{{\left(x-\mu \right)}^{2}}{2{\sigma}^{2}}\right\}$

${x}_{k}^{*}\equiv \langle {x}_{k}|{Z}_{k-1}\rangle $ , ${\Gamma}_{{x}_{k}}\equiv \langle {\left({x}_{k}-{x}_{k}^{*}\right)}^{2}|{Z}_{k-1}\rangle $

${a}_{i,k}^{*}\equiv \langle {a}_{i,k}^{*}|{Z}_{k-1}\rangle $ , ${\Gamma}_{{a}_{i,k}}\equiv \langle {\left({a}_{i,k}-{a}_{i,k}^{*}\right)}^{2}|{Z}_{k-1}\rangle $ (20)

Furthermore, the Bata distribution [17] suitable for the random variable with a finite fluctuation range $\left[a,b\right]$ is adopted as ${P}_{0}\left({y}_{k}|{Z}_{k-1}\right)$ .

${P}_{0}\left({y}_{k}|{Z}_{k-1}\right)=\frac{1}{B\left({\gamma}_{k},{\alpha}_{k}-{\gamma}_{k}+1\right)\left(b-a\right)}{\left(\frac{{y}_{k}-a}{b-a}\right)}^{{\gamma}_{k}-1}{\left(\frac{b-{y}_{k}}{b-a}\right)}^{{\alpha}_{k}-{\gamma}_{k}}$ (21)

with

$B\left(p,q\right)\equiv {\displaystyle {\int}_{0}^{1}{t}^{p-1}{\left(1-t\right)}^{q-1}\text{d}t}=\Gamma \left(p\right)\Gamma \left(q\right)/\Gamma \left(p+q\right)$ ; Beta function

${\alpha}_{k}\equiv \frac{\left({y}_{k}^{*}-a\right)\left(b-{y}_{k}^{*}\right)}{{\Omega}_{k}}-2$

${\gamma}_{k}\equiv \frac{{y}_{k}^{*}-a}{b-a}\left\{\frac{\left({y}_{k}^{*}-a\right)\left(b-{y}_{k}^{*}\right)}{{\Omega}_{k}}-1\right\}$

${y}_{k}^{*}\equiv \langle {y}_{k}|{Z}_{k-1}\rangle $ , ${\Omega}_{k}\equiv \langle {\left({y}_{k}-{y}_{k}^{*}\right)}^{2}|{Z}_{k-1}\rangle $ (22)

where $\Gamma (\cdot )$ is the Gamma function. Then, the orthonormal functions with the weighting probability density functions in Equations (19) and (21) can be given by

${\phi}_{l}^{\left(1\right)}\left({x}_{k}\right)=\frac{1}{\sqrt{l!}}{H}_{l}\left(\frac{{x}_{k}-{x}_{k}^{*}}{\sqrt{{\Gamma}_{{x}_{k}}}}\right)$ (23)

${\phi}_{m}^{\left(2\right)}\left({a}_{k}\right)={\displaystyle \underset{i=1}{\overset{I}{\prod}}\frac{1}{\sqrt{{m}_{i}!}}{H}_{{m}_{i}}\left(\frac{{a}_{i,k}-{a}_{i,k}^{*}}{{\Gamma}_{{a}_{i,k}}}\right)}$ (24)

${\phi}_{n}^{\left(3\right)}\left({y}_{k}\right)=\sqrt{\frac{\Gamma \left({\alpha}_{k}-{\gamma}_{k}+1\right)\left({\alpha}_{k}+2n\right)\Gamma \left({\alpha}_{k}+n\right)\Gamma \left({\gamma}_{k}+n\right)}{\Gamma \left({\alpha}_{k}+1\right)n!\Gamma \left(n+{\alpha}_{k}-{\gamma}_{k}+1\right)\Gamma \left({\gamma}_{k}\right)}}{G}_{n}\left({\alpha}_{k},{\gamma}_{k};\frac{{y}_{k}-a}{b-a}\right)$ (25)

where ${H}_{l}(\cdot )$ is the Hermite polynomial with lth order [18] and ${G}_{n}(\cdot )$ is the Jacobi polynomial with nth order [4] . As the membership function, the following function matching to the Beta distribution is newly introduced.

${\mu}_{z{}_{k}}\left({y}_{k}\right)={w}_{k}^{-s}{\left(1-{w}_{k}\right)}^{s\left({w}_{k}-1\right)/{w}_{k}}{\left(\frac{{y}_{k}-a}{b-a}\right)}^{s}{\left(\frac{b-{y}_{k}}{b-a}\right)}^{s\left(1-{w}_{k}\right)/{w}_{k}}$

$\left({w}_{k}\equiv \left({z}_{k}-a\right)/\left(b-a\right)\right)$ (26)

where s is a parameter.

Accordingly, Equation (12) can be given by

$\begin{array}{l}{I}_{n}\left({z}_{k}\right)={w}_{k}^{-s}{\left(1-{w}_{k}\right)}^{s\left({w}_{k}-1\right)/{w}_{k}}\frac{\Gamma \left({\alpha}_{k}+1\right)}{\Gamma \left({\gamma}_{k}\right)\Gamma \left({\alpha}_{k}-{\gamma}_{k}+1\right)}\frac{\Gamma \left({A}_{k}\right)\Gamma \left({B}_{k}-{A}_{k}+1\right)}{\Gamma \left({B}_{k}+1\right)}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot {\displaystyle {\int}_{a}^{b}\frac{\Gamma \left({B}_{k}+1\right)}{\Gamma \left({A}_{k}\right)\Gamma \left({B}_{k}-{A}_{k}+1\right)}}{\left(\frac{{y}_{k}-a}{b-a}\right)}^{{A}_{k}-1}{\left(\frac{b-{y}_{k}}{b-a}\right)}^{{B}_{k}-{A}_{k}}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \sqrt{\frac{\Gamma \left({\alpha}_{k}-{\gamma}_{k}+1\right)\left({\alpha}_{k}+2n\right)\Gamma \left({\alpha}_{k}+n\right)\Gamma \left({\gamma}_{k}+n\right)}{\Gamma \left({\alpha}_{k}+1\right)n!\Gamma \left(n+{\alpha}_{k}-{\gamma}_{k}+1\right)\Gamma \left({\gamma}_{k}\right)}}{\displaystyle \underset{r=0}{\overset{n}{\sum}}{d}_{nr}{G}_{r}\left({B}_{k},{A}_{k};\frac{{y}_{k}-a}{b-a}\right)\text{d}{y}_{k}}\end{array}$ (27)

with

${A}_{k}\equiv {\gamma}_{k}+s$ , ${B}_{k}\equiv s\left(1-{w}_{k}\right)/{w}_{k}+{\alpha}_{k}+s$ (28)

The fuzzy data ${z}_{k}$ are reflected in ${w}_{k}$ and ${B}_{k}$ . Furthermore, ${d}_{nr}$ ( $r=0,1,2,\cdots ,n$ ) are the expansion coefficients in the equality on Jacobi polynomial:

${G}_{n}\left({\alpha}_{k},{\gamma}_{k};\frac{{y}_{k}-a}{b-a}\right)={\displaystyle \underset{r=0}{\overset{n}{\sum}}{d}_{nr}{G}_{r}\left({B}_{k},{A}_{k};\frac{{y}_{k}-a}{b-a}\right)}$ (29)

By considering the orthonormal condition of Jacobi polynomial [4] , Equation (27) can be expressed as follows:

$\begin{array}{c}{I}_{n}\left({z}_{k}\right)={w}_{k}^{-s}{\left(1-{w}_{k}\right)}^{s\left({w}_{k}-1\right)/{w}_{k}}\frac{\Gamma \left({\alpha}_{k}+1\right)}{\Gamma \left({\gamma}_{k}\right)\Gamma \left({\alpha}_{k}-{\gamma}_{k}+1\right)}\frac{\Gamma \left({A}_{k}\right)\Gamma \left({B}_{k}-{A}_{k}+1\right)}{\Gamma \left({B}_{k}+1\right)}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \sqrt{\frac{\Gamma \left({\alpha}_{k}-{\gamma}_{k}+1\right)\left({\alpha}_{k}+2n\right)\Gamma \left({\alpha}_{k}+n\right)\Gamma \left({\gamma}_{k}+n\right)}{\Gamma \left({\alpha}_{k}+1\right)n!\Gamma \left(n+{\alpha}_{k}-{\gamma}_{k}+1\right)\Gamma \left({\gamma}_{k}\right)}}{d}_{n0},\end{array}$ (30)

where a few concrete expressions of ${d}_{n0}$ in Equation (30) can be expressed as follows:

${d}_{00}=1$ , ${d}_{10}=1-\frac{{\alpha}_{k}+1}{{\gamma}_{k}}\frac{{A}_{k}}{{B}_{k}+1}$

${d}_{20}=1-2\frac{{\alpha}_{k}+2}{{\gamma}_{k}}\frac{{A}_{k}}{{B}_{k}+1}+\frac{\left({\alpha}_{k}+3\right)\left({\alpha}_{k}+2\right)}{\left({\gamma}_{k}+1\right){\gamma}_{k}}\frac{\left({A}_{k}+1\right){A}_{k}}{\left({B}_{k}+2\right)\left({B}_{k}+1\right)}$

$\begin{array}{c}{d}_{30}=1-3\frac{{\alpha}_{k}+3}{{\gamma}_{k}}\frac{{A}_{k}}{{B}_{k}+1}+3\frac{\left({\alpha}_{k}+4\right)\left({\alpha}_{k}+3\right)}{\left({\gamma}_{k}+1\right){\gamma}_{k}}\frac{\left({A}_{k}+1\right){A}_{k}}{\left({B}_{k}+2\right)\left({B}_{k}+1\right)}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-\frac{\left({\alpha}_{k}+5\right)\left({\alpha}_{k}+4\right)\left({\alpha}_{k}+3\right)}{\left({\gamma}_{k}+2\right)\left({\gamma}_{k}+1\right){\gamma}_{k}}\frac{\left({A}_{k}+2\right)\left({A}_{k}+1\right){A}_{k}}{\left({B}_{k}+3\right)\left({B}_{k}+2\right)\left({B}_{k}+1\right)}.\end{array}$ (31)

In two special cases when ${f}_{1,0}\left({x}_{k},{a}_{k}\right)={x}_{k}$ , ${f}_{2,0}\left({x}_{k},{a}_{k}\right)={\left({x}_{k}-{\stackrel{^}{x}}_{k}\right)}^{2}$ , estimates related to mean and variance of the specific signal are expressed as follows:

${\stackrel{^}{x}}_{k}\equiv \langle {x}_{k}|{Z}_{k}\rangle =\frac{{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}\left\{{B}_{00n}{C}_{00}^{10}+{B}_{10n}{C}_{10}^{10}\right\}{I}_{n}\left({z}_{k}\right)}}{{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{B}_{00n}{I}_{n}\left({z}_{k}\right)}}$ (32)

${P}_{k}\equiv \langle {\left({x}_{k}-{\stackrel{^}{x}}_{k}\right)}^{2}|{Z}_{k}\rangle =\frac{{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}\left\{{B}_{00n}{C}_{00}^{20}+{B}_{10n}{C}_{10}^{20}+{B}_{20n}{C}_{20}^{20}\right\}{I}_{n}\left({z}_{k}\right)}}{{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{B}_{00n}{I}_{n}\left({z}_{k}\right)}}$ (33)

with

${C}_{00}^{10}={x}_{k}^{\ast},\text{\hspace{0.17em}}{C}_{10}^{10}=\sqrt{{\Gamma}_{{x}_{k}}},$

${C}_{00}^{20}={\Gamma}_{{x}_{k}}+{\left({x}_{k}^{\ast}-{\stackrel{^}{x}}_{k}\right)}^{2},\text{\hspace{0.17em}}{C}_{10}^{20}=2\sqrt{{\Gamma}_{{x}_{k}}}\left({x}_{k}^{\ast}-{\stackrel{^}{x}}_{k}\right),\text{\hspace{0.17em}}{C}_{20}^{20}=\sqrt{2}{\Gamma}_{{x}_{k}}.$ (34)

Using the property of conditional expectation and Equation (5), the two variables ${y}_{k}^{*}$ and ${\Omega}_{k}$ in Equation (22) can be expressed in functional forms on predictions of ${x}_{k}$ and ${a}_{k}$ at a discrete time $k-1$ (i.e. the expectation value of arbitrary functions of ${x}_{k}$ and ${a}_{k}$ conditioned by ${Z}_{k-1}$ ),as follows:

$\begin{array}{c}{y}_{k}^{*}=\langle \langle {y}_{k}|{x}_{k},{Z}_{k-1}\rangle |{Z}_{k-1}\rangle \\ =\langle {\displaystyle \int {y}_{k}P\left({y}_{k}|{x}_{k}\right)\text{d}{y}_{k}|{Z}_{k-1}}\rangle \\ =\langle {\displaystyle \underset{r=0}{\overset{\infty}{\sum}}{\displaystyle \underset{s=0}{\overset{1}{\sum}}{e}_{1s}{A}_{rs}{\theta}_{r}^{\left(1\right)}\left({x}_{k}\right)|{Z}_{k-1}}}\rangle \\ ={\displaystyle \underset{s=0}{\overset{1}{\sum}}{e}_{1s}}\langle {A}_{\left(s\right),k}\Theta \left({x}_{k}\right)|{Z}_{k-1}\rangle ,\end{array}$ (35)

$\begin{array}{c}{\Omega}_{k}=\langle {\displaystyle \int {\left({y}_{k}-{y}_{k}^{*}\right)}^{2}P\left({y}_{k}|{x}_{k}\right)\text{d}{y}_{k}|{Z}_{k-1}}\rangle \\ =\langle {\displaystyle \underset{r=0}{\overset{\infty}{\sum}}{\displaystyle \underset{s=0}{\overset{2}{\sum}}{e}_{2s}{A}_{rs}{\theta}_{r}^{\left(1\right)}\left({x}_{k}\right)|{Z}_{k-1}}}\rangle \\ ={\displaystyle \underset{s=0}{\overset{2}{\sum}}{e}_{2s}}\langle {A}_{\left(s\right),k}\Theta \left({x}_{k}\right)|{Z}_{k-1}\rangle \end{array}$ (36)

with

${A}_{\left(s\right),k}\equiv \left(0,{a}_{\left(s\right),k}\right),\text{\hspace{0.17em}}\left(s=1,2,\cdots \right)$ , ${A}_{\left(0\right),k}\equiv \left(1,0,0,\cdots ,0\right)$

$\Theta \left({x}_{k}\right)\equiv {\left({\theta}_{0}^{\left(1\right)}\left({x}_{k}\right),{\theta}_{1}^{\left(1\right)}\left({x}_{k}\right),\cdots ,{\theta}_{R}^{\left(1\right)}\left({x}_{k}\right)\right)}^{\text{T}}$ (37)

where T denotes the transpose of a matrix. The coefficients ${e}_{1s}$ and ${e}_{2s}$ in Equations (35) and (36) are determined in advance by expanding ${y}_{k}$ and ${\left({y}_{k}-{y}_{k}^{*}\right)}^{2}$ in the following orthogonal series forms:

${y}_{k}={\displaystyle \underset{i=0}{\overset{1}{\sum}}{e}_{1i}{\theta}_{i}^{\left(2\right)}\left({y}_{k}\right)}$ , ${\left({y}_{k}-{y}_{k}^{*}\right)}^{2}={\displaystyle \underset{i=0}{\overset{2}{\sum}}{e}_{2i}{\theta}_{i}^{\left(2\right)}\left({y}_{k}\right)}$ (38)

Furthermore, using Equation (5) and the orthonormal condition of Equation (4), each expansion coefficient ${B}_{lmn}$ defined by Equation (13) can be obtained through the similar calculation process to Equations (35) and (36), as follows:

$\begin{array}{c}{B}_{lmn}=\langle {\phi}_{l}^{\left(1\right)}\left({x}_{k}\right){\phi}_{m}^{\left(2\right)}\left({a}_{k}\right){\displaystyle \int {\phi}_{n}^{\left(3\right)}\left({y}_{k}\right)P\left({y}_{k}|{x}_{k}\right)\text{d}{y}_{k}|{Z}_{k-1}}\rangle \\ =\langle {\phi}_{l}^{\left(1\right)}\left({x}_{k}\right){\phi}_{m}^{\left(2\right)}\left({a}_{k}\right){\displaystyle \underset{r=0}{\overset{\infty}{\sum}}{\displaystyle \underset{s=0}{\overset{n}{\sum}}{e}_{ns}}{A}_{rs}{\theta}_{r}^{\left(1\right)}\left({x}_{k}\right)|{Z}_{k-1}}\rangle \\ ={\displaystyle \underset{s=0}{\overset{n}{\sum}}{e}_{ns}\langle {\phi}_{l}^{\left(1\right)}\left({x}_{k}\right){\phi}_{m}^{\left(2\right)}\left({a}_{k}\right){A}_{\left(s\right),k}\Theta \left({x}_{k}\right)|{Z}_{k-1}\rangle}\end{array}$

( ${\phi}_{n}^{\left(3\right)}\left({y}_{k}\right)={\displaystyle \underset{i=0}{\overset{n}{\sum}}{e}_{ni}{\theta}_{i}^{\left(2\right)}\left({y}_{k}\right)},$ ${e}_{ni}$ : appropriate coefficients). (39)

In the above, the expansion coefficient ${B}_{lmn}$ can be given by the predictions of ${x}_{k}$ and ${a}_{k}$ .

Finally, by considering Equation (9), the prediction step which is essential to perform the recurrence estimation can be given by

${x}_{k+1}^{*}\equiv \langle {x}_{k+1}|{Z}_{k}\rangle =F{\stackrel{^}{x}}_{k}+G\langle {u}_{k}\rangle $ (40)

${\Gamma}_{k+1}\equiv \langle {\left({x}_{k+1}-{x}_{k+1}^{*}\right)}^{2}|{Z}_{k}\rangle ={F}^{2}{P}_{k}+{G}^{2}\langle {\left({u}_{k}-\langle {u}_{k}\rangle \right)}^{2}\rangle $ (41)

By replacing $k$ with $k+1$ , the recurrence estimation of ${x}_{k}$ can be achieved.

3. Experimental Consideration

In order to confirm the effectiveness of the proposed method, it was applied to real data observed in a sound environment system. Acoustic signals observed by two microphones in indoors and outdoors for a house were adopted as input and output data for the sound insulation system shown by the frame in Figure 1. The rock music was selected as an input signal by considering the aggravation of “Karaoke” noise pollution problem.

Figure 1. A schematic drawing of the experimental set up in sound insulation system.

After generating the music sound inside the house, the indoor and outdoor sound pressure levels were regarded as the input signal ${x}_{k}$ and the output observation ${y}_{k}$ . The data were measured with a sampling interval of 1 s. The statistics of the input signal and the output signal used in the experiment are shown in Table 1 and Table 2. Applying the proposed estimation method to actually observed output data quantized roughly with 1 dB, 2 dB and 3 dB widths as examples of fuzzy observation, the fluctuation wave form of the input signal was estimated. Comparison of the accuracy for the estimated probability distribution between the case considering a finite fluctuation range of the observation data and the case without consideration of the fluctuation range was discussed in our previous study [5] .

Figures 2-4 show the estimation results of the fluctuation wave form of the input signal for Data 1 in a typical case of widely fluctuating signals, by applying the proposed algorithm to the quantized observation data with 1 dB, 2 dB and 3 dB widths. Furthermore, Figures 5-7 show the estimation results for Data 2 in a typical case of narrowly fluctuating signals. In these estimations, the finite number of expansion coefficients ${A}_{rs}\left(r,s\le 2\right)$ are used for the simplification of the estimation algorithm. In these figures, the horizontal axis shows the discrete time k, of the estimation process, and the vertical axis expresses the sound pressure level. For comparison, the estimation results calculated by using the usual method are also shown in these figures. Since Kalman’s filtering theory is widely used in the field of stochastic system, the extended Kalman filter [8] is also applied to the observation data as a trail by introducing the following observation model.

${z}_{k}={a}_{k}{x}_{k}+{b}_{k}+{\epsilon}_{k}$ (42)

where ${\epsilon}_{k}$ denotes the quantized noise. A uniform distribution within $\left[-q/2,q/2\right]$ (q: the quantized width) is assumed as the probability distribution of ${\epsilon}_{k}$ . Since the parameters ${a}_{k}$ and ${b}_{k}$ are unknown, these parameters are also estimated simultaneously with the input signal ${x}_{k}$ by introducing the following time transition models in addition to Equation (9):

${a}_{k+1}={a}_{k},\text{\hspace{0.17em}}\text{\hspace{0.17em}}{b}_{k+1}={b}_{k}$ (43)

The results estimated by the proposed method show good agreement with the

Figure 2. Estimation results for Data 1 of the input signal by applying the proposed method based on the quantized output observation data with 1 dB width.

Figure 3. Estimation results for Data 1 of the input signal by applying the proposed method based on the quantized output observation data with 2 dB width.

Figure 4. Estimation results for Data 1 of the input signal by applying the proposed method based on the quantized output observation data with 3 dB width.

Figure 5. Estimation results for Data 2 of the input signal by applying the proposed method based on the quantized output observation data with 1 dB width.

Figure 6. Estimation results for Data 2 of the input signal by applying the proposed method based on the quantized output observation data with 2 dB width.

Figure 7. Estimation results for Data 2 of the input signal by applying the proposed method based on the quantized output observation data with 3 dB width.

Table 1. Mean and standard deviation of the input signal (in dB).

Table 2. Mean and standard deviation of the output signal (in dB).

true values. On the other hand, there are great discrepancies between the esti- mates based on the standard type dynamical estimation method (i.e., extended Kalman filter). For these differences on estimated results, the following reasons can be considered: 1) The standard method assumes the simple observation model in Equation (42). On the other hand, the proposed method introduces the conditional probability distribution in Equation (5) as the observation model, which can be considered the whole fluctuation of input and output signals; 2) The standard method is not considered the finite amplitude fluctuation of the observation data; 3) To consider the quantized observation by introducing fuzzy theory is more useful than the standard method by introducing the quantized noise.

The squared sums of the estimation error are shown in Tables 3-5. It can be found numerically that the proposed method is more useful than the extended Kalman filter.

4. Conclusions

In this study, based on the observed data with fuzziness and the finite level range, a new adaptive method for estimating the input signal for sound environment systems with unknown structure has been proposed. The proposed estimation method has been realized by introducing a system model of conditional probability type and the probability measure of fuzzy events. The proposed method has been applied to the estimation for the input signal of an actual sound environment system, and it has been experimentally verified that better results are obtained as compared with the standard estimation method without considering fuzzy theory.

The proposed approach is quite different from the traditional standard techniques. However, we are still in an early stage of development, and a number of practical problems are yet to be investigated in the future. These include: 1) application to a diverse range of sound signals in actual noise environment; 2) extension to cases with multi-noise sources, and 3) finding an optimal number of expansion terms for the expansion-based probability expressions adopted.

Table 3. Comparison between the proposed method and the extended Kalman filter for root-mean squared error of the estimation based on the quantized observation data with 1 dB width (in dB).

Table 4. Comparison between the proposed method and the extended Kalman filter for root-mean squared error of the estimation based on the quantized observation data with 2 dB width (in dB).

Table 5. Comparison between the proposed method and the extended Kalman filter for root-mean squared error of the estimation based on the quantized observation data with 3 dB width (in dB).

Acknowledgements

The authors are grateful to Emeritus Prof. Mitsuo Ohta of Hiroshima University for his advice during this study. This work was supported in part by fund from the Grant-in-Aid for Scientific Research No.15K06116 from the Ministry of Education, Culture, Sports, Science and Technology-Japan.

Cite this paper

Ikuta, A., Orimoto, H. and Gallagher, G. (2017) State Estimation for Fuzzy Sound Environment System with Finite Amplitude Fluctuation. Journal of Software Engineering and Applications, 10, 625-638. https://doi.org/10.4236/jsea.2017.107034

References

- 1. Ikuta, A., Masuike, H. and Ohta, M. (2005) A Digital Filter for Stochastic Systems with Unknown Structure and Its Application to Psychological Evaluation of Sound Environment. IEICE Transactions on Information and Systems, E88-D, 1519-1525. https://doi.org/10.1093/ietisy/e88-d.7.1519
- 2. Ikuta, A. and Orimoto, H. (2014) Static and Dynamic Methods for Fuzzy Signal Processing of Sound and Electromagnetic Environment Based on Fuzzy Observations. In: Merelo, J.J., et al., Eds., Computational Intelligence, Studies in Computational Intelligence, Vol. 620, Springer, Berlin, 171-187.
- 3. Ikuta, A. and Orimoto, H. (2008) Adaptive Method for State Estimation of Sound Environment System with Fuzzy Observation. Proceedings of 7th IEEE International Conference on Cybernetic Intelligent Systems, London, 9-10 September 2008.
- 4. Ikuta, A. and Orimoto, H. (2014) Stochastic Approach for Noise Suppression of Speech Signal by Considering Finite Range of Amplitude Fluctuation in Real Environment. International Journal of Applied Pattern Recognition, 1, 361-376. https://doi.org/10.1504/IJAPR.2014.068338
- 5. Ikuta, A., Ohta, M. and Uzu, M. (2007) An Evaluation Method of Sound Environment Matched to the Fluctuation with a Finite Level Range in Our Actual Life and Its Application to Traffic Noise at Main Line. Transactions of the Society of Instrument and Control Engineers, 43, 529-535. https://doi.org/10.9746/ve.sicetr1965.43.529
- 6. Kalman, R.E. (1960) A New Approach to Linear Filtering and Prediction Problems. Journal of Basic Engineering, 82, 35-45. https://doi.org/10.1115/1.3662552
- 7. Kalman, R.E. and Buch, R.S. (1961) New Results in Linear Filtering and Prediction Theory. Journal of Basic Engineering, 83, 95-108. https://doi.org/10.1115/1.3658902
- 8. Kushner, H.J. (1967) Approximations to Optimal Nonlinear Filters. IEEE Transactions on Automatic Control, 12, 546-556. https://doi.org/10.1109/TAC.1967.1098671
- 9. Bell, B.M. and Cathey, F.W. (1993) The Iterated Kalman Filter Update as a Gaussian-Newton Methods. IEEE Transactions on Automatic Control, 38, 294-297. https://doi.org/10.1109/9.250476
- 10. Julier, S. and Uhlmann, J. (2004) Unscented Filtering and Nonlinear Estimation. Proceedings of IEEE, 92, 401-422. https://doi.org/10.1109/JPROC.2003.823141
- 11. Kitagawa, G. (1996) Montecarlo Filter and Smoother for Non-Gaussian Nonlinear State Space Models. Journal of Computational and Graphical Statistics, 5, 1-25.
- 12. Ikuta, A., Tokhi, M.O. and Ohta, M. (2001) A Cancellation Method of Background Noise for a Sound Environment System with Unknown Structure. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E84-A, 457-466.
- 13. Ikuta, A., Orimoto, H., Siddique, N.H. and Maguire, L.P. (2015) Statistical Evaluation of Complex Sound Environment with Background Noise. International Journal of Acoustics and Vibration, 20, 41-46. https://doi.org/10.20855/ijav.2015.20.1367
- 14. Guoshen, Y. (2012) Solving Inverse Problems with Piecewise Linear Estimators: From Gaussian Mixture Models to Structured Sparsity. IEEE Transactions on Image Processing, 21, 2481-2499. https://doi.org/10.1109/TIP.2011.2176743
- 15. Zadeh, L.A. (1968) Probability Measures of Fuzzy Events. Journal of Mathematical Analysis and Applications, 23, 421-427. https://doi.org/10.1016/0022-247X(68)90078-4
- 16. Box, G.E.P., Jenkins, G.M., Reinsel, G.C. and Ljung, G.M. (2016) Time Series Analysis—Forecasting and Control. 5th Edition, John Wiley & Sons, New York.
- 17. Krysicki, W. (1999) On Some New Properties of the Beta Distribution. Statistics & Probability Letters, 42, 131-137. https://doi.org/10.1016/S0167-7152(98)00197-7
- 18. Ohta, M. and Koizumi, T. (1968) General Statistical Treatment of Response of a Non-Linear Rectifying Device to a Stationary Random Input. IEEE Transactions on Information Theory, 14, 595-598.