Fundamentos de Sistemas Autônomos: Verificação e Síntese

Projetar sistemas autônomos, como veículos autônomos e assistentes robóticos, requer certeza absoluta de que eles se comportarão com segurança em ambientes imprevisíveis. Este curso baseado em texto apresenta os princípios básicos da verificação formal e síntese de controladores, garantindo que seus projetos autônomos atendam aos rigorosos padrões de segurança e estabilidade.Você fará a transição de simplesmente testar sistemas autônoma para provar matematicamente sua correção. Ao entender como modelar a dinâmica do sistema e expressar propriedades de segurança, você obterá as habilidades necessárias para projetar controladores que garantam uma operação segura sob diversas condições. O que você aprenderá: Entenda a dinâmica do sistema fundamental e como modelar matematicamente comportamentos autônomos; Aplique a teoria da estabilidade de Lyapunov para verificar os estados estáveis de longo prazo dos sistemas dinâmicos; Analise a acessibilidade e use certificados de barreira para garantir que os limites críticos de segurança nunca sejam cruzados; Explore a verificação de modelos formais técnicas para verificar sistemas contra propriedades temporais regulares e omega-regulares; Sintetizar controladores corretos por construção que aplicam automaticamente as políticas de segurança desejadas; Examinar os desafios de segurança modernos, incluindo a verificação de sistemas que incorporam componentes habilitados para aprendizado e redes neurais. O curso começa com terminologia matemática essencial e modelagem de sistema fundamental antes de guiá-lo através de análise de estabilidade, algoritmos de verificação formal e técnicas de síntese de controlador. Este curso é projetado para aspirantes a engenheiros de robótica, cientistas da computação e desenvolvedores de sistemas que procuram um ponto de entrada acessível em métodos formais, exigindo apenas uma formação básica em matemática.Comece a ler hoje para dominar os fundamentos matemáticos da autonomia segura.