Objetivo
Cyber-Physical Systems (CPS) form the backbone of safety-critical domains such as autonomous vehicles, aerospace, and industrial automation. Ensuring their safety and reliability is a pressing challenge, especially under runtime faults, nonlinearities, and evolving uncertainties. Beyond maintaining control, CPS must remain formally safe under continuously changing system dynamics. REACT-CPS aims to address this challenge by embedding formal runtime monitoring into adaptive control to create a resilient framework for CPS. First, I will design a fault-tolerant adaptive control strategy capable of maintaining stability and performance under diverse faults, nonlinearities, and uncertainties, supported by control-theoretic stability guarantees. Second, I will develop an adaptation logic interface that leverages Signal Temporal Logic monitors to detect property violations in real time and trigger structured adaptation signals. This integration will enable the controller to react both to physical signals and to formally monitored safety trends, establishing a unified framework with formal guarantees on robustness. I will use diverse CPS benchmarks and combine analytical proofs with systematic testing using state-of-the-art test generation strategies to empirically validate the performance of the designed controller.
REACT-CPS will deliver a novel control-verification framework that advances the state-of-the-art by tightly coupling adaptive control with runtime formal assurance. REACT-CPS will release open-source tools, benchmarks, and reproducible workflows to foster transparency, community uptake and reuse. It will strengthen the scientific foundations of safety assurance in CPS while equipping me with cross-disciplinary expertise in control theory, formal verification, and software engineering. Ultimately, the results will support safer and more trustworthy CPS in domains with high societal relevance, including mobility, automation, and healthcare.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
- ingeniería y tecnología ingeniería mecánica ingeniería de vehículos ingeniería automotriz vehículo autónomo
- ciencias naturales informática y ciencias de la información software
- ciencias sociales sociología relaciones laborales automatización
Para utilizar esta función, debe iniciar sesión o registrarse
Palabras clave
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
-
HORIZON.1.2 - Marie Skłodowska-Curie Actions (MSCA)
PROGRAMA PRINCIPAL
Ver todos los proyectos financiados en el marco de este programa
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
HORIZON-TMA-MSCA-PF-EF - HORIZON TMA MSCA Postdoctoral Fellowships - European Fellowships
Ver todos los proyectos financiados en el marco de este régimen de financiación
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
(se abrirá en una nueva ventana) HORIZON-MSCA-2025-PF
Ver todos los proyectos financiados en el marco de esta convocatoriaCoordinador
Aportación financiera neta de la UE. Es la suma de dinero que recibe el participante, deducida la aportación de la UE a su tercero vinculado. Considera la distribución de la aportación financiera de la UE entre los beneficiarios directos del proyecto y otros tipos de participantes, como los terceros participantes.
4365 ESCH-SUR-ALZETTE
Luxemburgo
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.