Christoffer Sloth
Associate Professor
Department of Electronic Systems
Automation & Control
Fredrik Bajers Vej 7, C3-217
9220 Aalborg East
ces@es.aau.dk

Resume:
I am Associate Professor at Aalborg University, Department of Electronic Systems. Currently I am working on control theory within robotics related to the projects WallMoBot and Exo-Aider. Furthermore, I do research on polynomial methods for control in the CodeMe project. Previously, I have been employed in the projects EDGE (Efficient Distribution of Green Energy) and SmartC2Net, where I have developed methods for the control of smart grids.

I took my PhD at Department of Computer Science at Aalborg University. The dissertation is entitled “Formal Verification of Continuous Systems”, and is about the generation of abstractions for continuous systems that allow formal verification of the systems.

I have a master’s degree in electronic and electrical engineering with specialization in control engineering. During this education I have worked in different areas of control engineering involving, e.g., robust, fault-tolerant and Linear Parameter Varying (LPV) control.

Projects:
CodeMe
The objective of the CodeMe project is to establish theoretical foundations for analysis and control of nonlinear systems, and in particular to develop a scalable numerical method for the generation of certificates of positivity. The findings of this project will be verified in the engineering practice by developing a controller design tool, and applying it to industrial case studies. CodeMe is a research project granted by the Danish Council for Independent Research | Technology and Production Sciences.

Exo-Aider
The objective of the project is to develop a lightweight exoskeleton for motion assistance for the elderlies and the individuals with physical disabilities. Exo-Aider is a research project granted by Innovation Found Denmark.

Open Surgical Robotics Laboratory
This project aims to develop a laboratory for research in robotic surgery. The laboratory is centered around a da Vinci Surgical System, which has been equiped with open hardware and software that allows full controllability of the robot.

WallMoBot
The objective of the WallMoBot project is to develop a robot for mounting glass walls. The robot will improve the work environment for construction workers. WallMoBot is a research project granted by Innovation Found Denmark.

Publications:
Rasmus Pedersen, Mislav Findrik, Christoffer Sloth, and Hans-Peter Schwefel. Network Condition Based Adaptive Control and its Application to Power Balancing in Electrical Grids. Sustainable Energy, Grids and Networks, 2017.

Christoffer Sloth and Rasmus Pedersen. Control of Wall Mounting Robot. In Proceedings of the 20th World Congress of the International Federation of Automatic Control, Toulouse, France, July 2017.

Christoffer Sloth and Rafael Wisniewski. Stochastic Stability Analysis of Control Systems with Uncertain Communication. In Proceedings of the 20th World Congress of the International Federation of Automatic Control, Toulouse, France, July 2017.

Rafael Wisniewski, Christoffer Sloth, Manuela Bujorianu, and Nir Piterman. Safety Verification of Piecewise-Deterministic Markov Processes. In Proceedings of the 19th ACM international conference on Hybrid Systems: Computation and Control, Vienna, Austria, April 2016.
DOI: 10.1145/2883817.2883836.

Rafael Wisniewski and Christoffer Sloth. Converse Barrier Certificate Theorems. IEEE Transactions on Automatic Control, 61(5): 1356-1361, 2015.
DOI: 10.1109/TAC.2015.2476155.

Christoffer Sloth and Rafael Wisniewski. Safety Analysis of Stochastic Dynamical Systems. In Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, Atlanta, GA, USA, October 2015.
DOI: 10.1016/j.ifacol.2015.11.153.

Christoffer Sloth and Rafael Wisniewski. Stability Verification for Energy-Aware Hydraulic Pressure Control via Simplicial Subdivision. In Proceedings of the 14th European Control Conference, pp. 2694-2699, Linz, Austria, July 2015.
DOI: 10.1109/ECC.2015.7330945 .

Rasmus Pedersen, Christoffer Sloth, Gorm Bruun Andresen, and Rafael Wisniewski. DiSC: A Simulation Framework for Distribution System Voltage Control. In Proceedings of the 14th European Control Conference, pp. 1056-1063, Linz, Austria, July 2015.
DOI: 10.1109/ECC.2015.7330680.

Christoffer Sloth and Rafael Wisniewski. Towards Safe Robotic Surgical Systems. In Proceedings of the 3rd IFToMM Symposium on Mechanism Design for Robotics, Aalborg, Denmark, June 2015.
DOI: 10.1007/978-3-319-18126-4_16.

Christoffer Sloth and Rafael Wisniewski. Robust Stability of Switched Systems. In Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, USA, December 2014.
DOI: 10.1109/CDC.2014.7040119.

Karl Damkjær Hansen, Simon Jensen, Christoffer Sloth, and Rafael Wisniewski. Instrumentation of the da Vinci Robotic Surgical System. In Proceedings of the 3rd AAU Workshop on Robotics, Aalborg, Denmark, October 2014.

Juelsgaard, Morten; Sloth, Christoffer; Wisniewski, Rafal; Pillai, Jayakrishnan Radhakrishna. Loss Minimization and Voltage Control in Smart Distribution Grid. In Proceedings of the 19th World Congress of the International Federation of Automatic Control, Cape Town, South Africa, August 2014.
DOI: 10.3182/20140824-6-ZA-1003.00090.

Christoffer Sloth and Rafael Wisniewski. Control to Facet for Polynomial Systems. In Proceedings of the 17th ACM international conference on Hybrid Systems: Computation and Control, Berlin, Germany, April 2014.
DOI: 10.1145/2562059.2562132.

