Dane Sabo
1ba14bc8d7
Checked ALL references. V1 is COMPLETE!
2026-03-17 22:02:15 -04:00
764e695c05
Wrap lines to 80 chars
2026-03-17 21:00:40 -04:00
Dane Sabo
c2d1c63bd0
figures are referenced
2026-03-17 20:51:04 -04:00
449256f665
Connect both orphaned figures to prose (hybrid_automaton + strat_op_tact)
2026-03-17 20:33:22 -04:00
8c70ff7dbf
Fix Pressburger citation: soften claim to match source (describes manual integration, not 'significant source of errors')
2026-03-17 17:44:51 -04:00
b7cadd3579
Resolve all splitfix/splitsuggest comments in approach.tex
...
- Add assume-guarantee compositional verification citation (Lunze, Alur)
- Address FRET liveness limitation: redirect to continuous mode reachability
- Replace placeholder text with full reactive synthesis → code pipeline
(Strix, GR(1) fragment, Mealy machines, scalability argument)
- Address parametric uncertainty gap: SpaceEx + conservative over-approximation
- Add systematic Theta_failure construction process (FMEA → parametric bounds)
- Add ARCADE automated code generation paragraph (Pressburger integration risk)
- New \\addedprose{} command for blue new prose in edit mode
2026-03-17 15:09:00 -04:00
f1691e24c4
Fix two LaTeX errors: remove itemize from dasinline (line 429), remove stray brace (line 673)
2026-03-17 14:56:24 -04:00
96af36972f
Fix all citations: add missing bib entries from Zotero, fix typos (lunz->lunze, katis_realizibility->realizability), add citations for hybrid automata (Alur), dL (Platzer), KeYmaera X (Fulton), barrier certificates (Prajna), reachability tools (Frehse SpaceEx, Guernic, Mitchell, Bansal HJ), Lyapunov (Branicky), convert biblatex->bibtex format
2026-03-16 17:37:53 -04:00
Dane Sabo
af2ce44fd6
feedback from earlier now integrated. Clear of almost all notes.
2026-03-16 17:15:35 -04:00
4b2a733621
Edit Research Approach: trim intro, fix issue-point, add explanatory sentences, tighten Emerson section, address all DAS comments
2026-03-16 14:00:27 -04:00
ed29f6a09b
Apply first round of edits with strikethrough/red markup
2026-03-14 23:15:08 -04:00
c7e7845c8f
Add DAS reading comments as inline todonotes (cyan)
2026-03-14 23:13:41 -04:00
b2598d3092
Fix unicode and escaping in review comments
2026-03-14 21:37:42 -04:00
c37720f66b
Add literature review annotations from NEEDS_REVIEWED papers
...
Papers analyzed:
- Katis 2022, Pressburger 2023 (FRET)
- Maoz 2015, Luttenberger 2020 (reactive synthesis)
- Borrmann 2015, SOSTOOLS 2021 (barrier certificates)
- SpaceEx 2011, Flow* 2013, JuliaReach 2019 (reachability)
- Kapuria 2025 (decomposition-based verification)
Key findings:
- FRET lacks liveness support (important gap)
- GR(1) synthesis is tractable for reactor specs
- Compositional verification needs assume-guarantee citations
- Expulsory mode verification needs additional references
Report: needs-review-report.md
2026-03-10 20:49:34 -04:00
623f760084
Add Split's editorial comments with color-coded feedback
...
Edit mode system:
- \editmode{1} enables comments + wider margins
- \editmode{0} hides all comments for final output
Comment types (color-coded):
- \splitnote{} (green): General observations, good work
- \splitsuggest{} (yellow): Suggestions to consider
- \splitpolish{} (orange): Needs polish, should fix
- \splitfix{} (red): Must fix, not acceptable
Comments added throughout all sections with substantive feedback
on structure, wording, and Gopen-style improvements.
Also fixed typos: 'ivariant' → 'invariant', 'excess' → 'access'
2026-03-09 21:44:23 -04:00
3373af9816
Rename versioned files to descriptive names
...
Git handles versioning — no need for v1/v2/v3 suffixes.
Renamed:
- research_statement_v1.tex → research-statement.tex
- v1.tex (goals) → goals.tex
- v2.tex (state of art) → state-of-art.tex
- v3.tex (approach) → approach.tex
- v1.tex (metrics) → metrics.tex
- v1.tex (risks) → risks.tex
- v1.tex (impacts) → impacts.tex
- v1.tex (schedule) → schedule.tex
Old v1/v2 versions in subdirs preserved for reference.
2026-03-09 21:27:20 -04:00
