Davide Pezzuti

According to our database, Davide Pezzuti authored at least 3 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Design of decentralized critical observers for networks of finite state machines: A formal method approach.

Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto, Davide Pezzuti

Autom., 2017

2015

Critical observability of networks of Finite State Machines.

Davide Pezzuti, Sina Lessanibahri, Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto

Proceedings of the 14th European Control Conference, 2015

2013

A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems.

Davide Pezzuti, Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013