M
Mauricio Ayala-Rincón
Researcher at University of Brasília
Publications - 150
Citations - 1113
Mauricio Ayala-Rincón is an academic researcher from University of Brasília. The author has contributed to research in topics: Rewriting & Mathematical proof. The author has an hindex of 16, co-authored 140 publications receiving 1054 citations. Previous affiliations of Mauricio Ayala-Rincón include Universidade do Estado de Santa Catarina.
Papers
More filters
Book ChapterDOI
Formal verification of an optimal air traffic conflict resolution and recovery algorithm
TL;DR: A two dimensional version of KB3D, which is mechanically verified in the Prototype Verification System (PVS), that computes resolution maneuvers that are optimal with respect to ground speed and heading changes.
Proceedings ArticleDOI
A suitable FPGA implementation of floating-point matrix inversion based on Gauss-Jordan elimination
TL;DR: This work presents an architecture to compute matrix inversions in a hardware reconfigurable FPGA with single-precision floating-point representation, whose main unit is the processing component for Gauss-Jordan elimination.
Journal ArticleDOI
Distributed approach to group control of elevator systems using fuzzy logic and FPGA implementation of dispatching algorithms
TL;DR: The validation of five dispatching algorithms for elevator systems that were implemented on Spartan 3 FPGA-based boards in an integrated approach reducing the area and improving performance are described.
Journal ArticleDOI
Tradeoff of FPGA Design of a Floating-point Library for Arithmetic Operators
TL;DR: A parameterizable floating-point library for arithmetic operators based on FPGAs was implemented and a tradeoff analysis of the hardware implementation was performed, which enables the designer to choose the suitable bit-width representation and error associated, as well as the area cost, elapsed time and power consumption for each arithmetic operator.
Proceedings ArticleDOI
FPGA based floating-point library for CORDIC algorithms
TL;DR: A flexible FPGA implementation of a parameterizable floating-point library for computing sine, cosine, arctangent and exponential functions using the CORDIC algorithm, which by sharing the same resources can be used in two operation modes.