Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Alexandre Castro Madeira
Investigador
Projetos
DaVinci
O projeto DaVinci pretende focar-se nas noções de tempo contínuo e na reconfiguração de componentes e de protocolos de interação, com vista a facilitar o desenvolvimento de redes de componentes ciber-físicas confiáveis e previsíveis. Um exemplo prático desta atividade será o estudo de componentes contínuos envolvidos no processo de condução remota de carros elétricos.
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
idDL2DL – Interval Syntax to $$d\mathcal {L}$$
Santos, J;Figueiredo, D;Madeira, A;
2023
Theoretical Aspects of Software Engineering - Lecture Notes in Computer Science
idDL2DL - Interval Syntax to dL
Santos, J;Figueiredo, D;Madeira, A;
2023
Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
Madeira, A;Martins, MA;
2023
WADT
Structured Specification of Paraconsistent Transition Systems
Cunha, J;Madeira, A;Barbosa, LS;
2023
Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Teses Supervisionadas
Segmentation of vascular networks in 3D medical data: a domain adaptation and topology-aware approach
RICARDO MIGUEL SILVA FERREIRA
D - 2023
UP-FEUP
