17 citations · 22 across the 5 of their papers we have counts for
5 papers
Fast robust peg-in-hole insertion with continuous visual servoing
Rasmus Laurvig Haugaard, Jeppe Langaa, Christoffer Sloth +1
This paper demonstrates a visual servoing method which is robust towards uncertainties related to system calibration and grasping, while significantly reducing the peg-in-hole time…
Nonnegative Polynomial with no Certificate of Nonnegativity in the Simplicial Bernstein Basis
Christoffer Sloth
This paper presents a nonnegative polynomial that cannot be represented with nonnegative coefficients in the simplicial Bernstein basis by subdividing the standard simplex. The exa…
Completeness of Lyapunov Abstraction
Rafael Wisniewski, Christoffer Sloth
In this work, we continue our study on discrete abstractions of dynamical systems. To this end, we use a family of partitioning functions to generate an abstraction. The intersecti…
Timed Game Abstraction of Control Systems
Christoffer Sloth, Rafael Wisniewski
This paper proposes a method for abstracting control systems by timed game automata, and is aimed at obtaining automatic controller synthesis. The proposed abstraction is based on…
Proofs for an Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions
Christoffer Sloth, Rafael Wisniewski
In this report proofs are presented for a method for abstracting continuous dynamical systems by timed automata. The method is based on partitioning the state space of dynamical sy…