Intet billede af Christoffer Sloth

Vis Scopus-profil

Christoffer Sloth

 https://orcid.org/0000-0002-3309-6278

Søgeresultater

  • 2016

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

    Pedersen, R., Sloth, C. & Wisniewski, R., 6. jan. 2016, 2016 European Control Conference, ECC 2016. IEEE, s. 447-452 6 s. 7810325

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2015

    DiSC: A simulation framework for distribution system voltage control

    Pedersen, R., Sloth, C., Andresen, G. B. & Wisniewski, R., 16. nov. 2015, 2015 European Control Conference, ECC 2015. IEEE, s. 1056-1063 8 s. 7330680

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Safety Analysis of Stochastic Dynamical Systems

    Sloth, C. & Wisniewski, R., 2015, I: IFAC-PapersOnLine. 48, 27, s. 62-67 6 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Smart grid control and communication: The SmartC2net Real-Time HIL approach

    Ciontea, C. I., Pedersen, R., Kristensen, T. L. F., Eg Sloth, C., Olsen, R. L. & Iov, F., 31. aug. 2015, 2015 IEEE Eindhoven PowerTech, PowerTech 2015. IEEE, 7232693

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

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

    Sloth, C. & Wisniewski, R., 16. nov. 2015, 2015 European Control Conference, ECC 2015. IEEE, s. 2694-2699 6 s. 7330945

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Supermarket defrost cycles as flexible reserve

    Pedersen, R., Sloth, C., Wisniewski, R. & Green, T., 4. nov. 2015, Proceedings of the 2015 IEEE Conference on Control and Applications. IEEE, s. 744-749 6 s. 7320706

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Towards safe robotic surgical systems

    Sloth, C. & Wisniewski, R., 2015, Recent Advances in Mechanism Design for Robotics: Proceedings of the 3rd IFToMM Symposium on Mechanism Design for Robotics, MEDER 2015. Kluwer Academic Publishers, Bind 33. s. 165-175 11 s. (Mechanisms and Machine Science, Bind 33).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2014

    Control to facet for polynomial systems

    Sloth, C. & Wisniewski, R., 2014, Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (Part of CPS Week). Association for Computing Machinery, s. 123-132 10 s.

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Loss minimization and voltage control in smart distribution grid

    Juelsgaard, M., Sloth, C., Wisniewski, R. & Pillai, J., 2014, Proceedings of the19th IFAC World Congress IFAC 2014. IFAC Secretariat, Bind 19. s. 4030-4037 8 s.

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Robust stability of switched systems

    Sloth, C. & Wisniewski, R., 2014, I: Proceedings - IEEE Conference on Decision and Control. 2015, February, s. 4685-4690 6 s., 7040119.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • 2013

    Complete abstractions of dynamical systems by timed automata

    Sloth, C. & Wisniewski, R., feb. 2013, I: Nonlinear Analysis: Hybrid Systems. 7, 1, s. 80-100 21 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Completeness of Lyapunov abstraction

    Wisniewski, R. & Sloth, C., 22. aug. 2013, I: Electronic Proceedings in Theoretical Computer Science. 124, s. 26-42 17 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Converse barrier certificate theorem

    Wisniewski, R. & Sloth, C., 2013, Proceedings of the 2013 IEEE 52nd Annual Conference on Decision and Control. IEEE, s. 4713-4718 6 s. 6760627

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2012

    Abstractions for mechanical systems

    Sloth, C. & Wisniewski, R., 2012, 4th IFAC Workshop on Lagrangian and Hamiltonian Methods for Non Linear Control, LHMNLC 2012. 19 udg. Bind 45. s. 96-101

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Compositional safety analysis using barrier certificates

    Sloth, C., Pappas, G. J. & Wisniewski, R., 2012, HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control. s. 15-24

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • On the existence of compositional barrier certificates

    Sloth, C., Wisniewski, R. & Pappas, G. J., 2012, IEEE Annual Conference on Decision and Control (CDC). s. 4580-4585 (Proceedings - IEEE Conference on Decision and Control).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Structured linear parameter varying control of wind turbines

    Adegas, F. D., Sloth, C. & Stoustrup, J., 2012, Control of Linear Parameter Varying Systems with Applications. Mohammadpour, J. & W. Scherer, C. (red.). Springer, s. 303-337

    Publikation: Kapitel i bog/rapport/konference-proceeding › Kapitel i bog › Forskning › peer review

  • 2011

    Abstraction of dynamical systems by timed automata

    Wisniewski, R. & Sloth, C., 2011, I: Modeling, Identification and Control. 32, 2, s. 79-90

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Algorithmic approach to abstracting linear systems by timed automata

    Sloth, C. & Wisniewski, R., 2011, Proceedings of the 18th IFAC World Congress. PART 1 udg. Bind 18. s. 4546-4551

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Robust and fault-tolerant linear parameter-varying control of wind turbines

    Sloth, C., Esbensen, T. & Stoustrup, J., 2011, I: Mechatronics. 21, 4, s. 645-659

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Verification of continuous dynamical systems by timed automata

    Sloth, C. & Wisniewski, R., 2011, I: Formal Methods in System Design. 39, 1, s. 47-82

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • 2010

    Abstraction of continuous dynamical systems utilizing lyapunov functions

    Sloth, C. & Wisniewski, R., 2010, 2010 49th IEEE Conference on Decision and Control, CDC 2010. s. 3760-3765 6 s. 5717270

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Active and passive fault-tolerant LPV control of wind Turbines

    Sloth, C., Esbensen, T. & Stoustrup, J., 2010, Proceedings of the 2010 American Control Conference, ACC 2010. s. 4640-4646 7 s. 5531061

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2009

    A Youla-Kucera approach to gain-scheduling with application to wind turbine control

    Niss, M. O. K., Esbensen, T., Sloth, C., Stoustrup, J. & Odgaard, P. F., 2009, 2009 IEEE International Conference on Control Applications, CCA '09. s. 1489-1494 6 s. 5281172

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

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

    Sloth, C., Esbensen, T., Niss, M. O. K., Stoustrup, J. & Odgaard, P. F., 2009, 2009 IEEE International Conference on Control Applications, CCA '09. s. 776-781 6 s. 5281171

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review