Travelled to:
2 × USA
Collaborated with:
A.D'Innocenzo E.Serra E.Witrant P.Lucibello A.L.Sangiovanni-Vincentelli K.Yamaguchi Gabriella Fiore Alessio Iovine Elena De Santis
Talks about:
control (2) molecular (1) microgrid (1) wireless (1) problem (1) automat (1) ventil (1) system (1) closur (1) verif (1)
Person: Maria Domenica Di Benedetto
DBLP: Benedetto:Maria_Domenica_Di
Contributed to:
Wrote 3 papers:
- CASE-2008-BenedettoDSW #automation #mining #verification
- Automatic verification of wireless control in a mining ventilation system (MDDB, AD, ES, EW), pp. 858–863.
- DAC-1994-BenedettoLSY #problem
- Chain Closure: A Problem in Molecular CAD (MDDB, PL, ALSV, KY), pp. 497–502.
- CASE-2017-FioreISB #estimation
- Secure state estimation for DC microgrids control (GF, AI, EDS, MDDB), pp. 1610–1615.