Obiettivo
The main activity of the project will consist of analysing academic and industrial case studies taken, from the process control industry, in order to define formal models of plants. These models will be used to verify properties concerning their behaviour. The project will use, among others, the models of timed and hybrid automata, invented by computer scientists in order to express hybrid phenomena. Several tools for analysing systems expressed in this formalism have been built, and we intend to use them for automatic verification. Due to the hardness of the problem, some less ambitious validation methods such as simulation will be investigated as well.
The results of the project will be disseminated through publications in conferences and journals. A special effort will be made to make the results known outside the usual academic circles by distributing them among potential industrial clients. In addition to these activities, a final workshop summarising the results will be organised toward the end of the project, hopefully in association with some more general conference on hybrid systems.
The industrial partners will develop a concrete exploitation plan by the end of the project based on their knowledge of their needs and the feedback obtained from the project.
The next stage of the computer revolution consists in the proliferation of sophisticated and cheap digital controllers into almost every aspect of man-made systems. Informatics is expected to shift its focus of attention from computers performing internal computations, or communicating with human users and with other computers, toward computers interacting in real-time with physical processes. In such settings, the proper functioning of the whole system depends critically on the interaction between the discrete dynamics of the digital controller and the continuous dynamics of the environment in which it is embedded. Models of hybrid systems suggest a framework for modelling, simulation, verification, synthesis and implementation of such systems.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Coordinatore
38041 Grenoble
Francia
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.