19 citations · 31 across the 15 of their papers we have counts for
5 papers · 1 filter
Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version)
Rodrigo F. Araújo, Alexandre Ribeiro, Iury V. Bessa +2
We describe and evaluate a novel optimization-based off-line path planning algorithm for mobile robots based on the Counterexample-Guided Inductive Optimization (CEGIO) technique.…
Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters
Daniel P. M. de Mello, Mauro L. de Freitas, Lucas C. Cordeiro +4
In the digital signal processing (DSP) area, one of the most important tasks is digital filter design. Currently, this procedure is performed with the aid of computational tools, w…
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…
Counterexample Guided Inductive Optimization
Rodrigo F. Araujo, Higo F. Albuquerque, Iury V. de Bessa +2
This paper describes three variants of a counterexample guided inductive optimization (CEGIO) approach based on Satisfiability Modulo Theories (SMT) solvers. In particular, CEGIO r…
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…