CodeMe - Computer Aided Design Methods for Industrial Automation

Projektdetaljer

Beskrivelse

CodeMe is a research project granted by the Danish Council for Independent Research | Technology and Production Sciences. The objective of the CodeMe project is to establish theoretical foundations for analysis and control of non-linear 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.
AkronymCodeMe
StatusAfsluttet
Effektiv start/slut dato01/08/201431/10/2018

Aktiviteter

  • 3 Værtskab for gæsteforsker

Yuliy Baryshnikov

Rafal Wisniewski (Vært)

19 mar. 201823 mar. 2018

Aktivitet: Værtskab for gæsteforskerVærtskab for gæsteforsker

Mihaly Petreczky

Rafal Wisniewski (Vært) & John-Josef Leth (Vært)

12 mar. 201816 mar. 2018

Aktivitet: Værtskab for gæsteforskerVærtskab for gæsteforsker

Mihaly Petreczky

Rafal Wisniewski (Vært) & John-Josef Leth (Vært)

14 feb. 201717 feb. 2017

Aktivitet: Værtskab for gæsteforskerVærtskab for gæsteforsker

Publikation

  • 6 Konferenceartikel i proceeding
  • 1 Tidsskriftartikel
  • 1 Konferenceartikel i tidsskrift

Converse Barrier Certificate Theorems

Wisniewski, R. & Sloth, C., maj 2016, I : I E E E Transactions on Automatic Control. 61, 5, s. 1356-1361

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  • 15 Citationer (Scopus)

    Lyapunov Function Synthesis - Algorithm and Software

    Leth, T., Sloth, C. & Wisniewski, R., 19 sep. 2016, Computer Aided Control System Design (CACSD), 2016 IEEE Conference on. IEEE, s. 641-647 7 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)

    Safety Verification of Piecewise-Deterministic Markov Processes

    Wisniewski, R., Sloth, C., Bujorianu, M. & Piterman, N., 2016, HSCC '16 Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery, s. 257-266

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • 2 Citationer (Scopus)