---
id: DR-20250826144307
title: Heilmeier Questions
type: thesis
created: 2025-08-26T18:43:07Z
modified: 2025-08-28T20:42:41Z
tags: []
---

# Heilmeier Questions for my Thesis Topic

**TITLE** 
[[Thesis Title Ideas]]

***High-Assurance Hybrid Controller Synthesis from Logical
Specifications*** 

## **What am I trying to do? No jargon!** 

The goal of this research is to use formal methods to create
hybrid controllers with provable guarantees of performance
and safety. Hybrid control systems are control systems that
have distinct changes in system dynamics under different
conditions, which are often called modes. Modes are often
defined by design requirements, and as such can be easily
translated into formal specifications. This research will
will eliminate the possible introduction of accidental
errors while building controllers by automatically
synthesizing the mode switching behavior from design
requirements. Controller behavior within modes will be
verified using reachability analysis.

## **How is it done today?** 
    
## **What's new in my approach?** 

## **Who cares?** 


