Abstract

An active noise control (ANC) system is model dependent/independent if its controller transfer function is dependent/independent on initial estimates of path models in a sound field. Since parameters of path models in a sound field will change when boundary conditions of the sound field change, model-independent ANC systems (MIANC) are able to tolerate variations of boundary conditions in sound fields and more reliable than model-dependent counterparts. A possible way to implement MIANC systems is online path modeling. Many such systems require invasive probing signals (persistent excitations) to obtain accurate estimates of path models. In this study, a noninvasive MIANC system is proposed. It uses online path estimates to cancel feedback, recover reference signal, and optimize a stable controller in the minimum H2 norm sense, without any forms of persistent excitations. Theoretical analysis and experimental results are presented to demonstrate the stable control performance of the proposed system.

1. Introduction

Most active noise control (ANC) systems are model dependent. Let 𝑃(𝑧) and 𝑆(𝑧) denote estimates of primary and secondary path transfer functions 𝑃(𝑧) and 𝑆(𝑧). Either 𝑆(𝑧) or both 𝑃(𝑧) and 𝑆(𝑧) must be obtained by initial system identification for model-dependent ANC systems. Controller transfer function 𝐶(𝑧) of a model-dependent ANC system is either designed by minimizing 𝑃(𝑧)+𝑆(𝑧)𝐶(𝑧), or adapted with the aid of 𝑆(𝑧) [1, 2]. If estimates 𝑃(𝑧) and 𝑆(𝑧) contain too much error, a model-dependent ANC system may generate constructive instead of destructive interference. This is mathematically equivalent to 𝑃(𝑧)+𝑆(𝑧)𝐶(𝑧)>𝑃(𝑧) even if 𝑃(𝑧)+𝑆(𝑧)𝐶(𝑧) is minimized. If phase error in 𝑆(𝑧) exceeds 90 in some frequency, an ANC system adapted by the filtered-𝑋 least mean square (FXLMS) algorithm may become unstable [35]. An operator of a model-dependent ANC system must have the knowledge and skill to obtain accurate estimates of path models by initial system identification for each individual application.

During the operation of an ANC system, changes of environmental or boundary conditions may cause significant changes to path transfer functions 𝑃(𝑧) and 𝑆(𝑧). Since a model-dependent ANC system only remembers initial path estimates 𝑃(𝑧) and 𝑆(𝑧), variation of 𝑃(𝑧) and 𝑆(𝑧) may cause mismatch with initial estimates 𝑃(𝑧) and 𝑆(𝑧) to degrade ANC performance. In cases of severe mismatch between path transfer functions and their initial estimates, a model-dependent ANC system may generate constructive instead of destructive interference, or even become unstable.

Model-independent ANC (MIANC) systems depend on online path modeling or invariant properties of sound fields to update or design controllers [68]. These systems avoid initial path modeling and are adaptive to variations of environmental or boundary conditions of sound fields. Many adaptive MIANC systems require invasive persistent excitations to obtain accurate path estimates and ensure closed-loop stability [6, 7, 9, 10]. Noninvasive MIANC systems are able to ensure closed-loop stability without persistent excitations, which are possible by a recently developed algorithm, known as orthogonal adaptation [11, 12], if the primary noise signal is directly available as the reference signal.

In many real applications, the primary noise signal is not necessarily available and the reference signal must be recovered from the sound field [1, 2]. When an ANC system is active, a measured signal is a linear combination of primary and secondary signals. Feedback of ANC signal in the measurement is mathematically modeled by a feedback transfer function 𝐹(𝑧) from the controller to the reference sensor. Accurate estimation of 𝐹(𝑧) is as important as accurate estimation of 𝑃(𝑧) or 𝑆(𝑧) [9, 13]. A complete noninvasive MIANC (CNMIANC) system must be able to suppress the noise signal without injecting probing signals for online modeling of 𝑃(𝑧), 𝑆(𝑧), and 𝐹(𝑧). Most available methods for adaptive feedback cancellation require persistent excitations [9, 13]. In this study, a new method is presented for adaptive feedback cancellation without persistent excitations.

It was proposed to use a pair of sensors to measure pressure signals in ducts, from which traveling waves are resolved [14, 15]. The outbound wave could be used directly as the reference signal without cancelling feedback signals if an infinite-impulse-response (IIR) controller could be implemented accurately [14, 15]. In reality, it is very difficult to implement a stable ideal IIR ANC controller [16]. Most practical ANC systems use finite-impulse-response (FIR) controllers. The outbound wave in a duct is a linear combination of primary noise and reflected version of feedback signal. Instead of using the outbound wave directly as the reference, the least mean square (LMS) algorithm is applied in this study to cancel feedback signals in the outbound wave before using it as the reference. Orthogonal adaptation is combined with the proposed ANC configuration to implement a CNMIANC system. Experimental result is presented to demonstrate the performance of the CNMIANC system.

2. System Configuration and Model

Figure 1 illustrates the configuration of the proposed ANC system. The primary source is represented by the upstream speaker and the secondary source is the midstream speaker. Cross-sectional area of the duct is small enough such that sound field in the duct can be modeled by a 1D sound field in the frequency range of interest. Three microphone sensors are installed in the duct, measuring signals 𝑝1, 𝑝2, and 𝑝3, respectively. Since the primary noise signal is not available to the ANC system, the reference signal is recovered from 𝑝1 and 𝑝2, while 𝑝3 is the error signal to be minimized by the ANC system.

Let d denote the axial distance between 𝑝1 and 𝑝2. The acoustical two-port theory [16, 17] has been applied by many ANC researchers for the design and analysis of ANC systems. It is adopted here as an analytical tool. An equivalent acoustical circuit is shown in Figure 2 to model the two-microphone system. The upstream part, from the primary source to location of 𝑝1, is equivalent to an acoustical source with strength 𝑢𝑝 and impedance 𝑍𝑝. The downstream part, from location of 𝑝2 to the outlet, is represented by another acoustical source with strength us and impedance 𝑍𝑠. Characteristic impedance of the duct is represented by 𝑍𝑜.

The linear system theory allows one to solve 𝑝1 and 𝑝2 in Figure 2(a) by focusing on acoustical circuits of Figures 2(b) and 2(c) before adding two solutions together as the final solution of Figure 2(a). For the case of 𝑢𝑝=0, which is represented by Figure 2(b), one obtains 𝑝2|𝑢𝑝=0=𝑍cos(𝑘𝑑)+𝑗𝑜𝑍𝑝𝑝sin(𝑘𝑑)1|𝑢𝑝=0,𝑢𝑠𝑝2|𝑢𝑝=0=𝑍𝑠𝑍𝑝𝑍cos(𝑘𝑑)+𝑗𝑠𝑍𝑜𝑝sin(𝑘𝑑)1|𝑢𝑝=0,(1) where k is the wave number. One can solve, from (1),𝑝2|𝑢𝑝=0=𝑍𝑜𝑍𝑝cos(𝑘𝑑)+𝑗𝑍𝑜sin(𝑘𝑑)𝑍𝑠+𝑍𝑝𝑍𝑜𝑍cos(𝑘𝑑)+𝑗𝑠𝑍𝑝+𝑍2𝑜𝑢sin(𝑘𝑑)𝑠𝑝,(2)1|𝑢𝑝=0=𝑍𝑜𝑍𝑝𝑍𝑠+𝑍𝑝𝑍𝑜𝑍cos(𝑘𝑑)+𝑗𝑠𝑍𝑝+𝑍2𝑜𝑢sin(𝑘𝑑)𝑠.(3)Similarly, for the case of 𝑢𝑠=0, which is represented by Figure 2(c), one obtains 𝑝1|𝑢𝑠=0=𝑍cos(𝑘𝑑)+𝑗𝑜𝑍𝑝𝑝sin(𝑘𝑑)2|𝑢𝑠=0,𝑢𝑝𝑝1|𝑢𝑠=0=𝑍𝑝𝑍𝑠𝑍cos(𝑘𝑑)+𝑗𝑝𝑍𝑜𝑝sin(𝑘𝑑)2|𝑢𝑠=0,(4) from which one can solve𝑝1|𝑢𝑠=0=𝑍𝑜𝑍𝑠cos(𝑘𝑑)+𝑗𝑍𝑜sin(𝑘𝑑)𝑍𝑠+𝑍𝑝𝑍𝑜𝑍cos(𝑘𝑑)+𝑗𝑠𝑍𝑝+𝑍2𝑜𝑢sin(𝑘𝑑)𝑝,𝑝(5)2|𝑢𝑠=0=𝑍𝑜𝑍𝑠𝑍𝑠+𝑍𝑝𝑍𝑜𝑍cos(𝑘𝑑)+𝑗𝑠𝑍𝑝+𝑍2𝑜𝑢sin(𝑘𝑑)𝑝.(6)Adding (2) and (6), one may write𝑝2=𝑝2|𝑢𝑝=0+𝑝2|𝑢𝑠=0=𝑍𝑜𝑍𝑝cos(𝑘𝑑)+𝑗𝑍𝑜𝑢sin(𝑘𝑑)𝑠+𝑍𝑜𝑍𝑠𝑢𝑝𝑍𝑠+𝑍𝑝𝑍𝑜𝑍cos(𝑘𝑑)+𝑗𝑠𝑍𝑝+𝑍2𝑜.sin(𝑘𝑑)(7)The same method is applicable to (3) and (5) for𝑝1=𝑝1|𝑢𝑝=0+𝑝1|𝑢𝑠=0=𝑍𝑜𝑍𝑠cos(𝑘𝑑)+𝑗𝑍𝑜𝑢sin(𝑘𝑑)𝑝+𝑍𝑜𝑍𝑝𝑢𝑠𝑍𝑠+𝑍𝑝𝑍𝑜𝑍cos(𝑘𝑑)+𝑗𝑠𝑍𝑝+𝑍2𝑜.sin(𝑘𝑑)(8)The next step is to use complex factor 𝛼=𝑍𝑜/((𝑍𝑠+𝑍𝑝)𝑍𝑜cos(𝑘𝑑)+𝑗(𝑍𝑠𝑍𝑝+𝑍2𝑜)sin(𝑘𝑑)) to simplify (7) and (8). The results read𝑝2𝑍=𝛼𝑝cos(𝑘𝑑)+𝑗𝑍𝑜𝑢sin(𝑘𝑑)𝑠+𝑍𝑠𝑢𝑝,𝑝1𝑍=𝛼𝑠cos(𝑘𝑑)+𝑗𝑍𝑜𝑢sin(𝑘𝑑)𝑝+𝑍𝑝𝑢𝑠.(9) Since cos(𝑘𝑑)=0.5(𝑒𝑗𝑘𝑑+𝑒𝑗𝑘𝑑) and 𝑗sin(𝑘𝑑)=0.5(𝑒𝑗𝑘𝑑𝑒𝑗𝑘𝑑), (9) can be written as𝑝2𝑍=𝛼𝑝+𝑍𝑜2𝑒𝑗𝑘𝑑+𝑍𝑝𝑍𝑜2𝑒𝑗𝑘𝑑𝑢𝑠+𝑍𝑠+𝑍𝑜2+𝑍𝑠𝑍𝑜2𝑢𝑝,𝑝1𝑍=𝛼𝑠+𝑍𝑜2𝑒𝑗𝑘𝑑+𝑍𝑠𝑍𝑜2𝑒𝑗𝑘𝑑𝑢𝑝+𝑍𝑝+𝑍𝑜2+𝑍𝑝𝑍𝑜2𝑢𝑠.(10)Let𝑤𝑖𝑍=𝛼𝑠𝑍𝑜2𝑢𝑝+𝑍𝑝+𝑍𝑜2𝑒𝑗𝑘𝑑𝑢𝑠𝑤(11)𝑜𝑍=𝛼𝑝𝑍𝑜2𝑢𝑠+𝑍𝑠+𝑍𝑜2𝑒𝑗𝑘𝑑𝑢𝑝(12) represent the in- and outbound waves in the duct. By comparing (10) with (11) and (12), one can see that (10) are equivalent to𝑝2=𝑤𝑖+𝑤𝑜𝑒𝑗𝑘𝑑,𝑝1=𝑤𝑖𝑒𝑗𝑘𝑑+𝑤𝑜.(13) The in- and outbound waves can be resolved from 𝑝1 and 𝑝2 via𝑤𝑖𝑤𝑜=𝑒𝑗𝑘𝑑11𝑒𝑗𝑘𝑑1𝑝1𝑝2=11𝑒2𝑗𝑘𝑑𝑒𝑗𝑘𝑑11𝑒𝑗𝑘𝑑𝑝1𝑝2.(14)

