MODUS projects
Overview
MODUS projects usually are cooperation projects, in which an application and formal methods are both represented. The aim is to better understand the application problems by formulating them in some formal language, Moreover, we want to derive improved options for actions. Not all projects have a strictly specified duration. In such cases, we take the freedom to study a problem as long as we find this scientifically rewarding.
Details
Academia
- FoodDispatch: Exact Optimization Methods for Food Delivery Services (2023/01/01 – )
- FCCP – Fairness by Chance Constraints (2024/06/01 – )
- EcoMathMod – Mathematical Modeling of Ecologies (2022/02/22 – )
- DFG-SGSM-DP: The Stochastic Guaranteed Service Model with Demand Propagation (2019/10/15 – )
- MMVID – Mathematical modelling of vector-borne invasive diseases (2016 – )
- OCH – Optimal Control of Hang Gliders (2016 – )
- Feedback-based Trading Strategies on Noisy Markets (2014/03/01 – )
- SSO – Sports Strategy Optimization (2012/10/01 – )
- MEIO – Multi-Echelon Inventory Optimization (2012/05/06 – )
- ODip – Optimal Diplomacy (2010/01/01 – )
- OSTMCM – Optimal and Suboptimal Treatment in Mathematical Cancer Modells (2016 – 2018/10/30)
- CTN – Cooperative Truck Networks (2016/02/22 – 2018/07/02)
- TOHP - Trajectory Optimization of Hypersonic Planes (2016 – 2017)
- Model Predictive Control for Smart Grids (2012 – 2016)
- Social Knowledge for e-Governance (2006/04/06 – 2009/03/31)
Industry and Administration
- HIRGEV - Heat Resilient Health Care (2024/02/01-2027/01/31)
- Model Predictive Control of Combined Cycle Power Plants (2016/10/01 – )
- JMM-Compare – Comparison of Joint-Market Models (2017/04/01 – 2018/01/31)
- CHAMP – Control of Heat in Automated Model Production (2012/03/01 – 2015/02/28)
- AZuR – Time Tabling and Room Assignment for University Courses (2010/03/01 – 2013/08/31)
- DISPO – A Decision Support System for the Integrated Size and Price Optimization (2007/11/01 – 2010/10/31)
- Social Knowledge for e-Governance (2006/04/06 – 2009/03/31)