Model and Control of R-Soft Inverted Pendulum

Soft robots enable safe and robust operations in unstructured environments. However, the nonlinearities of their continuum structure complicate the accomplishment of classic robotic tasks, such as pick and place. In this work, we propose the R-Soft Inverted Pendulum, a Soft Inverted Pendulum (SIP) actuated only by a revolute joint at the base...

Data-driven Abstractions for Verification of Linear Systems

We introduce a novel approach for the construction of symbolic abstractions - simpler, finite-state models - which mimic the behaviour of a system of interest, and are commonly utilized to verify complex logic specifications. Such abstractions require an exhaustive knowledge of the concrete model, which can be difficult to obtain in real...