Dane Sabo
d33bccac73
M .obsidian/plugins/colored-tags/data.json M .sessions/nvim_config.vim D Projects/HX_PINN/HX_model.py A "Zettelkasten/Fleeting Notes/Daily/2025-08-27.md" A "Zettelkasten/Permanent Notes/20250826114550-heilmeier-catechism.md" A "Zettelkasten/Permanent Notes/Thesis/3100-erlm-quad-chart-template.odp" A "Zettelkasten/Permanent Notes/Thesis/DR-20250826144307-heilmeier-questions.md" A "Zettelkasten/Permanent Notes/Thesis/DR-20250826145452-title-ideas.md"
40 lines
1.1 KiB
Markdown
40 lines
1.1 KiB
Markdown
---
|
|
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?**
|
|
|
|
|