From 8e8ac0254db78a95450b43961304d7066149f987 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Thu, 31 Jul 2025 10:31:21 -0400 Subject: [PATCH] update --- Zettelkasten/Permanent Notes/thesis-ideas.md | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/Zettelkasten/Permanent Notes/thesis-ideas.md b/Zettelkasten/Permanent Notes/thesis-ideas.md index 4f5ded65..0c19b316 100644 --- a/Zettelkasten/Permanent Notes/thesis-ideas.md +++ b/Zettelkasten/Permanent Notes/thesis-ideas.md @@ -87,11 +87,26 @@ systems. ___________________________________________________________ -## **Temporal Logic Specifications for Autonomous Controller Shield Synthesis** +## **Temporal Logic Specifications for Autonomous Controller Synthesis** ### Goals: +The goal of this program is to use temporal logic +specifications to procedurally generate autonomous +supervisory controllers for a reactor system. ### Outcomes: +If this research is successful, I will have accomplished the +following: + +- Captured high level safety and operating requirements in a + temporal logic language such as TLA+ or FRET + +- Synthesize a supervisory controller from the temporal +logic specification that can be implemented on a real +control system with minimal user effort. + +- Verify the supervisory controller generated adheres to +safety specifications using exhaustive model checking. ### Impact: