O direito na teoria crítica dos sistemas: da justiça autossubversiva à crítica imanente do direito

O recente desenvolvimento de uma teoria crítica dos sistemas, de Gunther Teubner a Andreas Fischer-Lescano, abriu novos horizontes teóricos para aqueles que se propõe a estudar a sociedade e o sistema jurídico. A construção de uma teoria crítica sob condições sistêmicas possibilitou o uso conjunto de temas e conceitos teóricos provenientes da teoria crítica da primeira geração da Escola de Frankfurt (crítica imanente, antagonismos sociais, reificação, dialética do esclarecimento) e da teoria dos sistemas (paradoxo, sistema, sociedade mundial). Partindo disso, o sistema jurídico foi analisado nas dimensões da justiça (como fórmula contingente e transcendente) e de sua crítica imanente como atitude transcendente, especialmente em face de sua tendência em se autorreproduzir como ordem social reificada que gera injustiça pelos excessos de justiça. Para alcançar essas conclusões, este trabalho se propôs a analisar o cenário da sociedade moderna no qual nasce a teoria crítica dos sistemas (Parte 1), lançando bases para os aspectos estruturais e semânticos sobre os quais ela se apoia. Seguidamente, foram estabelecidos os pressupostos teóricos básicos da teoria crítica da Escola de Frankfurt e da teoria dos sistemas de Luhmann (Parte 2) com o fim específico de colher os elementos essenciais à construção de uma teoria crítica dos sistemas voltada para o estudo do sistema jurídico. Logrado esse ponto, focou-se a análise do sistema jurídico e de sua evolução até alcançar sua atual condição na forma de um direito global na sociedade fragmentada (Parte 3). A partir disso a justiça autossubversiva e a crítica imanente do direito foram abordadas em seus aspectos essenciais e possibilitadores de uma autotranscendência sistêmica, capaz de tornar o direito mais responsivo com relação ao seu ambiente, limitando a irracionalidade racional inerente a uma ordem social reificada. A presente dissertação propõe dar mais um passo no sentido do desenvolvimento de uma teoria crítica dos sistemas aplicada ao direito, diagnosticando os dilemas contemporâneos e ao mesmo tempo, apontando os desafios existentes numa sociedade mundial paradoxalmente marcada pela possibilidade de hipertrofia sistêmica das ordens sociais reificadas e pelos processos de constitucionalização que buscam limitar essas ordens.

A sanção jurídica da sociedade

A teoria dos sistemas sociais autorreferenciais é uma teoria sociológica inovadora. Na verdade, trata-se de uma superteoria baseada em premissas construtivistas que se pretende universal, ou seja, capaz de descrever qualquer fenômeno social, incluindo as teorias rivais. O criador da teoria, o sociólogo alemão Niklas Luhmann, escreveu obras sobre uma grande variedade de temas: desde do Direito até a Arte; de uma teoria geral dos sistemas sociais até uma teoria abrangente da sociedade. Como uma teoria de base construtivista, a teoria dos sistemas sociais autorreferenciais observa observações, mais especificamente, observa comunicações. A teoria adota, assim, um fundamento teórico singular que exige novas descrições dos fenômenos sociais, ainda que já tenham sido exaustivamente estudados. Esse é o caso de sanções legais. Luhmann, contudo, não fornece uma descrição sistêmica das sanções legais. Ao invés disso, usa o termo de maneiras diferentes em seus estudos. As sanções a que ele se refere em seus estudos sobre o sistema político parecem estar mais relacionadas à violência física do que aquelas que ele mencionou ao descrever o sistema jurídico. Esta indefinição é, provavelmente, fruto do que chamei \"noção comum de sanção\". A noção comum, menos do que um conceito de sanção, é o acumulado de séculos de esforços para definir medidas de controle social. Portanto, além de vaga, a noção comum de sanção é baseada em premissas que são estranhas à teoria dos sistemas sociais. Assim, é necessária uma nova descrição dos fenômenos sociais associados à noção comum de sanção, a fim de expandir as possibilidades da teoria dos sistemas sociais. A observação desses fenômenos do ponto de vista da teoria dos sistemas sociais autorreferenciais resultou na descrição de não apenas uma, mas de quatro estruturas sociais diferentes. A primeira foi identificada como sanção simbiótica e pode ser tanto negativa - se associada ao uso da violência - como positiva - se associado à satisfação das necessidades. A segunda é o programa do sistema jurídico que cumpre a função de memória no sistema, mantendo assim as expectativas normativas. A terceira estrutura é uma variação da segunda; são programas oriundos dos processos legais que também cumprem função de memória. Estes programas diferem das sanções simbióticas na distância do uso da violência física. Enquanto a sanção simbiótica demonstra claramente a sua conexão com a violência frente à desobediência, os programas apontam para outros programas sancionatórios antes de se referirem à violência física. De um modo muito diferente, o quarto tipo de estrutura social, os programas sancionatórios de exclusão, identificados com as penas privativas de liberdade, estão intimamente ligados à violência física. Estes programas, embora realizem também a função de memória, cumprem outra função: a gestão de exclusão na sociedade moderna.

