diff --git a/Writing/ERLM/main.aux b/Writing/ERLM/main.aux index badf478d..c7806d68 100644 --- a/Writing/ERLM/main.aux +++ b/Writing/ERLM/main.aux @@ -1,18 +1,18 @@ \relax \bibstyle{unsrt} \providecommand \oddpage@label [2]{} -\@writefile{toc}{\contentsline {section}{\numberline {1}Goals and Outcomes}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {1}Goals and Outcomes}{2}{}\protected@file@percent } \citation{geromel2006stability} \citation{branicky1998multiple,liberzon2003switching} \citation{mitchell2005time} -\@writefile{toc}{\contentsline {section}{\numberline {2}State of the Art and Limits of Current Practice}{3}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Control Theory and Hybrid Systems}{3}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {2}State of the Art and Limits of Current Practice}{4}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Control Theory and Hybrid Systems}{4}{}\protected@file@percent } \citation{yang2024learning} \citation{alur1993hybrid} \citation{alur1995algorithmic} \citation{giannakopoulou2022fret} \citation{meyer2018strix,jacobs2017syntcomp} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Formal Methods and Reactive Synthesis}{4}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Formal Methods and Reactive Synthesis}{5}{}\protected@file@percent } \citation{platzer2008differential,platzer2017complete} \citation{fulton2015keymaera} \bibdata{references} @@ -29,5 +29,5 @@ \bibcite{platzer2008differential}{11} \bibcite{platzer2017complete}{12} \bibcite{fulton2015keymaera}{13} -\@writefile{toc}{\contentsline {section}{References}{6}{}\protected@file@percent } -\gdef \@abspage@last{7} +\@writefile{toc}{\contentsline {section}{References}{7}{}\protected@file@percent } +\gdef \@abspage@last{8} diff --git a/Writing/ERLM/main.fdb_latexmk b/Writing/ERLM/main.fdb_latexmk index bfe1d825..0443a65b 100644 --- a/Writing/ERLM/main.fdb_latexmk +++ b/Writing/ERLM/main.fdb_latexmk @@ -1,13 +1,13 @@ # Fdb version 4 -["bibtex main"] 1757950134.83183 "main.aux" "main.bbl" "main" 1757950267.92325 0 +["bibtex main"] 1757950472.75375 "main.aux" "main.bbl" "main" 1757950513.81669 0 "./references.bib" 1757949790.55852 9415 fb740c67337f78e30e95f745a7cf3dae "" "/usr/share/texlive/texmf-dist/bibtex/bst/base/unsrt.bst" 1292289607 18030 1376b4b231b50c66211e47e42eda2875 "" - "main.aux" 1757950267.84363 1476 86aee14919487c57b3ce6714b0985bff "pdflatex" + "main.aux" 1757950513.73578 1476 7b620cba913c1c5dec4a8772dfd69ad8 "pdflatex" (generated) "main.bbl" "main.blg" (rewritten before read) -["pdflatex"] 1757950267.45324 "main.tex" "main.pdf" "main" 1757950267.9234 0 +["pdflatex"] 1757950513.33498 "main.tex" "main.pdf" "main" 1757950513.81684 0 "/etc/texmf/web2c/texmf.cnf" 1726065852.27662 475 c0e671620eb5563b2130f56340a5fde8 "" "/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc" 1165713224 4850 80dc9bab7f31fb78a000ccfed0e27cab "" "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 "" @@ -235,9 +235,10 @@ "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1726065868 6800790 607442c924ed54405961d2b8ac2a25ae "" "dane_proposal_format.cls" 1757942776.53402 2553 3bbf169a90a50515ed103fe388c111f0 "" "goals-and-outcomes/v4.tex" 1757864250.3119 5764 a67e489f9ea8343564010d217ae37ec2 "" - "main.aux" 1757950267.84363 1476 86aee14919487c57b3ce6714b0985bff "pdflatex" - "main.bbl" 1757950134.84155 3170 7f578afdcd1e73f308616474dc5a4003 "bibtex main" - "main.tex" 1757949778.05137 187 67ba5ae29f0e910e3ba112163c915ffd "" + "main.aux" 1757950513.73578 1476 7b620cba913c1c5dec4a8772dfd69ad8 "pdflatex" + "main.bbl" 1757950472.76375 3170 7f578afdcd1e73f308616474dc5a4003 "bibtex main" + "main.tex" 1757950471.85075 228 b8ce7b699dae6f4898d522c9ecfeff34 "" + "sabo-quad-chart.pdf" 1757950359.77272 133742 e107b1b92665ad28257256b818191f52 "" "state-of-the-art/v2.tex" 1757950266.45116 10918 a65147e24336b6a318bf18223339313e "" (generated) "main.aux" diff --git a/Writing/ERLM/main.fls b/Writing/ERLM/main.fls index eeeb6c56..c0e63767 100644 --- a/Writing/ERLM/main.fls +++ b/Writing/ERLM/main.fls @@ -401,6 +401,19 @@ INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm +INPUT ./sabo-quad-chart.pdf +INPUT ./sabo-quad-chart.pdf +INPUT ./sabo-quad-chart.pdf +INPUT ./sabo-quad-chart.pdf +INPUT ./sabo-quad-chart.pdf +INPUT ./sabo-quad-chart.pdf +INPUT ./sabo-quad-chart.pdf +INPUT ./sabo-quad-chart.pdf +INPUT ./sabo-quad-chart.pdf +INPUT ./sabo-quad-chart.pdf +INPUT ./sabo-quad-chart.pdf +INPUT ./sabo-quad-chart.pdf +INPUT ./sabo-quad-chart.pdf INPUT ./goals-and-outcomes/v4.tex INPUT ./goals-and-outcomes/v4.tex INPUT ./goals-and-outcomes/v4.tex diff --git a/Writing/ERLM/main.log b/Writing/ERLM/main.log index 59b2b49e..4b4f3db0 100644 --- a/Writing/ERLM/main.log +++ b/Writing/ERLM/main.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2024.9.11) 15 SEP 2025 11:31 +This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2024.9.11) 15 SEP 2025 11:35 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. @@ -876,36 +876,80 @@ LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <8> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 5. [1 -{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}] (./goals-and-outcomes/v4.tex [1]) [2] (./state-of-the-art/v2.tex +{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}] + +pdfTeX warning: pdflatex (file ./sabo-quad-chart.pdf): PDF inclusion: found PDF version <1.7>, but at most version <1.5> allowed + +File: sabo-quad-chart.pdf Graphic file (type pdf) + +Package pdftex.def Info: sabo-quad-chart.pdf used on input line 6. +(pdftex.def) Requested size: 722.69823pt x 542.02367pt. + + +pdfTeX warning: pdflatex (file ./sabo-quad-chart.pdf): PDF inclusion: found PDF version <1.7>, but at most version <1.5> allowed +File: sabo-quad-chart.pdf Graphic file (type pdf) + +Package pdftex.def Info: sabo-quad-chart.pdf used on input line 6. +(pdftex.def) Requested size: 722.69823pt x 542.02367pt. + + +pdfTeX warning: pdflatex (file ./sabo-quad-chart.pdf): PDF inclusion: found PDF version <1.7>, but at most version <1.5> allowed + + +pdfTeX warning: pdflatex (file ./sabo-quad-chart.pdf): PDF inclusion: found PDF version <1.7>, but at most version <1.5> allowed + +File: sabo-quad-chart.pdf Graphic file (type pdf) + +Package pdftex.def Info: sabo-quad-chart.pdf , page1 used on input line 6. +(pdftex.def) Requested size: 722.69823pt x 542.02367pt. +File: sabo-quad-chart.pdf Graphic file (type pdf) + +Package pdftex.def Info: sabo-quad-chart.pdf , page1 used on input line 6. +(pdftex.def) Requested size: 614.88235pt x 461.16176pt. +File: sabo-quad-chart.pdf Graphic file (type pdf) + +Package pdftex.def Info: sabo-quad-chart.pdf , page1 used on input line 6. +(pdftex.def) Requested size: 614.88235pt x 461.16176pt. +File: sabo-quad-chart.pdf Graphic file (type pdf) + +Package pdftex.def Info: sabo-quad-chart.pdf , page1 used on input line 6. +(pdftex.def) Requested size: 614.88235pt x 461.16176pt. +File: sabo-quad-chart.pdf Graphic file (type pdf) + +Package pdftex.def Info: sabo-quad-chart.pdf , page1 used on input line 6. +(pdftex.def) Requested size: 614.88235pt x 461.16176pt. +[1 + + <./sabo-quad-chart.pdf>] (./goals-and-outcomes/v4.tex [2]) [3] (./state-of-the-art/v2.tex LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 15. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 15. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 15. - [3] [4] + [4] [5] LaTeX Font Info: Trying to load font information for TS1+ptm on input line 168. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm. -)) [5] (./main.bbl) [6] (./main.aux) +)) [6] (./main.bbl) [7] (./main.aux) *********** LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-01-22> *********** ) Here is how much of TeX's memory you used: - 25409 strings out of 476182 - 527716 string characters out of 5795595 + 25421 strings out of 476182 + 528088 string characters out of 5795595 1934975 words of memory out of 5000000 - 46858 multiletter control sequences out of 15000+600000 + 46870 multiletter control sequences out of 15000+600000 590786 words of font info for 108 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 - 110i,9n,107p,1008b,285s stack positions out of 10000i,1000n,20000p,200000b,200000s + 110i,17n,107p,1008b,531s stack positions out of 10000i,1000n,20000p,200000b,200000s -Output written on main.pdf (7 pages, 108704 bytes). +Output written on main.pdf (8 pages, 233483 bytes). PDF statistics: - 96 PDF objects out of 1000 (max. 8388607) - 54 compressed objects within 1 object stream + 128 PDF objects out of 1000 (max. 8388607) + 75 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) - 109 words of extra memory for PDF output out of 10000 (max. 10000000) + 129 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/Writing/ERLM/main.pdf b/Writing/ERLM/main.pdf index fbd5cb77..d2f0176a 100644 Binary files a/Writing/ERLM/main.pdf and b/Writing/ERLM/main.pdf differ diff --git a/Writing/ERLM/main.synctex.gz b/Writing/ERLM/main.synctex.gz index 6b78612c..3adfb039 100644 Binary files a/Writing/ERLM/main.synctex.gz and b/Writing/ERLM/main.synctex.gz differ diff --git a/Writing/ERLM/main.tex b/Writing/ERLM/main.tex index 6a15ea35..39890ddb 100644 --- a/Writing/ERLM/main.tex +++ b/Writing/ERLM/main.tex @@ -3,7 +3,8 @@ \begin{document} \maketitle - +\includepdf{sabo-quad-chart.pdf} +\newpage \input{goals-and-outcomes/v4} \newpage \input{state-of-the-art/v2} diff --git a/Writing/ERLM/sabo-quad-chart.pdf b/Writing/ERLM/sabo-quad-chart.pdf new file mode 100644 index 00000000..9b0dcf5e Binary files /dev/null and b/Writing/ERLM/sabo-quad-chart.pdf differ diff --git a/Writing/ERLM/sabodaneSOTA-v1.pdf b/Writing/ERLM/sabodaneSOTA-v1.pdf new file mode 100644 index 00000000..f13b6b95 Binary files /dev/null and b/Writing/ERLM/sabodaneSOTA-v1.pdf differ