In a digital implementation of ANC system, it is recommended to select sampling interval 𝛿𝑡 such that its product with sound speed c satisfies 𝑐𝛿𝑡=𝑑. As a result, the delay operator exp(𝑗𝑘𝑑)=𝑧1 becomes an exact one-sample delay for discrete-time ANC systems.

3. Feedback Cancellation

It is indicated by (12) that the outbound wave contains feedback from 𝑢𝑠 that must be cancelled to recover the reference signal. Let 𝑅1=(𝑍𝑝𝑍𝑜)/(𝑍𝑝+𝑍𝑜) denote the upstream reflection coefficient. By multiplying 𝑒𝑗𝑘𝑑𝑅1 to (11), one obtains𝑒𝑗𝑘𝑑𝑅1𝑤𝑖𝑍=𝛼𝑠𝑍𝑜𝑍𝑝𝑍𝑜2𝑍𝑝+𝑍𝑜𝑒𝑗𝑘𝑑𝑢𝑝+𝑍𝑝𝑍𝑜2𝑢𝑠.(15)A subtraction of (15) from (12) enables one to write𝑤𝑜𝑒𝑗𝑘𝑑𝑅1𝑤𝑖=𝑛,(16)where𝛼𝑍𝑛=𝑠+𝑍𝑜𝑍𝑝+𝑍𝑜𝑒𝑗𝑘𝑑𝑍𝑠𝑍𝑜𝑍𝑝𝑍𝑜𝑒𝑗𝑘𝑑2𝑍𝑝+𝑍𝑜𝑢𝑝(17) is only contributed by the primary source 𝑢𝑝.