Rafael Wisniewski and Christoffer Sloth. Converse Barrier Certificate Theorem. In Proceedings of the 52nd IEEE Conference on Decision and Control, Florence, Italy, December 2013.
DOI: 10.1109/CDC.2013.6760627.

Morten Juelsgaard, Christoffer Sloth, and Rafael Wisniewski. Low-Voltage Consumption Coordination for Loss Minimization and Voltage Control. In Proceedings of the 2nd Virtual Control Conference, 2013.

Rafael Wisniewski and Christoffer Sloth. Completeness of Lyapunov Abstraction. In Proceedings of the European Joint Conferences on Theory and Practice of Software, 2013.

Christoffer Sloth and Rafael Wisniewski. Complete Abstractions of Dynamical Systems by Timed Automata. Nonlinear Analysis: Hybrid Systems, 7(1): 80-100, 2013.
DOI: 10.1016/j.nahs.2012.05.003.

Christoffer Sloth, Rafael Wisniewski, and George J. Pappas. On the Existence of Compositional Barrier Certificates. In Proceedings of the 51st IEEE Conference on Decision and Control, Maui, Hawaii, December 2012.
DOI: 10.1109/CDC.2012.6426178.

Christoffer Sloth and Rafael Wisniewski. Abstractions for Mechanical Systems. In Proceedings of the 4th IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, pp. 96-101, Bertinoro, Italy, August 2012.
DOI: 10.3182/20120829-3-IT-4022.00049.

Christoffer Sloth, Rafael Wisniewski, Jesper Larsen, John Leth, and Johan Poulsen. Model of Beating-Heart and Surgical Robot. In Technical report, Aalborg University, 2012.
You can find the report here.

Christoffer Sloth, George J. Pappas, and Rafael Wisniewski. Compositional Safety Analysis using Barrier Certificates. In Proceedings of the 15th International Conference on Hybrid Systems: Computation and Control, pp. 15-23, Beijing, China, April 2012.
DOI: 10.1145/2185632.2185639.

Fabiano Daher Adegas, Christoffer Sloth, and Jakob Stoustrup. Structured Linear Parameter Varying Control of Wind Turbines. In Control of Linear Parameter Varying Systems with Applications, pp. 303-337, 2012.
DOI: 10.1007/978-1-4614-1833-7_12.

Rafael Wisniewski and Christoffer Sloth. Abstraction of Dynamical Systems by Timed Automata. Modeling, Identification and Control, 32(2): 79-90, 2011.
DOI: 10.4173/mic.2011.2.3.

Christoffer Sloth and Rafael Wisniewski. Verification of Continuous Dynamical Systems by Timed Automata. Formal Methods in System Design, 39(1): 47–82, August 2011.
DOI: 10.1007/s10703-011-0118-0.

Christoffer Sloth and Rafael Wisniewski. Algorithmic Approach to Abstracting Linear Systems by Timed Automata. In Proceedings of the 18th IFAC World Congress, pp. 4546-4551, Milano, Italy, August 2011.
DOI: 10.3182/20110828-6-IT-1002.02568.

Christoffer Sloth, Thomas Esbensen, and Jakob Stoustrup. Robust and Fault-Tolerant Linear Parameter-Varying Control of Wind Turbines. Mechatronics, 21(4): 645–659, June 2011.
DOI: 10.1016/j.mechatronics.2011.02.001.

Christoffer Sloth and Rafael Wisniewski. Timed Game Abstraction of Control Systems. arXiv:1012.5113, 2010.
Link: Paper on arXiv.

Christoffer Sloth and Rafael Wisniewski. Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions. In Proceedings of the 49th IEEE Conference on Decision and Control, pp. 3760-3765, Atlanta, Georgia, USA, December 2010.
DOI: 10.1109/CDC.2010.5717270.

Christoffer Sloth and Rafael Wisniewski. Proofs for an Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions. arXiv:1008.3222, 2010.
Link: Paper on arXiv.

Christoffer Sloth, Thomas Esbensen, and Jakob Stoustrup. Active and Passive Fault-Tolerant LPV Control of Wind Turbines. In Proceedings of the 2010 American Control Conference, pp. 4640-4646, Baltimore, USA, June 2010.
DOI: 10.1109/ACC.2010.5531061.

Christoffer Sloth, Thomas Esbensen, Michael Odgaard Kuch Niss, Jakob Stoustrup, and Peter Fogh Odgaard. Robust LMI-Based Control of Wind Turbines with Parametric Uncertainties. In Proceedings of the 2009 IEEE Multi-Conference on Systems and Control, pp. 776-781, St. Petersburg, Russia, July 2009.
DOI: 10.1109/CCA.2009.5281171.

Michael Odgaard Kuch Niss, Thomas Esbensen, Christoffer Sloth, Jakob Stoustrup, and Peter Fogh Odgaard. A Youla-Kucera Approach to Gain-Scheduling with Applications to Wind Turbine Control. In Proceedings of the 2009 IEEE Multi-Conference on Systems and Control, pp. 1489-1494, St. Petersburg, Russia, July 2009.
DOI: 10.1109/CCA.2009.5281172.

Christoffer Sloth and Thomas Esbensen. Fault Diagnosis and Fault-Tolerant Control of Wind Turbines. Supervisor: Jakob Stoustrup, Marster Thesis, June 2009.
You can find the Thesis here.

You can find my profile in the research database of Aalborg University here.