SA/BA/MA projects

Have you heard of industry 4.0, smart grids, smart buildings, smart cities, intelligent traffic systems and intelligent self-driving cars? Did you ever wonder what makes them smart and intelligent?

The answer is control and automation and that’s what we do at the Automatic Control Laboratory (IfA). We use control theory, optimization, machine learning, and game theory to develop controllers and algorithms that are the backbone of nearly all modern technology. At our lab we span the whole area from pure theory to real-world applications and we are looking for you to help us push forward the state of the art. If you want to learn techniques and gain knowledge that enable you to work in any field from medical applications to spacecraft and from electrical grids to finance then the Automatic Control Laboratory is the place for you!

Lists of currently running and recently completed projects can be found in the sub-navigation menu above. Reports for several projects are available through the ETHZ Research Collection:

Open projects

ETH Zurich uses SiROP to publish and search scientific projects. For more information visit sirop.org.

Safe Flow Matching with Control Barrier Functions

This project investigates safety-aware flow-based generative modeling for control and robotics. Flow matching provides an efficient continuous-time framework for generating trajectories, actions, and structured decisions, but standard methods do not guarantee that generated outputs satisfy safety or feasibility constraints. To address this limitation, the project explores the integration of Control Barrier Functions into flow-based generative models, aiming to enforce state and input constraints during generation and downstream execution. The goal is to develop a principled framework that combines the expressiveness of flow matching with formal safety guarantees, enabling reliable trajectory and decision generation for safety-critical autonomous systems.

Keywords

Flow Matching, Safe Control, Control Barrier Functions

Labels

Master Thesis , ETH Zurich (ETHZ)

Description

Goal

Contact Details

More information

Open this project... 

Published since: 2026-04-27 , Earliest start: 2026-05-04

Organization Automatic Control Laboratory

Hosts Wang Han

Topics Information, Computing and Communication Sciences

Verifiable Latent Space Control Design Beyond Stability and Forward Invariance

Low-dimensional latent space representations of dynamical systems provide a powerful tool for scalable control design. Over the last years, data-driven approaches for constructing latent space representations have gained popularity and shown great empirical success. While these methods are promising, they typically lack formal control guarantees as needed in safety-critical applications. In recent work, we provided a theoretical framework for designing controllers in such learned latent spaces that can provably guarantee stability and safety for the original system by exploiting approximate conjugacy between the latent and full dynamics. Yet, these guarantees are largely limited to using notions of Lyapunov and barrier functions, ensuring stability and forward invariance only. Modern autonomous control systems, however, must often satisfy richer temporal or logical specifications that involve deadlines, sequencing, and reactive behavior. This thesis will investigate how to extend our latent space control design framework beyond stability and forward invariance, towards achieving verifiable temporal and logic-based system behavior. The project combines insights from representation learning, formal methods, and control theory, aiming to unify latent space learning with verifiable control design.

Labels

Master Thesis

More information

Open this project... 

Published since: 2026-04-03 , Earliest start: 2025-12-01

Organization Automatic Control Laboratory

Hosts Lindemann Lars

Topics Information, Computing and Communication Sciences , Engineering and Technology

Interaction-Aware Control Design with Provable Guarantees in Realistic Robotic Scenarios

This project builds on the guarantees introduced in to design, analyze, and validate an interaction-aware control stack for robotic systems operating among responsive agents. The approach couples an internal trajectory-prediction module that is explicitly updated as policies change with a distribution-free safety layer based on conformal tools that retain finite-sample coverage in the presence of feedback-induced shift and adversarial perturbations. The resulting uncertainty sets are composed with certified planning and safety filters such as control barrier functions and reachability-based shielding. Evaluation encompasses software simulation and on-robot trials in realistic interactive scenarios and compares against confidence-aware and reachability/ORCA-style baselines.

Labels

Master Thesis

More information

Open this project... 

Published since: 2026-04-03 , Earliest start: 2025-12-01

Organization Automatic Control Laboratory

Hosts Lindemann Lars

Topics Information, Computing and Communication Sciences , Engineering and Technology

