Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Renato Jorge Neves
Investigador Sénior
Projetos
KLEE
Modelação coalgébrica e análise para biologia sintética computacional Ficha Projeto
IBEX
Graças aos avanços em potência computacional e miniaturização, o software está cada vez mais incorporado em infraestruturas e processos industriais para aumentar a eficiência, segurança, e produção. Neste contexto, o software é agora qualificado como ciberfísico, para enfatizar a sua interação com processos físicos (tais como velocidade, movimento e temperatura) e para assinalar uma mudança das práticas habituais de engenharia de software para uma visão mais multifacetada que combina ciências da computação, teoria de controlo e análise. Tem havido progressos importantes no desenvolvimento de bases matemáticas para sistemas ciberfísicos. Os resultados existentes assumem tipicamente a forma de uma álgebra de processo híbrida, que acrescenta a noção de uma equação diferencial a uma álgebra de processo existente e bem estabelecida. Contudo, o facto de os processos computacionais serem misturados com processos físicos levanta aspectos desafiantes que complicam o uso destes resultados como fundamentos para uma disciplina de engenharia de software ciberfísico. Especificamente, estes últimos trazem uma camada inerente de incerteza, devido ao ruído nos sensores e atuadores. Além disso, exigem noções de distância comportamental para comparar realisticamente dois sistemas de forma algébrica e rigorosa. O objectivo deste projecto é, assim, desenvolver as bases matemáticas da programação ciberfísica, tendo em conta os aspetos quantitativos discutidos acima: incerteza e distância comportamental.
Publicações
THE SYNTACTIC SIDE OF AUTONOMOUS CATEGORIES ENRICHED OVER GENERALISED METRIC SPACES
Dahlqvist, F;Neves, R;
2023
LOGICAL METHODS IN COMPUTER SCIENCE
A Complete V-Equational System for Graded lambda-Calculus
Dahlqvist, F;Neves, R;
2023
CoRR
The syntactic side of autonomous categories enriched over generalised metric spaces
Dahlqvist, F;Neves, R;
2023
Log. Methods Comput. Sci.
An Internal Language for Categories Enriched over Generalised Metric Spaces
Dahlqvist, F;Neves, R;
2022
30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference).
