57 citations · 144 across the 48 of their papers we have counts for
5 papers · 1 filter
Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis
Alessandro Trindade, Lucas Cordeiro
There exist various methods and tools to size solar photovoltaic systems; however, these tools rely on simulations, which do not cover all aspects of the design space during the se…
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…
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…