Probabilistically Safe Motion Planning in Uncertain Dynamic Environments

Autonomous robots operating in dynamic environments must plan around obstacles with uncertain future trajectories, such as pedestrians or vehicles. Existing motion planning approaches either ignore this uncertainty—risking collisions—or rely on heuristic safety margins, leading to overly conservative behavior without formal guarantees. This work establishes a principled, data-driven framework that integrates conformal prediction with the augmented Graph of Convex Sets (GCS) motion planning paradigm. The key insight is that the H-representation of obstacles in spacetime GCS naturally aligns with conformal prediction sets. By scaling the polytope constraints using conformal quantiles calibrated from trajectory data, we construct spacetime uncertainty sets with finite-sample coverage guarantees. Coupling these probabilistically certified sets with deterministic GCS planning yields end-to-end safety guarantees: the probability of collision is bounded by a user-specified risk level. This approach enables tunable, statistically grounded safety in motion planning under uncertainty.

Labels

Master Thesis

More information

Open this project... 

Published since: 2026-04-03 , Earliest start: 2026-04-03 , Latest end: 2027-02-06

Organization Automatic Control Laboratory

Hosts Lindemann Lars

Topics Information, Computing and Communication Sciences , Engineering and Technology

Runtime Monitoring with Formal Specification-Guided LLMs

Autonomous systems increasingly rely on complex software stacks and data-driven components whose behavior is difficult to fully verify before deployment. Runtime verification provides a lightweight mechanism for ensuring that a system execution satisfies formally specified properties \cite{lindemann2023conformal,bauer2011runtime,lukina2021into}. Classical runtime monitors are typically symbolic and algorithmically constructed from temporal logic specifications. These properties have to be specified a-priori by a domain expert, posing a practical bottleneck. This thesis investigates a novel paradigm in which the runtime monitor itself is implemented as a Large Language Model (LLM) so that the system specification can be provided via a natural language interface. While this has the advantage of not requiring expert knowledge and being able to change specifications on-the-fly, it is unclear how reliable such a monitoring approach would be, which necessitates additional formal structure on the problem formulation and implementation.

Labels

Master Thesis

More information

Open this project... 

Published since: 2026-03-09 , Earliest start: 2026-03-10 , Latest end: 2026-12-31

Organization Automatic Control Laboratory

Hosts Lindemann Lars , Balta Efe

Topics Engineering and Technology

De-bugging and Tuning of Learning Based Controllers

This project focuses on developing an autonomous debugging and tuning system for self-commissioning controllers in HVAC applications. These controllers automatically learn system dynamics and configure PI gains, but their performance depends on precise hyperparameter settings and adaptive tuning to address issues like misconfiguration or changing conditions. The goal is to create a program that analyzes controller behavior in real time, detects performance issues, and autonomously adjusts parameters for optimal operation. Key tasks include identifying critical hyperparameters, defining performance metrics, and designing a robust tuning algorithm. Numerical simulations will validate the approach across diverse scenarios, aiming for true plug-and-play functionality—enabling controllers to self-monitor and adapt like an expert engineer. Ideal for students with a background in control systems or automation, the project offers hands-on experience in adaptive control, system identification, and smart building technologies. Proficiency in MATLAB/Simulink and basic machine learning knowledge are beneficial. The project will be co-supervised with Belimo Automation AG.

Keywords

Self-learning controllers, Control systems, PI control, Hyperparameters, System identification, Plug-and-play control, Debugging, Tuning, Smart buildings, HVAC, Adaptive control, Simulation and validation.

Labels

Master Thesis , Theory (IfA) , Computation (IfA) , Energy (IfA) , Applications (IfA)

Description

Goal

Contact Details

More information

Open this project... 

Published since: 2026-03-02 , Earliest start: 2026-03-01 , Latest end: 2026-08-31

Applications limited to ETH Zurich , EPFL - Ecole Polytechnique Fédérale de Lausanne , Empa , Eawag , Lucerne University of Applied Sciences and Arts , University of Basel , University of Berne , University of Fribourg , University of Geneva , University of Lausanne , University of Lucerne , University of St. Gallen , University of Zurich , Zurich University of Applied Sciences