Using cos(𝑘𝑑)=0.5(𝑒𝑗𝑘𝑑+𝑒𝑗𝑘𝑑) and 𝑗sin(𝑘𝑑)=0.5(𝑒𝑗𝑘𝑑𝑒𝑗𝑘𝑑), one can see that the common denominator of 𝑝1, 𝑝2, and all transfer functions in the duct is𝑍𝑠+𝑍𝑝𝑍𝑜𝑍cos(𝑘𝑑)+𝑗𝑠𝑍𝑝+𝑍2𝑜𝑍sin(𝑘𝑑)=0.5𝑠+𝑍𝑜𝑍𝑝+𝑍𝑜𝑒𝑗𝑘𝑑𝑍0.5𝑠𝑍𝑜𝑍𝑝𝑍𝑜𝑒𝑗𝑘𝑑.(18)Substituting (18) into the definition of α (immediately after (8)), one obtains2𝑍𝑜𝑍=𝛼𝑠+𝑍𝑜𝑍𝑝+𝑍𝑜𝑒𝑗𝑘𝑑𝑍𝑠𝑍𝑜𝑍𝑝𝑍𝑜𝑒𝑗𝑘𝑑.(19)A further substitution of (19) into (17) leads to𝑍𝑛=𝑜𝑢𝑝𝑍𝑝+𝑍𝑜.(20)This is the reference signal to be recovered by the proposed ANC system.

A question to be answered here is why not recovering the reference signal from a pressure signal such as 𝑝1. The hint is (8) that may be expressed as 𝑝1=𝐹(𝑗𝜔)𝑢𝑠+𝐵(𝑗𝜔)𝑢𝑝. In view of (8), the acoustical feedback transfer function is𝑍𝐹(𝑗𝜔)=𝑜𝑍𝑝𝑍𝑠+𝑍𝑝𝑍𝑜𝑍cos(𝑘𝑑)+𝑗𝑠𝑍𝑝+𝑍2𝑜.sin(𝑘𝑑)(21)Since 𝐹(𝑗𝜔) is a transfer function with resonant poles, it has an infinite impulse response (IIR). In many ANC systems, a finite-impulse-response (FIR) filter 𝐹(𝑗𝜔) is used to approximate 𝐹(𝑗𝜔). This means inevitable approximation errors in the first place.

Besides, all transfer functions in a duct are sensitive to values of 𝑍𝑜, 𝑍𝑠, and 𝑍𝑝. In particular, 𝑍𝑠 is the impedance of the entire downstream segment from the location of 𝑝2 to the duct outlet. Objects moving near the duct outlet could cause changes of 𝑍𝑠. A fracture in any downstream part may also cause a significant change to 𝑍𝑠 as well. If initial estimate 𝐹(𝑗𝜔) is remembered by an ANC system, it is a stability issue how significant will 𝐹(𝑗𝜔)𝐹(𝑗𝜔) turn out as a result of a small variation of 𝑍𝑠. An indicative answer might be𝜕𝜕𝑍𝑠𝐹(𝑗𝜔)=𝑍𝑜𝑍𝑝𝑍𝑜cos(𝑘𝑑)+𝑗𝑍𝑝sin(𝑘𝑑)𝑍𝑠+𝑍𝑝𝑍𝑜𝑍cos(𝑘𝑑)+𝑗𝑠𝑍𝑝+𝑍2𝑜sin(𝑘𝑑)2.(22)The common denominator of 𝑝1, 𝑝2, and all transfer functions in the duct has an alternative form in (18), which is equivalent to𝑍0.5𝑠+𝑍𝑜𝑍𝑝+𝑍𝑜𝑒𝑗𝑘𝑑𝑍0.5𝑠𝑍𝑜𝑍𝑝𝑍𝑜𝑒𝑗𝑘𝑑𝑍=0.5𝑠+𝑍𝑜𝑍𝑝+𝑍𝑜𝑒𝑗𝑘𝑑𝑍1𝑠𝑍𝑜𝑍𝑝𝑍𝑜𝑍𝑠+𝑍𝑜𝑍𝑝+𝑍𝑜𝑒2𝑗𝑘𝑑𝑍=0.5𝑠+𝑍𝑜𝑍𝑝+𝑍𝑜𝑒𝑗𝑘𝑑1𝑅1𝑅2𝑒2𝑗𝑘𝑑,(23) where 𝑅2=(𝑍𝑠𝑍𝑜)/(𝑍𝑠+𝑍𝑜) represents the downstream reflection coefficient.

