danesabo/Thesis
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
53 Commits 3 Branches 0 Tags
Commit Graph

53 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Dane Sabo
d03604c363 Remove working notes and internal review docs before advisor sharing 
Delete informal brainstorming outlines and review audit files.
Clean inline editorial comments (\dasnote, \dasinline, \splitnote)
from .tex sources, preserving citation references as standard comments.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
 2026-04-10 15:22:47 -04:00
Split
fcd720101a Merge draft V1 into main, remove build artifacts, update gitignore 2026-03-17 22:30:03 -04:00
Dane Sabo
1ba14bc8d7 Checked ALL references. V1 is COMPLETE! 2026-03-17 22:02:15 -04:00
Split
9c5289705c Rewrap citation audit to 60-char lines 2026-03-17 21:03:00 -04:00
Split
764e695c05 Wrap lines to 80 chars 2026-03-17 21:00:40 -04:00
Split
24bae81304 Add citation verification audit 2026-03-17 20:57:05 -04:00
Dane Sabo
c2d1c63bd0 figures are referenced 2026-03-17 20:51:04 -04:00
Split
449256f665 Connect both orphaned figures to prose (hybrid_automaton + strat_op_tact) 2026-03-17 20:33:22 -04:00
Split
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
Split
467e541be7 Update broader impacts: 560 TWh US datacenter demand by 2030 (de Roucy-Rochegonde & Buffard 2025, Ifri), recalculate cost figures 2026-03-17 15:19:30 -04:00
Split
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
Split
e4f1a5f6af Add .latexmkrc for proper bibtex cycling with vimtex/latexmk 2026-03-17 14:58:32 -04:00
Split
f1691e24c4 Fix two LaTeX errors: remove itemize from dasinline (line 429), remove stray brace (line 673) 2026-03-17 14:56:24 -04:00
Split
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
Split
115ba4e8bb SOTA temporal logic: replace speculative FRET/Pressburger claims with LTL operators from RA, cite Baier 2008 2026-03-16 17:23:35 -04:00
Split
df129dadd9 Move operator staffing data from Human Factors to Broader Impacts 2026-03-16 17:19:15 -04:00
Split
2bcba39e02 SOTA: add temporal logic + FRET subsection before dL, rename dL subsubsection 2026-03-16 17:19:14 -04:00
Dane Sabo
af2ce44fd6 feedback from earlier now integrated. Clear of almost all notes. 2026-03-16 17:15:35 -04:00
Split
6901dc8276 Edit Impacts: flag economic figures for Dane to verify with updated sources 2026-03-16 14:03:18 -04:00
Split
0783555a03 Edit Risks: generalize tool references, clarify boolean abstraction sentence 2026-03-16 14:02:49 -04:00
Split
ae02973908 Edit Metrics: trim verbose opening, add graded responses scope justification 2026-03-16 14:02:03 -04:00
Split
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
Split
d46e4776e5 Edit State of Art: address all DAS+Split comments, add dL LIMITATION box, fix typo, trim redundancy 2026-03-16 13:55:04 -04:00
Split
c011631557 Edit Goals: fix topic position, integrate qualifications, trim redundancy 2026-03-16 13:53:52 -04:00
Split
54f0f2f1e5 Edit Research Statement: address DAS+Split comments with oldt/newt markup 2026-03-16 13:53:24 -04:00
Split
ed29f6a09b Apply first round of edits with strikethrough/red markup 2026-03-14 23:15:08 -04:00
Split
c7e7845c8f Add DAS reading comments as inline todonotes (cyan) 2026-03-14 23:13:41 -04:00
Split
b2598d3092 Fix unicode and escaping in review comments 2026-03-14 21:37:42 -04:00
Split
8fa41ae2fc Add paper review annotations and comprehensive report 
- Added todonotes to approach.tex with specific citations:
  * FRET validation (Katis 2022, Pressburger 2023)
  * Reactive synthesis (Maoz & Ringert 2015, Luttenberger 2020)
  * Reachability tools (SpaceEx, Flow*, JuliaReach)
  * Barrier certificates (Borrmann 2015, Papachristodoulou 2021)
  * Decomposition-based verification (Kapuria 2025 - same lab/reactor)
  * Expulsory modes with parametric uncertainty (Kapuria 2025)

- Created needs-review-report.md with:
  * Paper summaries (relevance to HAHACS)
  * Supporting evidence by thesis section
  * Gaps identified (8 critical gaps + missing references)
  * Recommended reading priority for candidacy prep
  * Specific recommendations for strengthening claims
  * Summary matrix of all major claims vs. paper support

Note: Kapuria 2025 is most relevant - validates entire approach on SmAHTR.
Key actions: resolve barrier search claim ambiguity, document FMEA → formal
bounds mapping, plan incremental validation.
 2026-03-10 20:50:19 -04:00
