Technologies: Tube-based Model Predictive Control (TMPC) Linear Temporal Logic (LTL) Specifications Optimization Python 3 Summary: An R&D startup under a major tech company, that aims to remove carbon emissions from the environment, built a system to extract carbon dioxide from the atmosphere. To ensure the constant flow of the CO2-adsorbing material in the system, we