Aktiviteter pr. år
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.
| Akronym | CodeMe |
|---|---|
| Status | Afsluttet |
| Effektiv start/slut dato | 01/08/2014 → 31/10/2018 |
Fingerprint
Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.
Aktiviteter
- 3 Værtskab for gæsteforsker
-
Yuliy Baryshnikov
Wisniewski, R. (Vært)
19 mar. 2018 → 23 mar. 2018Aktivitet: Værtskab for gæsteforsker › Værtskab for gæsteforsker
-
Mihaly Petreczky
Wisniewski, R. (Vært) & Leth, J.-J. (Vært)
12 mar. 2018 → 16 mar. 2018Aktivitet: Værtskab for gæsteforsker › Værtskab for gæsteforsker
-
Mihaly Petreczky
Wisniewski, R. (Vært) & Leth, J.-J. (Vært)
14 feb. 2017 → 17 feb. 2017Aktivitet: Værtskab for gæsteforsker › Værtskab for gæsteforsker
-
Converse Barrier Certificate Theorems
Wisniewski, R. & Sloth, C., maj 2016, I: I E E E Transactions on Automatic Control. 61, 5, s. 1356-1361Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
48 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 (Institute of Electrical and Electronics Engineers), s. 641-647 7 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 (ACM), s. 257-266Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
7 Citationer (Scopus)