Resumo Técnico: Design de Experimentos para Identificação por Conjunto de Membros

Declaração do Problema

Este artigo aborda o problema de design de experimento offline para a identificação por conjunto de membros de sistemas lineares invariantes no tempo (LTI) desconhecidos. O objetivo é projetar um sinal de entrada $u[0, T-1]$ tal que os dados de entrada-estado (ou entrada-saída) resultantes, coletados ao longo de um horizonte finito, sejam suficientemente informativos para identificar os parâmetros do sistema com uma precisão desejada.

O estudo opera sob dois regimes de ruído distintos:

1. Sem ruído ($\varepsilon = 0$): O objetivo é a identificação exata, onde os dados devem determinar unicamente os parâmetros reais do sistema.
2. Com ruído ($\varepsilon > 0$): O objetivo é a identificação de $\rho$-precisão, onde os dados devem restringir o conjunto de sistemas possíveis a um conjunto limitado com um raio de Chebyshev (erro de pior caso) menor ou igual a uma tolerância prescrita $\rho$.

O desafio central é que o sistema real é desconhecido. Portanto, o design deve basear-se em conhecimento prévio ($\Sigma_{pk}$), um conjunto de sistemas consistentes com as informações disponíveis (ex: limites nos parâmetros, restrições estruturais ou propriedades de controlabilidade). O artigo introduz o conceito de entradas universais: um sinal de entrada é universal se, quando aplicado a qualquer sistema dentro do conjunto de conhecimento prévio $\Sigma_{pk}$, ele gera dados adequados para a tarefa de identificação desejada.

Metodologia

Os autores desenvolvem um framework baseado em informatividade de dados e universalidade de entrada, aproveitando os princípios da identificação por conjunto de membros.

1. Informatividade de Dados e Entradas Universais

• Informatividade de Dados: Um conjunto de dados $D$ é $\Sigma_{pk}$-informativo para $\rho$-precisão se o conjunto de sistemas consistentes com os dados $\Sigma_D$ intersectado com o conhecimento prévio $\Sigma_{pk}$ possui um raio de Chebyshev $\le \rho$.
• Entradas Universais: Uma entrada $u[0, T-1]$ é $\Sigma_{pk}$-universal se, para cada sistema $(A, B) \in \Sigma_{pk}$, todos os possíveis conjuntos de dados gerados por esse sistema sob a entrada são $\Sigma_{pk}$-informativos.

2. Análise Sem Ruído

Na ausência de ruído, os autores analisam as condições sob as quais entradas universais existem e sua relação com a persistência de excitação (PE).

• Conhecimento Prévio Aberto: Para conjuntos abertos de conhecimento prévio contidos no conjunto de sistemas controláveis ($\Sigma_{cont}$), o artigo estabelece que entradas universais são equivalentes a entradas que são persistentemente excitantes de ordem $n+1$ (onde $n$ é a dimensão do estado).
• Conhecimento Prévio Geral: Os autores derivam condições suficientes (Teoremas 9 e 14) para a universalidade que dependem da estrutura específica de $\Sigma_{pk}$. Essas condições utilizam o polinômio mínimo da matriz do sistema $A$ e construções matriciais específicas ($M_{A,B}$, $D_A$).
• Insight Principal: Para certos conhecimentos prévios estruturados (ex: limites de norma específicos ou graus de polinômio mínimo conhecidos), entradas universais podem ser projetadas com um comprimento $T$ significativamente menor do que as $nm+n+m$ amostras exigidas pela PE padrão. Em alguns casos, prova-se que entradas que não são persistentemente excitantes (ex: entradas "hands-off" com valores zero sobre grandes intervalos) são universais.

3. Análise Com Ruído

Na presença de ruído limitado em $\ell_\infty$, a análise muda para o bounding do erro de identificação.

