[ { "title": "Model-based process optimization of black soldier fly egg production", "where": "Frontiers in Bioengineering and Biotechnology", "note": "", "DOI": " [DOI]", "year": "2024" }, { "title": "Observability Analysis of PEM Fuel Cell Systems with Anode Recirculation", "where": "Proc. of the 22nd European Control Conference", "note": "", "DOI": "", "year": "2024" }, { "title": "Deep Neural Network based Optimal Control of Greenhouses", "where": "Proc. of the 22nd European Control Conference (ECC)", "note": "", "DOI": "", "year": "2024" }, { "title": "Quantized Deep Neural Network Based Optimal Control of Greenhouses on a Microcontroller", "where": "Proc. of the 22nd European Control Conference (ECC)", "note": "", "DOI": "", "year": "2024" }, { "title": "Predictive Control with Terminal Costs Based on Online Learning Using Value Iteration", "where": "Proc. of the 22nd European Control Conference", "note": "", "DOI": "", "year": "2024" }, { "title": "Nonlinear Optimal Control of Traffic Flow with Stability Guarantees", "where": "IFAC-PapersOnLine [Presented at the 22nd IFAC World Congress]", "note": "Presented at the 22nd IFAC World Congress", "DOI": " [DOI]", "year": "2023" }, { "title": "High gain observer for the nitrification process including sensor dynamics", "where": "Proc. of the 22nd IFAC World Congress", "note": "", "DOI": " [DOI]", "year": "2023" }, { "title": "Extended and Unscented Kalman Filter Design for Mass-Based ADM1 Simplification", "where": "6th Doctoral Colloquium Bioenergy", "note": "", "DOI": "", "year": "2023" }, { "title": "Predictive Control with Learning-Based Terminal Costs Using Approximate Value Iteration", "where": "IFAC-PapersOnLine [Presented at the 22nd IFAC World Congress]", "note": "Presented at the 22nd IFAC World Congress", "DOI": " [DOI]", "year": "2023" }, { "title": "Safety-Critical Control for Ensemble Systems", "where": "Proc. of the 22nd IFAC World Congress", "note": "", "DOI": " [DOI]", "year": "2023" }, { "title": "Observability and Identifiability Analyses of Process Models for Agricultural Anaerobic Digestion Plants", "where": "24th International Conference on Process Control (PC)", "note": "", "DOI": " [DOI]", "year": "2023" }, { "title": "Formal verification of a controller implementation in fixed-point arithmetic", "where": "Proc. of the 21st European Control Conference", "note": "", "DOI": " [DOI]", "year": "2023" }, { "title": "Extraction of a computer-certified SMT solver for nonlinear theories", "where": "Proc. of the 21st European Control Conference", "note": "", "DOI": " [DOI]", "year": "2023" }, ]