From 12cb7786e2ba9232f29c23b936ce9d62bf911ff0 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 6 May 2025 16:56:24 -0400 Subject: [PATCH] vault backup: 2025-05-06 16:56:24 --- ...hesis- Challenges and Future Directions.md | 19 ++++++++++++++++--- 1 file changed, 16 insertions(+), 3 deletions(-) diff --git a/Paper Notes/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md b/Paper Notes/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md index c8928910..5fa7e27a 100644 --- a/Paper Notes/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md +++ b/Paper Notes/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md @@ -1,9 +1,22 @@ # First Pass -**Category:** -**Context:** -**Correctness:** +**Category:** This paper is an experimental paper. + +**Context:** The context of this paper is using a couple different techniques +synthesize control programs using different formal methods tools. + +**Correctness:** I trust Max's integrity. Some of the citations were funky and +the intro was fluffy though. + **Contributions:** +This paper shows that using LTL and other formal methods still struggles to +generate controllers for significantly challenging systems. The high bay +warehouse used to create this paper had to be simplified. Then, they introduce +an SMT solver based method to try to generate code. + **Clarity:** +The intro and conclusion do not provide very strong clarity on what they +actually did other than "high assurance is high difficulty", and that we're not +really there yet on HACPS. # Second Pass **What is the main thrust?**