Metodi formali per la verifica e la sintesi di sistemi discreti e ibridi

Data inizio
5 febbraio 2018
Durata (mesi) 
12
Dipartimenti
Informatica
Responsabili (o referenti locali)
Villa Tiziano

Il progetto si occupa d'investigare metodi formali nella progettazione di sistemi discreti e ibridi (ciberfisici).
In particolare s'investigano algoritmi per la verifica formale di sistemi e la sintesi corretta per costruzione di controllori di sistemi ingegneristici.

Enti finanziatori:

INdAM
Finanziamento: assegnato e gestito da un ente esterno all'ateneo

Partecipanti al progetto

Luca Geretti
Ricercatore a tempo determinato
Fabio Mogavero
Pietro Sala
Ricercatore a tempo determinato
Tiziano Villa
Professore ordinario

Collaboratori esterni

Massimo Benerecetti
Università degli Studi di Napoli Federico II
Guido Sciavicco
Università di Ferrara
Angelo Montanari
Università di Udine
Davide Bresolin
Università di Padova
Ivan Lanese
Università di Bologna
Luca Benvenuti
Università di Roma "La Sapienza"
Salvatore La Torre
Università di Salerno
Marta Cialdea Mayer
Università di Roma Tre
Andrea Orlandini
CNR
Riccardo De Benedictis
CNR
Carla Piazza
Università di Udine
Alberto Casagrande
Università di Trieste
Adriano Peron
Università di Napoli
Aniello Murano
Università di Napoli
Enrico Tronci
Università di Roma "La Sapienza"
Federico Mari
Università di Roma "La Sapienza"
Alessandro Umbrico
CNR
Antonio Di Stasio
Università di Napoli
Loredana Sorrentino
Università di Napoli
Sasha Rubin
Università di Napoli
Nicola Gigante
Università di Udine
Alberto Molinari
Università di Trento
Daniele Dell'Erba
Università di Napoli
Aree di ricerca coinvolte dal progetto
Sistemi ciberfisici
Electronic design automation

Attività

Strutture