Researcher profile

Fulvio Forni

Fulvio Forni contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2026arXiv

Periodic robust robotic rock chop via virtual model control

Robotic cutting is a challenging contact-rich manipulation task where the robot must simultaneously negotiate unknown object mechanics, large contact forces, and precise motion requirements. We introduce a new active virtual-model control scheme that enables knife rocking motion for robot manipulators, without pre-planned trajectories or precise information of the environment. Motion is generated and controlled through switching virtual coupling with virtual mechanisms, given by virtual springs, dampers, and masses arranged in a suitable way. Through analysis and experiments, we demonstrate that the controlled robot behavior settles into a periodic motion. Experiments with a Franka manipulator demonstrate robust cuts with five different vegetables, and sub-millimeter slice accuracy from 1 mm to 6 mm at nearly one cut per second. The same controller survives changes in knife shape and cutting board height, and adaptation to a different humanoid manipulator, demonstrating robustness and platform independence.

preprint2022arXiv

Analog cross coupled controller for oscillations: modeling and design via dominant system theory

We propose a new analog feedback controller based on the classical cross coupled electronic oscillator. The goal is to drive a linear passive plant into oscillations. We model the circuit as Lur'e system and we derive a new graphical condition to certify oscillations (inverse circle criterion for dominance theory). These conditions are then specialized to minimal control architectures like RLC and RC networks, and are illustrated with an example based on a DC motor model.

preprint2022arXiv

On the incremental form of dissipativity

Following the seminal work of Zames, the input-output theory of the 70s acknowledged that incremental properties (e.g. incremental gain) are the relevant quantities to study in nonlinear feedback system analysis. Yet, non-incremental analysis has dominated the use of dissipativity theory in nonlinear control from the 80s. Results connecting dissipativity theory and incremental analysis are scattered and progress has been limited. This abstract investigates whether this theoretical gap is of fundamental nature and considers new avenues to circumvent it.

preprint2022arXiv

Polyhedral Estimation of L-1 and L-infinity Incremental Gains of Nonlinear Systems

We provide novel dissipativity conditions for bounding the incremental L-1 gain of systems. Moreover, we adapt existing results on the L-infinity gain to the incremental setting and relate the incremental L-1 and L-infinity gain bounds through system adjoints. Building on work on optimization based approaches to constructing polyhedral Lyapunov functions, we make use of these conditions to obtain a Linear Programming based algorithm that can provide increasingly sharp bounds on the gains as a function of a given candidate polyhedral storage function or polyhedral set. The algorithm is also extended to allow for the design of linear feedback controllers for performance, as measured by the bounds on the incremental gains. We apply the algorithm to a couple of numerical examples to illustrate the power, as well as some limitations, of this approach.

preprint2021arXiv

Polyhedral Lyapunov Functions with Fixed Complexity

Polyhedral Lyapunov functions can approximate any norm arbitrarily well. Because of this, they are used to study the stability of linear time varying and linear parameter varying systems without being conservative. However, the computational cost associated with using them grows unbounded as the size of their representation increases. Finding them is also a hard computational problem. Here we present an algorithm that attempts to find polyhedral functions while keeping the size of the representation fixed, to limit computational costs. We do this by measuring the gap from contraction for a given polyhedral set. The solution is then used to find perturbations on the polyhedral set that reduce the contraction gap. The process is repeated until a valid polyhedral Lyapunov function is obtained. The approach is rooted in linear programming. This leads to a flexible method capable of handling additional linear constraints and objectives, and enables the use of the algorithm for control synthesis.

preprint2020arXiv

An Optimization Approach to Verifying and Synthesizing K-Cooperative Systems

Differential positivity and K-cooperativity, a special case of differential positivity, extend differential approaches to control to nonlinear systems with multiple equilibria, such as switches or multi-agent consensus. To apply this theory, we reframe conditions for strict K-cooperativity as an optimization problem. Geometrically, the conditions correspond to finding a cone that a set of linear operators leave invariant. Even though solving the optimization problem is hard, we combine the optimization perspective with the geometric intuition to construct a heuristic cone-finding algorithm centered around Linear Programming (LP). The algorithm we obtain is unique in that it modifies existing rays of a candidate cone instead of adding new ones. This enables us to also take a first step in tackling the synthesis problem for K-cooperative systems. We demonstrate our approach on some examples, including one in which we repurpose our algorithm to obtain a novel alternative tool for computing polyhedral Lyapunov functions of bounded complexity.

preprint2020arXiv

Model reduction by balanced truncation of dominant Lure systems

The paper presents a model reduction framework geared towards the analysis and design of systems that switch and oscillate. While such phenomena are ubiquitous in nature and engineering, model reduction methods are not well developed for non-equilibrium behaviors. The proposed framework addresses this need by exploiting recent advances on dominance theory. Classical balanced truncation for linear time-invariant systems is used to develop a dominance-preserving model reduction method for Lure systems, i.e. systems that can be decomposed as the feedback interconnection of a linear system and a static nonlinearity. The method is illustrated by approximating the oscillatory behavior of a discretized heat flow control system.

preprint2020arXiv

Scalable Control Design for K-positive Linear Systems

Systems whose variable are constrained to be positive allow computationally efficient control design. We generalize these results to linear systems which leave a cone invariant. This is a wider class of systems than positive systems. We revisit classical results on stability and dissipativity of positive linear systems and show how scalable conditions on linear programming can be extended to cone invariant linear systems. Our results are illustrated by scalable stabilizing controller design for mass-spring systems.

preprint2015arXiv

Global results on reset-induced periodic trajectories of planar systems

We study the existence of asymptotically stable periodic trajectories induced by reset feedback. The analysis is developed for a planar system. Casting the problem into the hybrid setting, we show that a periodic orbit arises from the balance between the energy dissipated during flows and the energy restored by resets, at jumps. The stability of the periodic orbit is studied with hybrid Lyapunov tools. The satisfaction of the so-called hybrid basic conditions ensures the robustness of the asymptotic stability. Extensions of the approach to more general mechanical systems are discussed.