Since resonant frequencies of the duct are roots of the common denominator, it is suggested by (22) and (23) that all transfer functions in the duct, including the feedback transfer function 𝐹(𝑗𝜔), are sensitive to variance of 𝑍𝑠 at the resonant peaks. The stronger the resonance, the more sensitive of transfer functions with respect to 𝑍𝑠. If an ANC system recovers the reference signal from a pressure signal like 𝑝1, a small online variation of 𝑍𝑠 may cause a significant mismatch between 𝐹(𝑗𝜔) and initial estimate 𝐹(𝑧). As a result, closed-loop stability is sensitive to possible variation of 𝑍𝑠.

If the reference signal is recovered from traveling waves with (16), the situation will be different. In a discrete-time implementation, one may rewrite (16) to 𝑛(𝑧)=𝑤𝑜𝐹𝑤(𝑧)𝑤𝑖, where the acoustical feedback transfer function is a delayed version of upstream reflection coefficient 𝐹𝑤(𝑧)=𝑧1𝑅1(𝑧). Here, 𝑅1=(𝑍𝑝𝑍𝑜)/(𝑍𝑝+𝑍𝑜) is only sensitive to 𝑍𝑝 and 𝑍𝑜. Characteristic impedance 𝑍𝑜 is a real constant depending on sound speed and cross-sectional area between 𝑝1 and 𝑝2. It seldom changes significantly in online ANC operations. As for 𝑍𝑝, it is the impedance of the upstream portion from the primary source to the location of 𝑝1. In most applications, 𝑝1 and 𝑝2 are measured as close as possible to the primary source. Impedance 𝑍𝑝 is deeply hidden in a very short segment of the duct. Its variation, if any, would be certainly not as significant as that of 𝑍𝑠.

No matter how significant are the possible variations of 𝑍𝑝 or 𝑍𝑜, the passive upstream reflection always has a limited magnitude |𝑅1|<1. For each pair of fixed 𝑍𝑝 and 𝑍𝑜, |𝑅1(𝑗𝜔)| does not have sharp peaks or dips as a function of 𝜔. In many cases, |𝑅1| is constant for a pair of fixed 𝑍𝑝 and 𝑍𝑜. Let 𝑋(𝑗𝜔) denote the Fourier transform of 𝑥(𝑡), then 𝑋(𝑗𝜔)=𝐿{𝑥(𝑡)} and 𝑥(𝑡)=𝐿1{𝑋(𝑗𝜔)} share many similar properties. For example, if 𝑥(𝑡) is a low-frequency function of 𝑡, then the bandwidth of 𝑋(𝑗𝜔) is narrow in terms of 𝜔. Similarly, if 𝑋(𝑗𝜔) is a “low-frequency” function of 𝜔, then the time duration of 𝑥(𝑡) is short (a narrow bandwidth in terms of 𝑡). The fact that |𝑅1| is a “low-frequency" function of ω for each pair of fixed 𝑍𝑝 and 𝑍𝑜 implies short impulse responses of 𝑅1(𝑧). It is, therefore, reasonable to assume that 𝑅1(𝑧)=𝑚𝑘=0𝑟𝑘𝑧𝑘 can be approximated by a FIR transfer function with negligible errors (Assumption A1). If both 𝑍𝑝 and 𝑍𝑜 are constant, 𝑅1 is a single constant. Resonant effects in the duct are hidden in wave signals 𝑤𝑖 and 𝑤𝑜 without affecting 𝑅1. This is a major difference between recovering the reference signal from traveling waves and recovering the reference signal from a pressure signal.

Even if an estimate of 𝐹𝑤(𝑧) is obtained by initial identification, it is less likely that online variations of environmental or boundary conditions could cause significant mismatch between 𝐹𝑤(𝑧) and its initial estimate. The resultant ANC system is semimodel independent if its reference signal is recovered with (16) in combination with a MIANC adaptation algorithm such as orthogonal adaptation.

4. Complete Noninvasive MIANC

