19 citations · 31 across the 15 of their papers we have counts for
8 papers · 1 filter
Dynamic Event-Triggered Control of Discrete-Time Nonlinear Systems based on Difference-Algebraic Representations
Vitoriano Casas, Gabriela Reis, Pedro Henrique Coutinho +2
This paper addresses the dynamic event-triggered control for a class of discrete-time nonlinear systems described by a difference-algebraic representation (DAR), using a gain-sched…
Evolving Fuzzy System Applied to Battery Charge Capacity Prediction for Fault Prognostics
Murilo Osorio Camargos, Iury Bessa, Luiz A. Q. Cordovil Junior +3
This paper addresses the use of data-driven evolving techniques applied to fault prognostics. In such problems, accurate predictions of multiple steps ahead are essential for the R…
Incremental Learning and State-Space Evolving Fuzzy Control of Nonlinear Time-Varying Systems with Unknown Model
Daniel Leite, Pedro Coutinho, Iury Bessa +3
We present a method for incremental modeling and time-varying control of unknown nonlinear systems. The method combines elements of evolving intelligence, granular machine learning…
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…
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…
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…
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…
SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers
Iury Bessa, Renato Abreu, João Edgar Filho +1
Digital controllers have several advantages with respect to their flexibility and design's simplicity. However, they are subject to problems that are not faced by analog controller…