Fundamentos de Sistemas Autônomos: Modelagem e Verificação de Segurança

Construir sistemas autônomos que operem com segurança no mundo real requer projeto e verificação rigorosos.Este curso apresenta os conceitos essenciais de modelagem, especificação e verificações de sistemas autênticos com garantias matemáticas de segurança. Você aprenderá a fazer a transição de definições básicas de sistemas para analisar comportamentos complexos e auto-operativos. O que você aprenderá: 1. Entenda a terminologia fundamental e a arquitetura central dos sistemas autônomos. 2. Especificar requisitos de segurança e operacionais usando lógica formal. 4. Verificar a correção do sistema usando técnicas fundamentais de verificação e validação de modelos. 5. Aplicar filtros de segurança modernos, incluindo funções de barreira de controle, para evitar falhas. Este curso baseado em texto começa com definições básicas e conceitos de controle antes de avançar para especificações formais e métodos de verificação.Ele é projetado para iniciantes em engenharia ou ciência da computação, não requer nenhum conhecimento matemático avançado. Comece a ler hoje para dominar os fundamentos do projeto autônomo seguro.