19 citations · 31 across the 15 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
eess.SY2016★ 1 cited
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration)
Lennon Chaves, Iury Bessa, Lucas Cordeiro +1
An automated counterexample reproducibility tool based on MATLAB is presented, called DSValidator, with the goal of reproducing counterexamples that refute specific properties rela…
eess.SY2016★ 19 cited
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza +4
Modern control is implemented with digital microcontrollers, embedded within a dynamical plant that represents physical components. We present a new algorithm based on counter-exam…