• $\rho$-Precisão: O artigo fornece condições (Teorema 21) que garantem que o erro de pior caso seja limitado por $\rho$. Isso envolve garantir que o menor valor singular de uma matriz específica dependente dos dados seja suficientemente grande em relação ao nível de ruído $\varepsilon$.
• Condições de Viabilidade: Os autores mostram que o design de experimentos universal para $\rho$-precisão é viável se o conjunto de conhecimento prévio for limitado e satisfizer uma medida de controlabilidade $\gamma_{pk} > 0$. Eles também propõem uma estratégia de partição (Teorema 24) para lidar com casos em que a condição não pode ser satisfeita para todo o conjunto $\Sigma_{pk}$, mas é válida para um subconjunto, desde que o subconjunto restante possua um raio intrínseco pequeno.
• Identificação Exata com Ruído: O artigo prova que a identificação exata ($\rho=0$) na presença de ruído só é viável se o conjunto de conhecimento prévio for uniformemente discreto (Teoremas 29, 30). Isso significa que sistemas distintos no conjunto prévio devem estar separados por uma distância mínima, uma condição frequentemente atendida em sistemas com parâmetros inteiros.

4. Extensão para Dados Entrada-Saída

O framework é estendido para sistemas ARX (modelos entrada-saída) ao reformulá-los em representações de espaço de estados. Isso permite a aplicação dos resultados derivados de entrada-estado para cenários de dados entrada-saída.

Principais Contribuições

1. Framework para Entradas Universais: Um novo framework é desenvolvido para estudar o design de experimentos offline incorporando explicitamente o conhecimento prévio geral, indo além das limitações das suposições de apenas controlabilidade.
2. Caracterização de Universalidade vs. PE:
   • Para sistemas de entrada única com conhecimento prévio aberto, a universalidade mostra-se equivalente à persistência de excitação de ordem $n+1$.
   • Para sistemas de múltiplas entradas e estruturas de conhecimento prévio específicas, o artigo demonstra que existem entradas universais que não são persistentemente excitantes de ordem $n+1$, reduzindo assim o tamanho da amostra necessário (ex: de $nm+n+m$ para $2n+m$ ou até mesmo $k+1$).
3. Design Robusto ao Ruído: São fornecidas condições suficientes para projetar entradas que garantam a identificação dentro de um limite de erro prescrito $\rho$ em ambientes com ruído.
4. Identificação Exata com Ruído: O artigo estabelece que a identificação exata na presença de ruído é viável se, e somente se, o conjunto de conhecimento prévio for uniformemente discreto, e fornece um método de design para tais casos.
5. Entradas "Hands-off": A metodologia permite o design de entradas "hands-off" (sinais com intervalos significativos de zero), que são praticamente valiosas em aplicações de segurança crítica ou com restrições de recursos, onde entradas persistentemente excitantes são inviáveis.

Resultados e Exemplos

• Limites Teóricos: O artigo deriva limites inferiores para o número de amostras $T$ necessárias para a identificação universal. Por exemplo, sob determinado conhecimento prévio, $T \ge 2n+m$ é suficiente, melhorando o padrão $T \ge nm+n+m$.
• Exemplo 1 (Movimento Orbital): Um modelo de movimento relativo de uma espaçonave é utilizado para demonstrar que uma entrada de dois impulsos (zero durante a maior parte do horizonte) é $\Sigma_{pk}$-universal para identificar a taxa orbital e a massa, enquanto a PE padrão exigiria uma excitação contínua muito mais longa.
• Exemplo 2 (Rede de Sistemas): Uma rede de 1000 sistemas idênticos é considerada. Os resultados mostram como projetar uma entrada universal para identificação de $\rho$-precisão em um cenário de alta dimensão com ruído, utilizando a estrutura da rede para reduzir a complexidade.

Significância

O artigo afirma que seus resultados generalizam a abordagem de design de experimentos baseada no lema fundamental de Willems et al. Enquanto o lema fundamental depende da persistência de excitação e é limitado ao conhecimento prévio de controlabilidade, este trabalho acomoda o conhecimento prévio geral.

A significância reside na descoberta de que, para muitos cenários práticos onde o conhecimento prévio está disponível (ex: limites de parâmetros, restrições estruturais ou conjuntos de parâmetros discretos), entradas persistentemente excitantes não são necessárias. Os métodos propostos podem gerar designs de experimentos eficientes em termos de amostra que superam as abordagens existentes. Isso é particularmente relevante para aplicações onde a aplicação de entradas persistentemente excitantes é impraticável devido a:

• Considerações de segurança.
• Restrições físicas.
• Recursos limitados (ex: em sistemas químicos/biológicos, ambientes clínicos, redes de larga escala e sistemas aeroespaciais).

Ao fornecer condições sob as quais entradas mais curtas, estruturadas ou "hands-off" são suficientes, o artigo oferece uma abordagem mais flexível e eficiente para a identificação de sistemas em ambientes restritos.