Personal profile
Academic background
Maico Engelaar obtained his BSc degree in Mathematics from the University of Groningen in 2019 and his MSC degree in Applied Mathematics track Systems and Control from the University of Groningen, Cum Laude, in 2021. During his MSc degree, he worked on Realization Theory for Fixed Switched Linear Systems under the supervison of Associate Professor Stephan Trenn.
Research profile
Maico Engelaar is a Doctoral Candidate at the Control Systems (CS) Group at the Department of Electrical Engineering. His current research is on the topic of Correct-by-design Estimation and Control of Partially Obserable Stochastic Systems, under the supervisor of Assistent Professor Sofie Haesaert and Associate Professor Mircea Lazar.
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Research output
-
Towards Formal Linear Multi-Agent Stochastic Model Predictive Control with Temporal Logic Specifications: A Risk-Aware and Formal Abstraction Approach
Engelaar, M. H. W., 28 Jan 2026, Eindhoven: Eindhoven University of Technology. 157 p.Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)
Open AccessFile44 Downloads (Pure) -
SySCoRe 2.0: Toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specifications
van Huijgevoort, B. C. (Corresponding author-nrf), Engelaar, M. H. W., Soudjani, S. & Haesaert, S., Nov 2025, In: Nonlinear Analysis: Hybrid Systems. 58, 23 p., 101607.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)4 Downloads (Pure) -
Abstracting Linear Stochastic Systems via Knowledge Filtering
Engelaar, M. H. W., Romao, L., Gao, Y., Lazar, M., Abate, A. & Haesaert, S., 19 Jan 2024, 2023 62nd IEEE Conference on Decision and Control, CDC 2023. Institute of Electrical and Electronics Engineers, p. 3049-3054 6 p. 10383450Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile2 Link opens in a new tab Citations (Scopus)53 Downloads (Pure) -
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
Engelaar, M. H. W., Zhang, Z., Lazar, M. & Haesaert, S., 2024, In: IFAC-PapersOnLine. 58, 11, p. 93-98 6 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile45 Downloads (Pure) -
Stochastic Model Predictive Control with Dynamic Chance Constraints
Engelaar, M. H. W., Haesaert, S. & Lazar, M., 10 Nov 2023, 2023 27th International Conference on System Theory, Control and Computing, ICSTCC 2023 - Proceedings. Precup, R.-E. (ed.). Institute of Electrical and Electronics Engineers, p. 356-361 6 p. 10308491Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
3 Link opens in a new tab Citations (Scopus)