Organization Automatic Control Laboratory

Hosts Balta Efe

Topics Mathematical Sciences , Information, Computing and Communication Sciences , Engineering and Technology

No-Regret Zero-Shot Meta Reinforcement Learning for Control-Affine Systems

Offline reinforcement learning typically assumes access to a simulator capable of generating training tasks from a fixed distribution. However, despite potentially broad training coverage, real-world deployment often presents environments that are unique and never encountered during training. This mismatch is especially pronounced when policies trained offline in simulation are deployed on physical systems, where online episodic training is impractical or unsafe. In such scenarios, agents must adapt rapidly to a new environment using a single trajectory, operating in a zero-shot or one-shot setting. This thesis aims to develop no-regret algorithms for zero-shot meta reinforcement learning using a grey- box modeling approach. We assume partial knowledge of the system dynamics—specifically, the functional structure of the model—while treating the system parameters as unknown. This abstraction enables principled adaptation at test time and facilitates the derivation of rigorous performance guarantees. Crucially, it also allows the incorporation of safety and stability constraints, which are essential for deployment in cyber-physical systems. The focus of the project is on control-affine systems, which arise frequently in practical applications. The thesis investigates how bilinear and control-affine quadratic control problems, subject to additive non- stochastic disturbances, can be formulated within a zero-shot reinforcement learning or online optimization framework. Building on this formulation, the goal is to derive state-of-the-art online controllers that achieve low dynamic regret while ensuring robustness and stability. The proposed methods will be evaluated both through simulation studies and rigorous theoretical analysis, with guarantees in terms of bounded-input bounded-state (BIBS) stability and dynamic regret.

Keywords

Reinforcement Learning, Meta Learning, Online Optimization, Artificial Intelligence, Fine Tuning, Adaptive Control

Labels

Master Thesis

Description

Goal

Contact Details

More information

Open this project... 

Published since: 2026-02-23 , Earliest start: 2026-03-01 , Latest end: 2026-10-01

Applications limited to ETH Zurich , EPFL - Ecole Polytechnique Fédérale de Lausanne

Organization Automatic Control Laboratory

Hosts Karapetyan Aren

Topics Mathematical Sciences , Information, Computing and Communication Sciences

Robust Feedback Control for Robotic Carton Folding

This project aims to develop control strategies for robotic carton folding that explicitly regulate the evolution of the carton state during manipulation. Controlling articulated and partially deformable objects remains an open problem in robotic manipulation, particularly in contact-rich tasks such as carton folding, where success depends on precise coordination of motion, force, and compliance. The overall objective is to investigate control formulations that enable robust, generalizable folding behaviors beyond open-loop or purely trajectory-based execution.

Keywords

Robotics, Force Control, Vision, Hardware

Labels

Semester Project , Master Thesis

Description

Goal

Contact Details

More information

Open this project... 

Published since: 2026-02-19 , Earliest start: 2026-02-23 , Latest end: 2027-02-23

Organization Automatic Control Laboratory

Hosts Stocco Paula

Topics Information, Computing and Communication Sciences , Engineering and Technology

Multi-Agent Grid Impedance Identification in Three-Phase Power Systems

This project investigates multi-agent grid impedance identification in three-phase power systems. It will develop and compare two approaches: a global multi-port identification framework and a locally simultaneous multi-agent single-port identification framework. The study will evaluate and compare the accuracy of the two approaches and explore potential downstream applications in stability analysis and control design.

Keywords

grid impedance, system identification, multi-agent systems, three-phase power system dynamic modelling

Labels

Master Thesis

Description

Goal

Contact Details

More information

Open this project... 

Published since: 2025-12-31 , Earliest start: 2026-01-01

Organization Automatic Control Laboratory

Hosts Häberle Verena

Topics Engineering and Technology

Contact

  • +41 44 633 85 09
  • vCard Download

ETH Zurich
Automatic Control Laboratory
Physikstrasse 3
8092 Zurich
Switzerland

JavaScript has been disabled in your browser