Auto sync: 2025-09-15 11:37:53 (9 files changed)
M Writing/ERLM/main.aux M Writing/ERLM/main.fdb_latexmk M Writing/ERLM/main.fls M Writing/ERLM/main.log M Writing/ERLM/main.pdf M Writing/ERLM/main.synctex.gz M Writing/ERLM/main.tex A Writing/ERLM/sabo-quad-chart.pdf
This commit is contained in:
parent
02832ba45e
commit
ddb78c765a
@ -1,18 +1,18 @@
|
|||||||
\relax
|
\relax
|
||||||
\bibstyle{unsrt}
|
\bibstyle{unsrt}
|
||||||
\providecommand \oddpage@label [2]{}
|
\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{geromel2006stability}
|
||||||
\citation{branicky1998multiple,liberzon2003switching}
|
\citation{branicky1998multiple,liberzon2003switching}
|
||||||
\citation{mitchell2005time}
|
\citation{mitchell2005time}
|
||||||
\@writefile{toc}{\contentsline {section}{\numberline {2}State of the Art and Limits of Current Practice}{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}{3}{}\protected@file@percent }
|
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Control Theory and Hybrid Systems}{4}{}\protected@file@percent }
|
||||||
\citation{yang2024learning}
|
\citation{yang2024learning}
|
||||||
\citation{alur1993hybrid}
|
\citation{alur1993hybrid}
|
||||||
\citation{alur1995algorithmic}
|
\citation{alur1995algorithmic}
|
||||||
\citation{giannakopoulou2022fret}
|
\citation{giannakopoulou2022fret}
|
||||||
\citation{meyer2018strix,jacobs2017syntcomp}
|
\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{platzer2008differential,platzer2017complete}
|
||||||
\citation{fulton2015keymaera}
|
\citation{fulton2015keymaera}
|
||||||
\bibdata{references}
|
\bibdata{references}
|
||||||
@ -29,5 +29,5 @@
|
|||||||
\bibcite{platzer2008differential}{11}
|
\bibcite{platzer2008differential}{11}
|
||||||
\bibcite{platzer2017complete}{12}
|
\bibcite{platzer2017complete}{12}
|
||||||
\bibcite{fulton2015keymaera}{13}
|
\bibcite{fulton2015keymaera}{13}
|
||||||
\@writefile{toc}{\contentsline {section}{References}{6}{}\protected@file@percent }
|
\@writefile{toc}{\contentsline {section}{References}{7}{}\protected@file@percent }
|
||||||
\gdef \@abspage@last{7}
|
\gdef \@abspage@last{8}
|
||||||
|
|||||||
@ -1,13 +1,13 @@
|
|||||||
# Fdb version 4
|
# 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 ""
|
"./references.bib" 1757949790.55852 9415 fb740c67337f78e30e95f745a7cf3dae ""
|
||||||
"/usr/share/texlive/texmf-dist/bibtex/bst/base/unsrt.bst" 1292289607 18030 1376b4b231b50c66211e47e42eda2875 ""
|
"/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)
|
(generated)
|
||||||
"main.bbl"
|
"main.bbl"
|
||||||
"main.blg"
|
"main.blg"
|
||||||
(rewritten before read)
|
(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 ""
|
"/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/enc/dvips/base/8r.enc" 1165713224 4850 80dc9bab7f31fb78a000ccfed0e27cab ""
|
||||||
"/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 ""
|
"/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 ""
|
"/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1726065868 6800790 607442c924ed54405961d2b8ac2a25ae ""
|
||||||
"dane_proposal_format.cls" 1757942776.53402 2553 3bbf169a90a50515ed103fe388c111f0 ""
|
"dane_proposal_format.cls" 1757942776.53402 2553 3bbf169a90a50515ed103fe388c111f0 ""
|
||||||
"goals-and-outcomes/v4.tex" 1757864250.3119 5764 a67e489f9ea8343564010d217ae37ec2 ""
|
"goals-and-outcomes/v4.tex" 1757864250.3119 5764 a67e489f9ea8343564010d217ae37ec2 ""
|
||||||
"main.aux" 1757950267.84363 1476 86aee14919487c57b3ce6714b0985bff "pdflatex"
|
"main.aux" 1757950513.73578 1476 7b620cba913c1c5dec4a8772dfd69ad8 "pdflatex"
|
||||||
"main.bbl" 1757950134.84155 3170 7f578afdcd1e73f308616474dc5a4003 "bibtex main"
|
"main.bbl" 1757950472.76375 3170 7f578afdcd1e73f308616474dc5a4003 "bibtex main"
|
||||||
"main.tex" 1757949778.05137 187 67ba5ae29f0e910e3ba112163c915ffd ""
|
"main.tex" 1757950471.85075 228 b8ce7b699dae6f4898d522c9ecfeff34 ""
|
||||||
|
"sabo-quad-chart.pdf" 1757950359.77272 133742 e107b1b92665ad28257256b818191f52 ""
|
||||||
"state-of-the-art/v2.tex" 1757950266.45116 10918 a65147e24336b6a318bf18223339313e ""
|
"state-of-the-art/v2.tex" 1757950266.45116 10918 a65147e24336b6a318bf18223339313e ""
|
||||||
(generated)
|
(generated)
|
||||||
"main.aux"
|
"main.aux"
|
||||||
|
|||||||
@ -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/tfm/adobe/times/ptmr8r.tfm
|
||||||
INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf
|
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/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
|
INPUT ./goals-and-outcomes/v4.tex
|
||||||
INPUT ./goals-and-outcomes/v4.tex
|
INPUT ./goals-and-outcomes/v4.tex
|
||||||
|
|||||||
@ -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
|
entering extended mode
|
||||||
restricted \write18 enabled.
|
restricted \write18 enabled.
|
||||||
file:line:error style messages 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.
|
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 5.
|
||||||
[1
|
[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
|
||||||
|
<sabo-quad-chart.pdf, id=34, 722.7pt x 542.025pt>
|
||||||
|
File: sabo-quad-chart.pdf Graphic file (type pdf)
|
||||||
|
<use sabo-quad-chart.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)
|
||||||
|
<use sabo-quad-chart.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
|
||||||
|
<sabo-quad-chart.pdf, id=37, page=1, 722.7pt x 542.025pt>
|
||||||
|
File: sabo-quad-chart.pdf Graphic file (type pdf)
|
||||||
|
<use sabo-quad-chart.pdf, page 1>
|
||||||
|
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)
|
||||||
|
<use sabo-quad-chart.pdf, page 1>
|
||||||
|
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)
|
||||||
|
<use sabo-quad-chart.pdf, page 1>
|
||||||
|
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)
|
||||||
|
<use sabo-quad-chart.pdf, page 1>
|
||||||
|
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)
|
||||||
|
<use sabo-quad-chart.pdf, page 1>
|
||||||
|
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
|
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.
|
(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
|
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.
|
(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
|
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.
|
(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.
|
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
|
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd
|
||||||
File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm.
|
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
|
LaTeX2e <2023-11-01> patch level 1
|
||||||
L3 programming layer <2024-01-22>
|
L3 programming layer <2024-01-22>
|
||||||
***********
|
***********
|
||||||
)
|
)
|
||||||
Here is how much of TeX's memory you used:
|
Here is how much of TeX's memory you used:
|
||||||
25409 strings out of 476182
|
25421 strings out of 476182
|
||||||
527716 string characters out of 5795595
|
528088 string characters out of 5795595
|
||||||
1934975 words of memory out of 5000000
|
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
|
590786 words of font info for 108 fonts, out of 8000000 for 9000
|
||||||
14 hyphenation exceptions out of 8191
|
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
|
||||||
</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/symbol/usyr.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>
|
</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/symbol/usyr.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>
|
||||||
Output written on main.pdf (7 pages, 108704 bytes).
|
Output written on main.pdf (8 pages, 233483 bytes).
|
||||||
PDF statistics:
|
PDF statistics:
|
||||||
96 PDF objects out of 1000 (max. 8388607)
|
128 PDF objects out of 1000 (max. 8388607)
|
||||||
54 compressed objects within 1 object stream
|
75 compressed objects within 1 object stream
|
||||||
0 named destinations out of 1000 (max. 500000)
|
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)
|
||||||
|
|
||||||
|
|||||||
Binary file not shown.
Binary file not shown.
@ -3,7 +3,8 @@
|
|||||||
\begin{document}
|
\begin{document}
|
||||||
|
|
||||||
\maketitle
|
\maketitle
|
||||||
|
\includepdf{sabo-quad-chart.pdf}
|
||||||
|
\newpage
|
||||||
\input{goals-and-outcomes/v4}
|
\input{goals-and-outcomes/v4}
|
||||||
\newpage
|
\newpage
|
||||||
\input{state-of-the-art/v2}
|
\input{state-of-the-art/v2}
|
||||||
|
|||||||
BIN
Writing/ERLM/sabo-quad-chart.pdf
Normal file
BIN
Writing/ERLM/sabo-quad-chart.pdf
Normal file
Binary file not shown.
BIN
Writing/ERLM/sabodaneSOTA-v1.pdf
Normal file
BIN
Writing/ERLM/sabodaneSOTA-v1.pdf
Normal file
Binary file not shown.
Loading…
x
Reference in New Issue
Block a user