Noninvasive model-independent feedback cancellation is possible by applying LMS to (16). With assumption A1, online estimate of the feedback transfer function is represented by polynomial𝑅(𝑧)=𝑚𝑘=0̂𝑟𝑘(𝑡)𝑧𝑘,(24)where 𝑟𝑘(𝑡) is the 𝑘th coefficient for the 𝑡th sample. An estimated version of (16) would be ̂𝑛=𝑤𝑜𝑧1𝑅(𝑧)𝑤𝑖,(25)which has a discrete-time domain expression,̂𝑛(𝑡)=𝑤𝑜(𝑡)𝑚𝑘=0̂𝑟𝑘(𝑡)𝑤𝑖(𝑡𝑘1).(26)Coefficients of 𝑅(𝑧)=𝑚𝑘=0̂𝑟𝑘(𝑡)𝑧𝑘 are updated with the LMS algorithm as follows:̂𝑟𝑘(𝑡+1)=̂𝑟𝑘(𝑡)+𝜇̂𝑛(𝑡)𝑤𝑖(𝑡𝑘1),(27)where 𝜇>0 is a small constant representing the LMS step size. Since 𝑅1(𝑧)=𝑚𝑘=0𝑟𝑘𝑧𝑘 by assumption A1, the discrete-time domain version of (16) is𝑛(𝑡)=𝑤𝑜(𝑡)𝑚𝑘=0𝑟𝑘𝑤𝑖(𝑡𝑘1).(28)Subtracting (28) from (27), one obtainŝ𝑛(𝑡)𝑛(𝑡)=𝑚𝑘=0𝑟𝑘̂𝑟𝑘𝑤(𝑡)𝑖=(𝑡𝑘1)𝑚𝑘=0Δ𝑟𝑘(𝑡)𝑤𝑖(𝑡𝑘1),(29)where Δ𝑟𝑘(𝑡)=𝑟𝑘̂𝑟𝑘(𝑡) is the estimation error of 𝑟𝑘. Let Δ𝑟=[Δ𝑟0,Δ𝑟1,,Δ𝑟𝑚]𝑇 and let 𝜛𝑖(𝑡)=[𝑤𝑖(𝑡1),𝑤𝑖(𝑡2),𝑤𝑖(𝑡𝑚1)]𝑇. It is possible to express (29) in an inner product̂𝑛(𝑡)𝑛(𝑡)=Δ𝑟𝑇𝜛𝑖(𝑡).(30)Estimation residues of LMS algorithms are usually expressed as inner products like (30). It has been proven that the LMS algorithm is able to drive the convergence of these inner products towards zero.

If the primary noise signal 𝑢𝑝 was available, mathematical model of the error signal may be expressed in the discrete-time 𝑧-transform domain as 𝑒(𝑧)=𝑃(𝑧)𝑢𝑝(𝑧)+𝑆(𝑧)𝑢𝑠(𝑧), where the actuation signal would be synthesized as 𝑢𝑠(𝑧)=𝐶(𝑧)𝑢𝑝(𝑧). Since 𝑢𝑝 is actually not available, the ANC system has to recover ̂𝑛(𝑧) from the outbound wave and then synthesize 𝑢𝑠(𝑧)=𝐶(𝑧)̂𝑛(𝑧) instead. After the convergence of ̂𝑛(𝑧)n (z), one may express the mathematical model of the error signal to𝑍𝑒(𝑧)=𝑃(𝑧)1+𝑝𝑍𝑜+𝑆(𝑧)𝐶(𝑧)𝑛(𝑧),(31)where (20) has been substituted. Let 𝐻(𝑧)=𝑃(𝑧)[1+𝑍𝑝/𝑍𝑜], then (31) becomes𝑒(𝑧)=[𝐻(𝑧)+𝑆(𝑧)𝐶(𝑧)]𝑛(𝑧).(32) It is mathematically equivalent to another ANC system whose primary source is available to the controller as 𝑛(𝑧), with primary path transfer function 𝐻(𝑧) and secondary path transfer function 𝑆(𝑧). Orthogonal adaptation is readily applicable to (32) to implement a noninvasive MIANC system.

