Resumo: Essencialmente, não sabemos de que forma as inovações tecnológicas são gestadas. Não compreendemos a dinâmica segundo a qual o conhecimento tecnológico é elaborado e reelaborado, e não entendemos de que forma a face visível da tecnologia o artefato tecnológico pode dele emergir. A crença de que a tecnologia seria mera decorrência direta do conhecimento científico básico é muitíssimo presente tanto no imaginário popular quanto na literatura filosófica. Este ensaio aborda a epistemologia do conhecimento tecnológico e a dinâmica da sua geração, procurando identificar os elementos reguladores de racionalidade epistemológica constituintes dessa dinâmica.

Resumo:  O imenso desenvolvimento tecnológico dos últimos anos proporcionou o surgimento de sistemas cada vez mais complexos em todos os ramos da atividade humana. Hoje, sistemas de hardware e software altamente complexos estão amplamente presentes em aplicações onde falhas são inaceitáveis, como nas instalações industriais, nas aeronaves, nos automóveis, nos equipamentos médicos e nos sistemas mecatrônicos de defesa. Frequentemente, escutam-se notícias de recalls,  incidentes e acidentes relacionados a erros num sistema de hardware ou software em uso. Um grande esforço da pesquisa em Engenharia de Controle e Automação hoje em dia está concentrado na incorporação dos Métodos Formais de Engenharia ao projeto de sistemas complexos. O intuito é assegurar formalmente requisitos do tipo confiabilidade e segurança desde a fase de concepção do projeto, passando por todo o seu desenvolvimento, prototipação e testes, para então sua posterior fabricação, distribuição e manutenção. Novas classes de sistemas estão sendo então tratadas pelos pesquisadores em Controle e Automação, em que notadamente destacam-se os Sistemas a Eventos Discretos (SEDs). De forma simples, os SEDs são sistemas dinâmicos com espaço de estados discreto e que evoluem segundo a ocorrência de eventos instantâneos e assíncronos. Abordagens oriundas da Ciência de Computação, da Pesquisa Operacional e da Teoria de Controle são empregadas para tratar de problemas relacionados aos SEDs, tais como a Simulação, a Análise de Desempenho, a Verificação Formal e o Controle Supervisório. O objetivo desta palestra é proporcionar uma visão geral dos SEDs, apresentando os principais problemas relacionados, algumas das diferentes abordagens e algumas aplicações selecionadas.