Activities per year
Project Details
Description
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.
Acronym | CodeMe |
---|---|
Status | Finished |
Effective start/end date | 01/08/2014 → 31/10/2018 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Activities
- 3 Hosting a guest lecturer
-
-
Mihaly Petreczky
Wisniewski, R. (Host) & Leth, J.-J. (Host)
12 Mar 2018 → 16 Mar 2018Activity: Hosting a guest lecturer
-
Mihaly Petreczky
Wisniewski, R. (Host) & Leth, J.-J. (Host)
14 Feb 2017 → 17 Feb 2017Activity: Hosting a guest lecturer
-
Converse Barrier Certificate Theorems
Wisniewski, R. & Sloth, C., May 2016, In: I E E E Transactions on Automatic Control. 61, 5, p. 1356-1361Research output: Contribution to journal › Journal article › Research › peer-review
48 Citations (Scopus) -
Lyapunov Function Synthesis - Algorithm and Software
Leth, T., Sloth, C. & Wisniewski, R., 19 Sept 2016, Computer Aided Control System Design (CACSD), 2016 IEEE Conference on. IEEE (Institute of Electrical and Electronics Engineers), p. 641-647 7 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
2 Citations (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), p. 257-266Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
7 Citations (Scopus)