Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

PaVeS

Financiado

Parametrized Verification and Synthesis

Parameterized systems consist of an arbitrary number of replicated agents with limited computational power, interacting to achieve common goals. They pervade computer science. Classical examples include families of digital circuit... ver más

31/08/2023

TUM

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

TECHNISCHE UNIVERSITAET MUENCHEN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Ver 2 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2023-08-31

ERC-2017-ADG: ERC Advanced Grant

I+D

Cerrada hace 7 años

0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

2 Participantes

TUM

2.35M€ | Lider

CARNICAS FLORISTAN

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

DiODe Distributed Algorithms for Optimal Decision Making 1M€ Cerrado

PTQ2018-009752 Computing for Distributed Robotics Embedded Adaptive Modular... 115K€ Cerrado

DPI2013-49527-EXP DESARROLLO PRACTICO Y EXPERIMENTAL DE UN MODELO DE CONTROL B... 54K€ Cerrado

DPI2010-20413 ANALISIS Y CONTROL DE GRANDES SISTEMAS DE EVENTOS DISCRETOS... 106K€ Cerrado

DPI2008-06737-C02-01 NUCLEO DE CONTROL EN SISTEMAS DISTRIBUIDOS 146K€ Cerrado

EUR2023-143466 Ingeniería eléctrica, electrónica y automática 100K€ Cerrado

Duración del proyecto: 62 meses Fecha Inicio: 2018-06-08
Fecha Fin: 2023-08-31

Líder del proyecto

TECHNISCHE UNIVERSITAET MUENCHEN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 2M€

Descripción del proyecto Parameterized systems consist of an arbitrary number of replicated agents with limited computational power, interacting to achieve common goals. They pervade computer science. Classical examples include families of digital circuits, distributed algorithms for leader election or byzantine agreement, routing algorithms, and multithreaded programs. Modern examples exhibit stochastic interaction between mobile agents, and include robot swarms, molecular computers, and cooperating ant colonies. A parameterized system is in fact an infinite collection of systems, one for each number of agents. Current verification technology of industrial strength can only check correctness of a few instances of this collection. For example, model checkers can automatically prove a distributed algorithm correct for a small number of processes, but not for any number. While substantial progress has been made on the theory and applications of parameterized verification, in order to achieve large impact the field has to face three ``grand challenges'': - Develop novel algorithms and tools for p-verification of classical p-systems that bypass the high complexity of current techniques. -Develop the first algorithms and tools for p-verification of modern stochastic p-systems. -Develop the first algorithms and tools for synthesis of correct-by-construction p-systems. Addressing these challenges requires fundamentally new lines of attack. The starting point of PaVeS are two recent breakthroughs in the theory of Petri nets and Vector Addition Systems, one of them achieved by the PI and his co-authors. PaVeS will develop these lines into theory, algorithms, and tools for p-verification and p-synthesis, leading to a new generation of verifiers and synthesizers.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores