CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project focuses on automating the design of cyber-physical systems (CPSs) to ensure their correctness and optimality. It aims to develop new theoretical frameworks and tools for generating timed automata from specifications.
Cyber-physical systems (CPSs) are everywhere, from autonomous vehicles to medical devices to smart buildings.
Designing such CPSs that achieve complex tasks is a tedious and error prone process.
During the design, high-level specifications describing desired functionalities, safety measures, physical properties and restrictions, and optimality criteria have to be considered.
Furthermore, as people’s life may depend on CPSs, their correctness is of critical importance.
This IF project aims at dev…
MIDDLE EAST TECHNICAL UNIVERSITY
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
