Christoffer Sloth

Proceedings of the IEEE/SICE International Symposium on System Integration, 2024

Generalized Framework for Wheel Loader Automatic Shoveling Task with Expert Initialized Reinforcement Learning.

[BibT_eX]

[DOI]

Chengyandan Shen

Proceedings of the IEEE/SICE International Symposium on System Integration, 2024

2023

Contact-Based Pose Estimation of Workpieces for Robotic Setups.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Discretization-Robust Safety Barrier of Partial Differential Equation.

[BibT_eX]

[DOI]

Younghwa Park

Proceedings of the 11th International Conference on Control, Mechatronics and Automation, 2023

Expert Initialized Hybrid Model-Based and Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Jeppe Langaa

Proceedings of the European Control Conference, 2023

Force Estimation using a High-Fidelity Strain Wave Gear Model.

[BibT_eX]

[DOI]

Søren G. Graabæk

Proceedings of the European Control Conference, 2023

Adaptive Estimation of Time-Varying Parameters Using DREM.

[BibT_eX]

[DOI]

Emil Lykke Diget

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

A Framework for Transferring Surface Finishing Skills to New Surface Geometries.

[BibT_eX]

[DOI]

Yitaek Kim

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Expert Initialized Reinforcement Learning with Application to Robotic Assembly.

[BibT_eX]

[DOI]

Jeppe Langaa

Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

Skill Transfer for Surface Finishing Tasks Based on Estimation of Key Parameters.

[BibT_eX]

[DOI]

Yitaek Kim

Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

Towards Contact Point and Surface Normal Estimation for Control of Flexible Tool.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

2021

Robotic Assembly of Timber Structures in a Human-Robot Collaboration Setup.

[BibT_eX]

[DOI]

Frontiers Robotics AI, 2021

Quick Setup of Force-Controlled Industrial Gluing Tasks Using Learning From Demonstration.

[BibT_eX]

[DOI]

Frontiers Robotics AI, 2021

Simultaneous Contact Point and Surface Normal Estimation during Soft Finger Contact.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Advanced Robotics, 2021

2020

$p$-Safe Analysis of Stochastic Hybrid Processes.

[BibT_eX]

[DOI]

Manuela-Luminita Bujorianu

IEEE Trans. Autom. Control., 2020

Towards easy setup of robotic assembly tasks.

[BibT_eX]

[DOI]

Adv. Robotics, 2020

Towards robot cell matrices for agile production - SDU Robotics' assembly cell at the WRC 2018.

[BibT_eX]

[DOI]

Henrik Gordon Petersen

Mads Høj Rasmussen

Thiusius R. Savarimuthu

Lars Carøe Sørensen

Thomas Nicky Thulesen

Adv. Robotics, 2020

Adapting Learning by Demonstration for Robot Based Part Feeding Applications.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE/SICE International Symposium on System Integration, 2020

Fast robust peg-in-hole insertion with continuous visual servoing.

[BibT_eX]

[DOI]

Rasmus Laurvig Haugaard

Jeppe Langaa

Anders Glent Buch

Proceedings of the 4th Conference on Robot Learning, 2020

2019

Towards Reversible Dynamic Movement Primitives.

[BibT_eX]

[DOI]

Esben Hallundbæk Østergaard

Henrik Gordon Petersen

Thiusius Rajeeth Savarimuthu

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

2018

Computation of Safe Path Velocity for Collaborative Robots.

[BibT_eX]

[DOI]

Henrik Gordon Petersen

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

2017

Evaluation of communication network state estimators for adaptive power-balancing.

[BibT_eX]

[DOI]

Comput. Sci. Res. Dev., 2017

Nonnegative Polynomial with no Certificate of Nonnegativity in the Simplicial Bernstein Basis.

[BibT_eX]

[DOI]

CoRR, 2017

On the existence of polynomial Lyapunov functions for rationally stable vector fields.

[BibT_eX]

[DOI]

Tobias Leth

Rafal Wisniewski

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Converse Barrier Certificate Theorems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

Safety Verification of Piecewise-Deterministic Markov Processes.

[BibT_eX]

[DOI]

Manuela-Luminita Bujorianu

Nir Piterman

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Active power management in power distribution grids: Disturbance modeling and rejection.

[BibT_eX]

[DOI]

Rasmus Pedersen

Proceedings of the 15th European Control Conference, 2016

Verification of power grid voltage constraint satisfaction - A barrier certificate approach.

[BibT_eX]

[DOI]

Rasmus Pedersen

Carsten Skovmose Kallesoe

Proceedings of the 15th European Control Conference, 2016

Stability of drinking water distribution network.

[BibT_eX]

[DOI]

Tobias Leth

Rafal Wisniewski

Proceedings of the 15th European Control Conference, 2016

Coordination of electrical distribution grid voltage control - a fairness approach.

[BibT_eX]

[DOI]

Rasmus Pedersen

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

Stability verification for energy-aware hydraulic pressure control via simplicial subdivision.

[BibT_eX]

[DOI]

Proceedings of the 14th European Control Conference, 2015

DiSC: A simulation framework for distribution system voltage control.

[BibT_eX]

[DOI]

Proceedings of the 14th European Control Conference, 2015

Safety Analysis of Stochastic Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

Supermarket defrost cycles as flexible reserve.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Conference on Control Applications, 2015

2014

Control to facet for polynomial systems.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Robust stability of switched systems.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Completeness of Lyapunov Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013

Converse barrier certificate theorem.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Compositional safety analysis using barrier certificates.

[BibT_eX]

[DOI]

George J. Pappas

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

On the existence of compositional barrier certificates.

[BibT_eX]

[DOI]

George J. Pappas

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

Verification of continuous dynamical systems by timed automata.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2011

2010

Timed Game Abstraction of Control Systems

[BibT_eX]

[DOI]

CoRR, 2010

Proofs for an Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions

[BibT_eX]

[DOI]

CoRR, 2010

Abstraction of continuous dynamical systems utilizing Lyapunov functions.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Active and passive fault-tolerant LPV control of wind turbines.

[BibT_eX]

[DOI]

Thomas Esbensen

Jakob Stoustrup

Proceedings of the American Control Conference, 2010

2009

Robust LMI-based control of wind turbines with parametric uncertainties.

[BibT_eX]

[DOI]