TACTICAL (sentence-level):
- Strengthened topic-stress positioning
- Converted passive to active voice where appropriate
- Improved verb choices
- Enhanced topic strings for continuity
- Replaced 'we' with 'this work' for consistency
OPERATIONAL (paragraph/section):
- Improved transitions between subsections
- Added paragraph breaks for better flow
- Strengthened coherence in mode classification sections
- Enhanced transition from HARDENS to dL discussion
STRATEGIC (document-level):
- Verified Heilmeier alignment throughout
- Strengthened section transitions
- Improved signposting of what each section answers
- Enhanced linkage between State of Art and Research Approach
TACTICAL (sentence-level):
- Applied Gopen's issue-point positioning
- Strengthened verb choices (active over passive where appropriate)
- Reduced wordiness while maintaining technical precision
- Improved topic-stress positioning for better flow
- Tightened long sentences for readability
OPERATIONAL (paragraph/section):
- Smoothed transitions between paragraphs
- Added explicit figure references where needed
- Improved subsection transitions in formal methods section
- Enhanced flow from theoretical to practical sections
STRATEGIC (document-level):
- Ensured each section clearly addresses its Heilmeier question
- Improved consistency of Heilmeier framing across sections
- Strengthened transitions between major sections
- Verified alignment of outcomes with stated research questions
TACTICAL (sentence-level):
- Improved topic-stress positioning throughout (moved known info to sentence start, new info to stress position)
- Strengthened verb choices (replaced weak verbs with stronger alternatives)
- Fixed awkward passive constructions
- Improved sentence flow and readability
OPERATIONAL (paragraph/section):
- Enhanced transitions between subsections with connecting phrases
- Improved coherence within sections (esp. state-of-the-art formal methods transitions)
- Strengthened logical progression between major subsections
STRATEGIC (document-level):
- Reinforced Heilmeier catechism alignment at section boundaries
- Improved section-to-section linkages (sections 3→4, 4→5, 5→6)
- Made explicit connections between sections and their assigned Heilmeier questions
- Strengthened the narrative arc from methodology through metrics to risks to impact
Three-level editorial improvements:
TACTICAL (sentence-level):
- Applied Gopen's issue-point and topic-stress positioning throughout
- Improved verb choice and sentence clarity
- Tightened passive constructions to active voice
- Enhanced topic strings for better paragraph coherence
OPERATIONAL (paragraph-level):
- Strengthened transitions between subsections
- Improved flow within complex technical sections
- Made mode classification rationale more explicit
- Enhanced coherence in verification methodology
STRATEGIC (document-level):
- Made Heilmeier Catechism alignment explicit in section transitions
- Added structured mapping of sections to Heilmeier questions in Sec 1
- Strengthened summary sections to reinforce question-answer structure
- Improved subsection headings to signal content and purpose
Changes preserve all technical content while significantly improving
clarity, flow, and argument structure.
Three-pass editorial review following Gopen's Sense of Structure:
TACTICAL (sentence-level):
- Improved topic-stress positioning for clearer emphasis
- Tightened topic strings for better paragraph coherence
- Converted passive constructions to active voice
- Strengthened verb choice throughout
OPERATIONAL (paragraph/section):
- Added explicit transitions between major subsections
- Improved flow from state-of-art → research approach
- Clarified relationships between transitory/stabilizing/expulsory modes
- Strengthened section-to-section bridges
STRATEGIC (document-level):
- Made Heilmeier Catechism questions more explicit in Broader Impacts
- Clarified novelty claims in Research Approach (three innovations)
- Strengthened mapping of document structure to Heilmeier questions
- Improved strategic framing of risks as preserving research value
Pass 1 (Tactical): Sentence-level improvements using Gopen principles
- Strengthened verbs and eliminated wordiness
- Converted passive to active voice where clearer
- Improved topic-stress positioning (old→new info flow)
- Enhanced sentence clarity and directness
Pass 2 (Operational): Paragraph and section flow
- Improved transitions between subsections
- Eliminated redundant transition phrases
- Enhanced coherence within sections
- Streamlined section introductions
Pass 3 (Strategic): Heilmeier catechism alignment
- Clarified 'What is new?' statements
- Strengthened 'What has been done?' / 'What are the limits?' framing
- Ensured proper linkage between sections
- Aligned language with Heilmeier questions throughout
Key improvements:
- Removed unnecessary methodology/approach qualifiers
- Tightened economic argument in Broader Impacts
- Clarified verification gap in State of the Art
- Strengthened success criteria statements
- Enhanced document-level coherence
Tactical (Sentence-Level):
- Improved topic-stress positioning throughout
- Converted passive constructions to active voice
- Strengthened weak verbs and topic positions
- Enhanced issue-point positioning in key sentences
Operational (Paragraph/Section):
- Strengthened transitions between subsections
- Improved coherence within sections, especially State of the Art and Research Approach
- Added forward/backward references to maintain flow
- Clarified relationships between continuous verification types
Strategic (Document-Level):
- Explicit Heilmeier catechism framing in section openings
- Strengthened 'What is new?' and 'Why will it succeed?' in Research Approach
- Added explicit answers to who cares/why now in Broader Impacts
- Improved section-to-section linking to maintain narrative arc
- Clarified novelty: compositional architecture, mode classification, procedural decomposition
- TACTICAL: Improved sentence-level clarity per Gopen principles
- Stronger verb choices (cannot vs lacks tools, cannot vs fails)
- Better issue-point positioning (new info at sentence end)
- Topic-stress consistency (familiar info at start)
- Eliminated weak constructions (that are → direct adjectives)
- OPERATIONAL: Enhanced paragraph and section flow
- Added transition sentences between subsections
- Improved coherence in state-of-the-art progression
- Clearer bridges between risk categories
- Better linkage from discrete to continuous verification
- STRATEGIC: Reinforced Heilmeier catechism alignment
- Made 'What is new?' and 'Why will it succeed?' explicit
- Added 'State of the art' and 'The gap' headers
- Consistent question format (How do we...? vs How we...)
- Added roadmap at end of Goals section
No content changes—only editorial improvements for clarity and impact.
TACTICAL (sentence-level):
- Strengthened topic-stress positioning (old→new info flow)
- Replaced weak verbs with stronger active constructions
- Improved parallel structure in key passages
- Removed unnecessary passive voice
- Tightened verbose constructions
OPERATIONAL (paragraph/section):
- Improved transitions between major sections
- Enhanced coherence within subsections
- Clarified logical progression from state-of-art → approach
- Strengthened section linkages throughout
STRATEGIC (document-level):
- Reinforced Heilmeier catechism alignment (what's new, why succeed)
- Improved 'Why it will succeed' section with three-factor structure
- Added explicit transition from State of Art to Research Approach
- Removed distracting color markup
- Strengthened impact statements in Goals and Broader Impacts
Tactical (sentence-level):
- Applied Gopen's principles: improved topic-stress positioning, stronger verbs
- Reduced passive voice and unnecessary modifiers
- Split long sentences for clarity and emphasis
- Tightened redundant phrasing throughout
Operational (paragraph/section):
- Added explicit transitions between subsections
- Improved flow within paragraphs (e.g., control scopes example)
- Created parallel structure for related concepts
- Enhanced coherence in State of the Art section
Strategic (document-level):
- Strengthened value proposition (higher vs same assurance)
- Improved Heilmeier alignment (why now, what's new, why it will succeed)
- Better linkage between State of the Art gap and research goals
- Connected economic motivation more explicitly throughout
Pass 1 (Tactical): Sentence-level improvements
- Strengthened issue-point positioning (stress at sentence end)
- Improved topic-stress flow (known→new information)
- Converted passive to active voice where appropriate
- Tightened verb choice and eliminated weak constructions
- Fixed pronoun references and reduced unnecessary nominalizations
Pass 2 (Operational): Paragraph and section flow
- Improved transitions between paragraphs and subsections
- Strengthened section-to-section handoffs
- Enhanced coherence within major sections
- Clarified the discrete-continuous interface explanation
- Better signposting for the three controller types
Pass 3 (Strategic): Heilmeier catechism alignment
- Made 'What is new' and 'Why will it succeed' explicit
- Strengthened 'Who cares' and 'What difference' in Broader Impacts
- Clarified 'The exams' in Metrics section
- Added 'How long' statement to Schedule
- Improved overall narrative flow from problem→gap→solution→impact
All changes preserve technical accuracy while improving clarity and impact.
Tactical (sentence-level):
- Strengthened weak verbs and passive constructions
- Improved issue-point positioning (old info first, new info in stress position)
- Removed unnecessary hedging phrases
- Fixed active/passive voice for clarity
Operational (paragraph/section):
- Added transition sentences between major subsections
- Strengthened flow between State of the Art and Research Approach
- Added connecting tissue between continuous controller types
- Improved coherence within outcomes section
Strategic (document-level):
- Made 'what's new' explicit with highlighted innovation statement
- Added summary paragraph to State of the Art defining the verification gap
- Strengthened connections between sections for Heilmeier alignment
- Clarified how the three-layer approach unifies existing tools
- 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
