Collaborated with:A.Abate D.Cattaruzza 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) formal (1) synth (1) state (1) space (1)
Person: Iury Bessa
DBLP: Bessa:Iury
Contributed to:
2017
2017Wrote 2 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.
- 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.