Split
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
Dane Sabo
cbc2467219 fixed edit mode 2026-03-10 17:17:50 -04:00
Dane Sabo
77f361734b Merge branch 'editing-demo' 2026-03-10 17:14:27 -04:00
Dane Sabo
ea81aee8ca addressed all split notes. Citations file still needs updated and pdflatex is throwing fits about citations 2026-03-10 16:52:27 -04:00
Split
e36b86e39d Convert dense margin comments to inline to fix line tracing 
Reduced marginpar collisions from 12 to 3 by converting multi-line
suggestions/polish comments to \splitinline{} in research-statement.tex
and goals.tex. Remaining warnings are spread across different pages
(4, 5, 7) and no longer cluster/cross.
 2026-03-09 22:07:31 -04:00
Split
02ecfaad94 Clean up repo: remove tracked build artifacts, old versions, cruft 
Removed from tracking:
- Build artifacts (*.aux, *.bbl, *.blg, *.fls, *.fdb_latexmk, *.log, *.toc, *.pdf)
- Old versioned files (v1.tex, v2.tex) - content now in renamed files
- Empty biblatex.sty placeholder
- Vendored todonotes.sty (still in working tree, now gitignored)
- .DS_Store

Updated .gitignore to prevent re-adding *.sty files
 2026-03-09 22:05:33 -04:00
Split
1963233316 Adjust edit mode margins: wider note column, denser text 
- hoffset: -0.5in (shift left)
- textwidth: 5in (denser text)
- marginparwidth: 5cm (2x original, for wider notes)
- marginparsep: 0.3cm (tighter gap)

Layout now: ~60% text left, ~40% comment margin right
 2026-03-09 21:53:21 -04:00
Split
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
Split
1820c38cae Add .gitignore for LaTeX build artifacts 2026-03-09 21:34:49 -04:00
Split
a01f42d47c Fix \split conflict, add .gitignore for build artifacts 
- Renamed \split → \splitnote (\split already defined by another package)
- Added .gitignore for *.aux, *.log, *.pdf, etc.
- Branch switching now clean — just recompile after switch
 2026-03-09 21:34:40 -04:00
Split
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
Split
2886662a66 Demo: todonotes integration for Split's editing comments 
Added:
- todonotes.sty (local copy since tlmgr had version mismatch)
- \split{} and \splitinline{} commands for margin/inline comments
- Example comments in goals section demonstrating the workflow

To remove when done: delete the todonotes block in main.tex preamble
 2026-03-09 21:25:00 -04:00
Dane Sabo
edfbb20cbe Auto sync: 2026-03-07 14:29:31 (1 files changed) 
A  "Lang et al. - 2021 - Formal Verification Applied to Spacecraft Attitude Control.pdf"
 2026-03-07 14:29:31 -05:00
Dane Sabo
b05d807e02 Auto sync: 2026-03-07 14:19:48 (8 files changed) 
M  2-state-of-the-art/v2.tex

M  3-research-approach/v3.tex

M  main.aux

M  main.fdb_latexmk

M  main.log

M  main.pdf

M  main.synctex.gz

M  main.toc
 2026-03-07 14:19:48 -05:00
Dane Sabo
f1b43da96f Auto sync: 2026-03-04 13:00:34 (8 files changed) 
M  3-research-approach/v3.tex

M  main.aux

M  main.blg

M  main.fdb_latexmk

M  main.log

M  main.pdf

M  main.synctex.gz

M  main.toc
 2026-03-04 13:00:34 -05:00
Dane Sabo
c3309cf4a4 Auto sync: 2026-03-03 15:30:14 (10 files changed) 
M  3-research-approach/v3.tex

M  main.aux

M  main.blg

M  main.fdb_latexmk

M  main.fls

M  main.log

M  main.pdf

D  main.synctex(busy)
 2026-03-03 15:30:14 -05:00
Dane Sabo
fe81103fea Auto sync: 2026-02-27 14:24:49 (6 files changed) 
M  3-research-approach/v3.tex

M  main.fdb_latexmk

MM main.fls

M  main.log

M  main.pdf

M  main.synctex.gz
 2026-02-27 14:24:49 -05:00
Dane Sabo
b4a4429a6b Auto sync: 2026-02-27 14:12:02 (10 files changed) 
A  2-state-of-the-art/v2.tex

M  main.aux

A  main.fdb_latexmk

AM main.fls

MM main.log

MM main.pdf

A  main.synctex(busy)

A  main.synctex.gz
 2026-02-27 14:12:02 -05:00
Split
6e10a4db81 Add v3 research approach: clean structure, DICE framing, figures 
- Created v3.tex with structure matching Thesis.RA tasks
- Added pyramid figure (strategic/operational/tactical hierarchy)
- Added hybrid automaton figure with guards and dynamics
- Wove in DICE abstract framing (gap, why now, two-layer approach)
- Split contributions marked in blue for review
- Switched main.tex to use v3
 2026-02-23 16:00:41 -05:00
Dane Sabo
de79c28009 Auto sync: 2026-02-23 15:39:50 (4 files changed) 
M  main.fdb_latexmk

M  main.log

M  main.pdf

D  pdflatex88984.fls
 2026-02-23 15:39:50 -05:00
Dane Sabo
5e60ce4289 Auto sync: 2026-02-23 15:29:00 (10 files changed) 
M  .DS_Store

M  3-research-approach/v2.tex

M  main.aux

M  main.fdb_latexmk

M  main.fls

M  main.log

M  main.pdf

M  main.synctex.gz
 2026-02-23 15:29:00 -05:00