173 citations · 655 across the 66 of their papers we have counts for
Showing 2017 · eess.SYShow all
2 papers · 2 filters
eess.SY2017
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza +5
We present a sound and automated approach to synthesize safe digital feedback controllers for physical plants represented as linear, time invariant models. Models are given as dyna…
eess.SY2017★ 1 cited
Verifying Digital Systems with MATLAB
Lennon Chaves, Iury Bessa, Lucas Cordeiro +2
A MATLAB toolbox is presented, with the goal of checking occurrences of design errors typically found in fixed-point digital systems, considering finite word-length effects. In par…