Travelled to:1 × France
Collaborated with:A.Abate P.Schrammel D.Kröning I.Bessa L.C.Cordeiro C.David P.Kesseli D.Kroening E.Polgreen L.C.Chaves
Talks about:synthesi (2) control (2) physic (2) plant (2) digit (2) autom (2) abstract (1) unbound (1) analysi (1) acceler (1)
Person: Dario Cattaruzza
DBLP: Cattaruzza:Dario
Contributed to:
2015
2017
2017Wrote 3 papers:
- SAS-2015-CattaruzzaASK #analysis #bound
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (DC, AA, PS, DK), pp. 312–331.
- ASE-2017-AbateBCCCDKKP #automation #named #physics #synthesis
- DSSynth: an automated digital controller synthesis tool for physical plants (AA, IB, DC, LCC, LCC, CD, PK, DK, EP), pp. 919–924.
- CAV-2017-AbateBCCDKKP #automation #physics #synthesis
- Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants (AA, IB, DC, LCC, CD, PK, DK, EP), pp. 462–482.