Collaborated with:A.Abate I.Bessa D.Cattaruzza L.C.Cordeiro C.David P.Kesseli D.Kroening E.Polgreen
Talks about:synthesi (1) control (1) physic (1) synth (1) plant (1) digit (1) autom (1) tool (1)
Person: Lennon C. Chaves
DBLP: Chaves:Lennon_C=
Contributed to:
2017Wrote 1 papers:
- 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.