Formal methods for the verification and synthesis of discrete event and hybrid systems

Starting date
February 5, 2018
Duration (months)
12
Departments
Computer Science
Managers or local contacts
Villa Tiziano

The goal of the project is the exploration of formal methods in the design of discrete and hybrid (cyberphysical) systems.
We address the study of algorithms for the formal verification of systems, and for the correct-by-construction synthesis of controllers for engineering systems.

Sponsors:

INdAM
Funds: assigned and managed by an external body

Project participants

Luca Geretti
Temporary Assistant Professor
Fabio Mogavero
Pietro Sala
Temporary Assistant Professor
Tiziano Villa
Full Professor

Collaboratori esterni

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"
Massimo Benerecetti
Università degli Studi di Napoli Federico II
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
Research areas involved in the project
Sistemi ciberfisici
Electronic design automation

Activities

Research facilities