It is assumed that 𝐻(𝑧) and 𝑆(𝑧) can be approximated by FIR filters with negligible errors (Assumption A2). Let 𝑇=[01𝑚] and 𝑠𝑇𝑠=[0𝑠1𝑠𝑚] denote coefficients of 𝐻(𝑧) and 𝑆(𝑧), respectively, the discrete-time domain version of 𝑒(𝑧)=𝐻(𝑧)𝑛(𝑧)+𝑆(𝑧)𝑢𝑠(𝑧) is a discrete-time convolution:𝑒(𝑡)=𝑚𝑘=0𝑘𝑛(𝑡𝑘)𝑚𝑘=0𝑠𝑘𝑢𝑠(𝑡𝑘),(33)where 𝑒(𝑡), 𝑛(𝑡), and 𝑢𝑠(𝑡) denote samples of 𝑒(𝑧), 𝑛(𝑧), and 𝑢𝑠(𝑧), respectively. Introducing coefficient vector 𝜃𝑇=[𝑇𝑠𝑇] and regression vector 𝜙𝑡=[𝑛(𝑡)𝑛(𝑡1)𝑛(𝑡𝑚),𝑢𝑠(𝑡)𝑢𝑠(𝑡1)𝑢𝑠](𝑡𝑚)𝑇, one may rewrite (33) to 𝑒(𝑡)=𝜃𝑇𝜙𝑡.(34) Let 𝐻(𝑧) and 𝑆(𝑧) denote online estimates of 𝐻(𝑧) and 𝑆(𝑧). Path estimates 𝐻(𝑧) and 𝑆(𝑧) are obtained by minimizing estimation error as follows:𝜀(𝑧)=𝑒(𝑧)𝐻(𝑧)𝑛(𝑧)𝑆(𝑧)𝑢𝑠(𝑧)=Δ𝐻(𝑧)𝑛(𝑧)+Δ𝑆(𝑧)𝑢𝑠(𝑧),(35)where Δ𝐻(𝑧)=𝐻(𝑧)𝐻(𝑧) and Δ𝑆(𝑧)=𝑆(𝑧)𝑆(𝑧) are online modeling errors. Let ̂𝜃𝑇=[𝑇̂𝑠𝑇] denote online estimate of 𝜃𝑇=[𝑇𝑠𝑇], then 𝑇=[01𝑚]01𝑚 and ̂𝑠𝑇=[̂𝑠0̂𝑠1̂𝑠𝑚]̂𝑠0̂𝑠1̂𝑠𝑚 represent the coefficients of 𝐻(𝑧) and 𝑆(𝑧), respectively. Similar to the equivalence between (34) and 𝑒(𝑧)=𝐻(𝑧)𝑛(𝑧)+𝑆(𝑧)𝑢𝑠(𝑧), (35) has a discrete-time domain equivalence𝜀𝑡̂𝜃=𝑒(𝑡)𝑇𝜙𝑡̂𝜃=Δ𝑇𝜙𝑡,(36)where ̂𝜃Δ𝜃=𝜃 is the online coefficient error vector. The entire CNMIANC system performs three online tasks that are mathematically represented by the minimization of three inner products. The first is inner product given in (30); the second one is given in (36); and the third one is ̂𝜃𝑇𝜙𝑡.

Equations (30) and (36) contain estimation errors Δr and Δθ. Most available estimation algorithms, such as LMS and the recursive least squares (RLS), are very capable of driving inner products like (30) and (36) towards zero, or at least minimizing their magnitudes [18]. A difficult problem is how to force Δr 0 and Δθ 0. Available solutions inject significant levels of “persistent excitations” (invasive probing signals) to the estimation system [6, 7, 9, 10, 13]. A unique feature of the proposed CNMIANC is no persistent excitations. The system works well without requiring Δr 0 and Δθ 0.

For (30), minimizing the inner product in the right-hand side implies convergence of ̂𝑛𝑛 in the left-hand side. It would be great if Δr 0 as well. Otherwise, Δr may just converge to a FIR filter that filters out wi from wo. On the other hand, minimizing the inner product in (36) only implies εt 0. The question is what does it further implies? One may consider the equivalence between (34) and 𝑒(𝑧)=𝐻(𝑧)𝑛(𝑧)+𝑆(𝑧)𝑢𝑠(𝑧), which holds if one replaces 𝜃𝑇=[𝑇𝑠𝑇], 𝐻(𝑧), and 𝑆(𝑧) with respective estimates ̂𝜃𝑇=[𝑇̂𝑠𝑇], 𝐻(𝑧), and 𝑆(𝑧). The equivalence is now between forcing ̂𝜃𝑇𝜙𝑡0 and forcing𝐻(𝑧)𝑛(𝑧)+𝑆(𝑧)𝑢𝑠(𝑧)=𝐻(𝑧)+𝑆(𝑧)𝐶(𝑧)𝑛(𝑧)0.(37)The CNMIANC system uses online estimates of 𝐻(𝑧) and 𝑆(𝑧) to solve 𝐶(𝑧) that minimizes 𝐻(𝑧)+𝑆(𝑧)𝐶(𝑧)2. This is equivalent to forcing ̂𝜃𝑇𝜙𝑡0. One can obtain𝜀𝑒=𝑡+̂𝜃𝑇𝜙𝑡𝜀𝑡+̂𝜃𝑇𝜙𝑡(38) by adding ̂𝜃𝑇𝜙𝑡 to both sides of (36). As the CNMIANC system drives 𝜀𝑡̂𝜃=Δ𝑇𝜙𝑡 0 and forces |̂𝜃𝑇𝜙𝑡|0 ultimately, it implies ultimate convergence of 𝑒 0 even though Δθ does not necessarily converge to zero [11, 12].