Algebraic derivative estimation applied to nonlinear control of magnetic levitation.

The subject of this thesis is the real-time implementation of algebraic derivative estimators as observers in nonlinear control of magnetic levitation systems. These estimators are based on operational calculus and implemented as FIR filters, resulting on a feasible real-time implementation. The algebraic method provide a fast, non-asymptotic state estimation. For the magnetic levitation systems, the algebraic estimators may replace the standard asymptotic observers assuring very good performance and robustness. To validate the estimators as observers in closed-loop control, several nonlinear controllers are proposed and implemented in a experimental magnetic levitation prototype. The results show an excellent performance of the proposed control laws together with the algebraic estimators.

Controle de uma plataforma inercial estabilizada com três graus de liberdade.

Esta dissertação apresenta o desenvolvimento de uma plataforma inercial autônoma com três graus de liberdade para aplicação em estabilização de sensores - por exemplo, gravimétricos estacionários e embarcados - podendo ser utilizada também para estabilização de câmeras. O sistema é formado pela Unidade de Medida Inercial, IMU, desenvolvida utilizando um sensor micro eletromecânico, MEMS - que possui acelerômetro, giroscópio e magnetômetros nos três eixos de orientação - e um microcontrolador para aquisição, processamento e envio dos dados ao sistema de controle e aquisição de dados. Para controle dos ângulos de inclinação e orientação da plataforma, foi implementado um controlador PID digital utilizando microcontrolador. Este recebe os dados da IMU e fornece os sinais de controle utilizando as saídas PWM que acionam os motores, os quais controlam a posição da plataforma. Para monitoramento da plataforma foi desenvolvido um programa para aquisição de dados em tempo real em ambiente Matlab, por meio do qual se pode visualizar e gravar os sinais da IMU, os ângulos de inclinação e a velocidade angular. Testou-se um sistema de transmissão de dados por rádio frequência entre a IMU e o sistema de aquisição de dados e controle para avaliar a possibilidade da não utilização de slip rings ou fios entre o eixo de rotação e os quadros da plataforma. Entretanto, verificou-se a inviabilidade da transmissão em razão da baixa velocidade de transmissão e dos ruídos captados pelo receptor de rádio frequência durante osmovimentos da plataforma. Sendo assim, dois pares de fios trançados foram utilizados fios para conectar o sensor inercial ao sistema de aquisição e processamento.

Modelagem e controle de marcha de robôs bípedes com disco de inércia.

Esta tese trata de um robô bípede em caminhar dinâmico. Neste robô, que normalmente é um sistema sub-atuado, fazemos uso de um disco de inércia que funciona num certo sentido como um atuador adicional. Através deste disco, obtém-se mais liberdade para a elaboração de passos repetitivos e um aumento na robustez. Por outro lado, o sistema de controle dos passos deve controlar, além do passo propriamente dito, também a velocidade do disco, de modo que não sejam saturados os atuadores (motores elétricos). Apresentamos então um controlador capaz de realizar estas ações simultaneamente.

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.