78 citations · 159 across the 15 of their papers we have counts for
5 papers · 1 filter
Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
Brenner S. Rego, Guilherme V. Raffo, Marco H. Terra +1
This paper presents a novel algorithm for reachability analysis of nonlinear discrete-time systems. The proposed method combines constrained zonotopes (CZs) with polyhedral relaxat…
ZETA: a library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems
Brenner S. Rego, Joseph K. Scott, Davide M. Raimondo +2
This paper introduces ZETA, a new MATLAB library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems. It features user-friendly implementations of set repres…
When Do Large Language Models Exhibit Unsolicited Deception?
Samuel M. Taylor, Benjamin K. Bergen
Large Language Models (LLMs) are effective at deceiving when prompted to do so. Models that demonstrate better performance on reasoning tasks are also better at prompted deception.…
Joint State-Parameter Observer-Based Robust Control of a UAV for Heavy Load Transportation
Brenner S. Rego, Daniel N. Cardoso, Marco. H. Terra +1
This paper proposes a joint state-parameter observer-based controller for trajectory tracking of an octocopter unmanned aerial vehicle (OUAV), for transportation of a heavy load wi…
Stabilizing NMPC Approaches for Underactuated Mechanical Systems on the SE(3) Manifold
Jean C. Pereira, Valter J. S. Leite, Guilherme V. Raffo
This paper addresses the motion control problem for underactuated mechanical systems with full attitude control and one translational force input to manage the six degrees of freed…