5. Experimental Verification

A CNMIANC system was implemented and tested in an experiment, with a configuration shown in Figure 1. Cross-sectional area of the duct was 12×15 cm2. Two microphones were placed 30 cm downstream from the primary speaker with a space of d = 10 cm between 𝑝1 and 𝑝2. The distance between 𝑝2 and the secondary speaker is represented by L in Figure 1. To guarantee a causal ANC system, the value of L must satisfy 𝐿>2𝑑 such that the outbound wave is at least two samples ahead of sound propagation in duct. The sampling interval of the controller was 0.29 millisecond with a sampling frequency of 3.448 Hz, which satisfies d = cδt with 𝑐=344 m/s and exp(jkd) = z. The cutoff frequency of antialias filters was chosen to be 1200 Hz. The in- and outbound waves were recovered from pressure signals with (14). The reference signal was recovered with (25). Coefficients of 𝑅(𝑧) were adapted with (27). Another online modeling process used (34) to obtain coefficients of 𝐻(𝑧) and 𝑆(𝑧). The ANC transfer function was solved by online minimization of 𝐻(𝑧)+𝑆(𝑧)𝐶(𝑧)2. The CNMIANC system was implemented in a dSPACE 1103 board.

Error signal 𝑒(𝑡) and primary noise 𝑢𝑝(𝑡) were collected as vectors 𝑒 and 𝑢𝑝 for three cases. In case 1, there was no control action. In case 2, 𝑢𝑝(𝑡) was available as the reference signal for an ANC system to suppress noise in the duct. In case 3, 𝑢𝑝(𝑡) was not available and the CNMIANC system had to recover ̂𝑛(𝑡) from 𝑝1 and 𝑝2 for controller synthesis. For each respective case, power spectral densities (PSD’s) of 𝑒(𝑡) and 𝑢𝑝(𝑡) were computed with a MATLAB command called “pmtm()”. Computational results are denoted as vectors 𝑃𝑒=pmtm(𝑒) and 𝑃𝑝=pmtm(up), where argument vectors 𝑒 and up represent measurement samples of 𝑒(𝑡) and 𝑢𝑝(𝑡). The normalized PSD of 𝑒(𝑡) was calculated as 𝑃𝑛𝑒=10log(𝑃𝑒/𝑃𝑝) for all three cases.

Shown in Figure 3 are normalized PSD of 𝑒(𝑡) for the three cases. For case 1, normalized PSD of 𝑒(𝑡) is represented by the dashed-black curve. For case 2, normalized PSD of 𝑒(𝑡) is plotted with the solid-gray curve. For case 3, normalized PSD of 𝑒(𝑡) is represented by the solid-black curve. Both ANC systems were able to suppress noise with good control performance as seen in Figure 3. The proposed CNMIANC has slightly worse performance since its reference was the recovered signal ̂𝑛(𝑡) instead of the true primary source 𝑢𝑝(𝑡). This is a small price to pay in case 𝑢𝑝(𝑡) is not available to the ANC system. The proposed CNMIANC system was stable and able to recover the reference and suppress noise without any persistent excitations.

The CNMIANC system was robust with respect to sudden parameter change in the duct. In the experiment, the duct outlet was changed from completely open to completely closed. Such a sudden change shifted all resonant frequencies in the duct. Path transfer functions also changed suddenly. The CNMIANC system remained stable and converged very quickly.

6. Conclusions

The primary source is not necessarily available as the reference signal for ANC systems in all practical applications. When the primary source is not available, the ANC system must recover the reference signal from a sound field to which ANC is applied. Feedback cancellation is an important issue in ANC systems that recover reference signals from sound fields. In most MIANC systems, persistent excitations are required for online modeling of feedback path model and adaptive feedback cancellation [9, 13]. In this study, a CNMIANC system is proposed that recovers reference signal from traveling waves without persistent excitations. The corresponding feedback path model is the upstream reflection coefficient and hence closer to an FIR filter than pressure feedback transfer functions (IIR path models in resonant ducts). Theoretical analysis and experimental results are presented to demonstrate the stable operation of the proposed CNMIANC system.