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"
34 lines
901 B
Markdown
34 lines
901 B
Markdown
---
|
|
id: DR-20250826145452
|
|
title: Title Ideas
|
|
type: thesis
|
|
created: 2025-08-26T18:54:52Z
|
|
modified: 2025-08-26T19:03:19Z
|
|
tags: []
|
|
---
|
|
|
|
# Thesis Title Ideas
|
|
|
|
## August 26th
|
|
1. Hybrid Controller Synthesis from Logical Specifications
|
|
|
|
2. Hybrid Mode Switching Controller Synthesis from
|
|
Regulatory Requirements as Logical Specifications
|
|
|
|
3. Formally Verified Autonomous Hybrid Controller
|
|
Implementations Synthesized from Regulatory Requirements
|
|
|
|
Okay so mixing these:
|
|
|
|
*Formally Tractable Hybrid Controller Synthesis from Logical
|
|
Specifications of Regulatory Requirements*
|
|
|
|
It's long. But Hybrid controller synthesis from logical
|
|
specifications might not be enough? Also 'logical
|
|
specifications of regulatory requirements' might not make
|
|
much sense either. Y'know what, I think I like the first one
|
|
best. I'm going with:
|
|
|
|
***High-Assurance Hybrid Controller Synthesis from Logical
|
|
Specifications***
|