Projects per year
Personal profile
Research profile
Research Profile
Safe Learning of Safety-Critical Adaptive Controller for water management
Digital Research Centre Denmark (DIREC) funds this project to perform world-class research at Danish universities and support IT-based innovation in cooperation with businesses and the public sector. This project is part of the Digital Research Centre Denmark (DIREC) project "Verifiable and Safe AI for Autonomous Systems," and it is driven by the needs and requirements of selected use cases about water management from the industry parties of DIREC project.
Current areas of research and interest:
Active roles in research projects etc:
Education/Academic Qualification
Keywords
- Computer Science
- Reinforcement Learning
- Timed Automata
- Model Checking
- Control and Automation
- Water Treatment
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
-
-
ITEA4 GreenCode project 23016
Albano, M. (PI), Thomsen, B. (PI) & Kim, E. H. (CoI)
01/03/2025 → …
Project: Research
-
-
Data-driven Shielding of Online Reinforcement Learning
Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 1 Dec 2025, (Submitted) In: Scientific Journal .Research output: Contribution to journal › Journal article › Research › peer-review
-
Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning
Kim, E. H., Nielsen, T. D., Larsen, K. G., Goorden, M., Ghaffari, M., Wasowski, A. & Høeg-Petersen, A. H., 1 Mar 2025, (Submitted) In: Journal - in the process . p. 1-18 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
Compositional Control Synthesis for Water Management System
Kim, E. H., Larsen, K. G., Goorden, M. & Nielsen, T. D., 28 Feb 2024, 2024 European Control Conference, ECC 2024. IEEE (Institute of Electrical and Electronics Engineers), p. 3130-3137 8 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Controlling Stormwater Detention Ponds under Partial Observability
Kim, E. H., Goorden, M., Larsen, K. G. & Nielsen, T. D., Oct 2024, In: Journal of Logical and Algebraic Methods in Programming. 141, p. 1-19 19 p., 100979.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile3 Citations (Scopus)31 Downloads (Pure) -
Data-driven Shielding of Online Reinforcement Learning: a Stormwater Pond case study
Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 1 Dec 2024, (Accepted/In press) FSEN - Fundamentals of Software Engineering. SpringerResearch output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review