diff --git a/Presentations/ERLM/bouncing_ball_hybrid.py b/Presentations/ERLM/bouncing_ball_hybrid.py index bd6c0501a..9e6a81204 100644 --- a/Presentations/ERLM/bouncing_ball_hybrid.py +++ b/Presentations/ERLM/bouncing_ball_hybrid.py @@ -256,8 +256,40 @@ def plot_simulation(t, y, states, ball, show_phase=True): cbar2.set_ticklabels(["Free Fall", "Spring-Damper"]) if show_phase: - # Plot 3: Phase Portrait + # Plot 3: Vector Field / Phase Portrait ax3 = axes[0, 1] + + # Create vector field grid + pos_range = np.linspace(0, max(y[:, 0]) * 1.1, 15) + vel_range = np.linspace(min(y[:, 1]) * 1.1, max(y[:, 1]) * 1.1, 15) + Pos, Vel = np.meshgrid(pos_range, vel_range) + + # Calculate vector field + dPos = np.zeros_like(Pos) + dVel = np.zeros_like(Vel) + + for i in range(Pos.shape[0]): + for j in range(Pos.shape[1]): + pos_val = Pos[i, j] + vel_val = Vel[i, j] + + # Determine which dynamics to use + if pos_val > ball.r: + # Free fall dynamics + dPos[i, j] = vel_val + dVel[i, j] = -ball.g + else: + # Spring-damper dynamics + dPos[i, j] = vel_val + compression = ball.r - pos_val + spring_force = ball.k * compression + damping_force = ball.c * vel_val + dVel[i, j] = (spring_force - damping_force - ball.m * ball.g) / ball.m + + # Plot vector field + ax3.quiver(Pos, Vel, dPos, dVel, alpha=0.4, color='gray', scale=50) + + # Plot trajectory scatter3 = ax3.scatter( y[:, 0], y[:, 1], c=state_numeric, s=1, cmap="coolwarm", alpha=0.6 ) @@ -267,7 +299,7 @@ def plot_simulation(t, y, states, ball, show_phase=True): ax3.axhline(y=0, color="gray", linestyle="-", linewidth=1, alpha=0.5) ax3.set_xlabel("Position (m)", fontsize=11) ax3.set_ylabel("Velocity (m/s)", fontsize=11) - ax3.set_title("Phase Portrait", fontsize=12, fontweight="bold") + ax3.set_title("Vector Field & Phase Portrait", fontsize=12, fontweight="bold") ax3.grid(True, alpha=0.3) ax3.legend(fontsize=9) diff --git a/Presentations/ERLM/images/4_research_approach/procedure.png b/Presentations/ERLM/images/4_research_approach/procedure.png new file mode 100644 index 000000000..b9bcab07d Binary files /dev/null and b/Presentations/ERLM/images/4_research_approach/procedure.png differ diff --git a/Presentations/ERLM/main.aux b/Presentations/ERLM/main.aux index a365b4d60..92f7af0a8 100644 --- a/Presentations/ERLM/main.aux +++ b/Presentations/ERLM/main.aux @@ -14,17 +14,17 @@ \@writefile{nav}{\headcommand {\beamer@framepages {11}{13}}} \@writefile{nav}{\headcommand {\slideentry {0}{0}{6}{14/17}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {14}{17}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{18/18}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {18}{18}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{19/19}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {19}{19}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{9}{20/20}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {20}{20}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{21/21}{}{0}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{18/20}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {18}{20}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{21/21}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}} -\@writefile{nav}{\headcommand {\beamer@partpages {1}{21}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{21}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{21}}} -\@writefile{nav}{\headcommand {\beamer@documentpages {21}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{9}{22/22}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {22}{22}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{23/23}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {23}{23}}} +\@writefile{nav}{\headcommand {\beamer@partpages {1}{23}}} +\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{23}}} +\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{23}}} +\@writefile{nav}{\headcommand {\beamer@documentpages {23}}} \@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {10}}} -\gdef \@abspage@last{21} +\gdef \@abspage@last{23} diff --git a/Presentations/ERLM/main.fdb_latexmk b/Presentations/ERLM/main.fdb_latexmk index 6d15d36c9..c53020d01 100644 --- a/Presentations/ERLM/main.fdb_latexmk +++ b/Presentations/ERLM/main.fdb_latexmk @@ -1,21 +1,32 @@ # Fdb version 4 -["lualatex"] 1764455053.68402 "main.tex" "main.pdf" "main" 1764455056.17792 0 +["lualatex"] 1764459168.82799 "main.tex" "main.pdf" "main" 1764459171.54599 0 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1246382020 1004 54797486969f23fa377b128694d548df "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1246382020 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1246382020 916 f87d7c45f9c908e672703b83b72241a3 "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1246382020 924 9904cf1d39e9767e7a3622f2a125a565 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1246382020 928 2dc8d444221b7a635bb58038579b861a "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1246382020 908 2921f8a10601f252058503cc6570e581 "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1246382020 940 75ac932a52f80982a9f8ea75d03a34cf "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1246382020 940 228d6584342e91276bf566bcf9716b83 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.tfm" 1136768653 992 662f679a0b3d2d53c1b94050fdaa3f50 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm" 1136768653 1528 abec98dbc43e172678c11b3b9031252a "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1136768653 1524 4414a8315f39513458b80dfc63bff03a "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm" 1136768653 1508 3b32edd0d68f6498a5a375e78f9edc5e "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1136768653 1512 f21f83efb36853c0b70002322c1ab3ad "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi7.tfm" 1136768653 1528 e2423ae06dc7dee599cceb79d1c9dc32 "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1136768653 1520 eccf95517727cb11801f4f1aee3a21b4 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss10.tfm" 1136768653 1316 b636689f1933f24d1294acdf6041daaa "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm" 1136768653 1324 37b971caf729d7edd9cbb9f9b0ea76eb "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss17.tfm" 1136768653 1320 ed93d62c5f2c16343826001f03341dbc "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm" 1136768653 1296 d77f431d10d47c8ea2cc18cf45346274 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1136768653 1124 6c73e740cf17375f03eec0ee63599741 "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy5.tfm" 1136768653 1112 14d5d5f6bd3c949edecb5b872f295553 "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1136768653 1116 933a60c408fc0a863a92debe84b2d294 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy7.tfm" 1136768653 1120 2b3f9b25605010c69bc328bea6ac000f "" + "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1136768653 1120 8b7d695260f3cff42e636090a8002094 "" "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1248133631 32569 5e5ddc8df908dea60932f3c484a54c0d "" + "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb" 1248133631 32626 4f5c1b83753b1dd3a97d1b399a005b4b "" + "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb" 1248133631 31764 459c573c03a4949a528c2cc7f557e217 "" "/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1461363279 71627 94eb9990bed73c364d7f53f960cc8c5b "" "/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty" 1576625341 40635 c40361e206be584d448876bba8a64a3b "" "/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty" 1576016050 33961 6b5c75130e435b2bfdb9f480a09a39f9 "" @@ -285,6 +296,7 @@ "/usr/share/texmf/fonts/tfm/public/lm/ec-lmsso12.tfm" 1254269338 11352 d9e290eeb53800a380f9d1e4c40ad6c8 "" "/usr/share/texmf/fonts/tfm/public/lm/ec-lmsso17.tfm" 1254269338 11356 c443b354551592cb6ab466c242281873 "" "/usr/share/texmf/fonts/tfm/public/lm/ec-lmsso8.tfm" 1254269338 11312 6908420b41cb9ad797e206f7391721ea "" + "/usr/share/texmf/fonts/tfm/public/lm/ec-lmtt8.tfm" 1254269338 1380 64228d979098ac090aa3f98d5aa8ad3e "" "/usr/share/texmf/fonts/tfm/public/lm/rm-lmr12.tfm" 1254269338 11888 6841b91e46b65cf41a49b160e6e74130 "" "/usr/share/texmf/fonts/tfm/public/lm/rm-lmss12.tfm" 1254269338 11024 7a83ae8920360cd8bd5d0289069119dc "" "/usr/share/texmf/fonts/type1/public/lm/lmss12.pfb" 1255129361 96107 daf52840b555e3b38f9679b629b5e2df "" @@ -292,9 +304,11 @@ "/usr/share/texmf/fonts/type1/public/lm/lmssbx10.pfb" 1255129361 119663 e82fa1a58f98ccd89bdbd77311ac9cf1 "" "/usr/share/texmf/fonts/type1/public/lm/lmsso17.pfb" 1255129361 107277 12bb06b4f1b5546fd2b623f476f51ecb "" "/usr/share/texmf/fonts/type1/public/lm/lmsso8.pfb" 1255129361 106860 a773e4958b589eadcc5b01a914624508 "" + "/usr/share/texmf/fonts/type1/public/lm/lmtt8.pfb" 1255129361 115291 2ae7034c644e971beb573b1e6606f863 "" "/usr/share/texmf/tex/latex/lm/ot1lmr.fd" 1616454256 1882 28c08db1407ebff35a658fd141753d16 "" "/usr/share/texmf/tex/latex/lm/ot1lmss.fd" 1616454256 1657 338c306198616f83902603448cf66d97 "" "/usr/share/texmf/tex/latex/lm/t1lmss.fd" 1616454256 1641 f48673bce41ac279099d0c9523459753 "" + "/usr/share/texmf/tex/latex/lm/t1lmtt.fd" 1616454256 2682 555da1faa2e266801e4b221d01a42cb5 "" "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1760105440.02229 5312232 f3296911be9cc021788f3f879cf0a47d "" "/var/lib/texmf/web2c/luahbtex/lualatex.fmt" 1726065905 12230446 10024404f08a230959a13fd14332f6f6 "" "images/1_hook/energy-demand-graph-small.png" 1763336452.14299 498793 d4b20a2a70c23e430cd42f1a958494ac "" @@ -307,17 +321,18 @@ "images/3_limitations/foreman.png" 1764364968.83299 26755 f399e83f67628674d2f3d5d3760d5641 "" "images/3_limitations/test.png" 1764446369.57847 41645 34977944089d9523fe5838109f6022d0 "" "images/3_limitations/worker.png" 1764364968.83413 27672 7065ad1534208191d96629b550f62ee6 "" + "images/4_research_approach/procedure.png" 1764456080.21682 158772 222437d7a92958d3726adc307fb81a41 "" "images/back.jpg" 1763336452.15499 240691 0cb5c8c7430464955925d0babbadff74 "" "images/logo.png" 1763336452.15499 72759 d854b0b4145b18961bb2668be3694a61 "" "images/title.png" 1763336452.15499 7783 cf1b0502d51a4234f6adb5c03ec1ebaf "" - "main.aux" 1764455056.04504 1746 736203ef93fdcaa35faa161c8f973ada "lualatex" - "main.nav" 1764455056.04663 1133 f92dae69bc8ed80fd57b232a0e0688ae "lualatex" - "main.out" 1764455054.45404 0 d41d8cd98f00b204e9800998ecf8427e "lualatex" + "main.aux" 1764459171.40277 1746 0eb0eee5ad778b828fb5a345ff3786c5 "lualatex" + "main.nav" 1764459171.40277 1133 53fdb1aeaa40cdfa0707cff37314a6e8 "lualatex" + "main.out" 1764459169.57877 0 d41d8cd98f00b204e9800998ecf8427e "lualatex" "main.tex" 1764358487.97007 1747 a0f09a38bfba635b118c46cdaf2edf1e "" "slides/1_Hook.tex" 1764365003.84351 2229 97b6feb9df84753abe53753986ce82f2 "" "slides/2_State_of_the_Art.tex" 1764383975.9522 3141 35c30c8f499bcb66f057d446959e11cc "" "slides/3_Limitations.tex" 1764448781.58692 1453 7f207d2afdea9d103a33718f4aa61f29 "" - "slides/4_Research_Approach.tex" 1764455049.3585 991 5a25c05e91c6c9edda8c71bc16e10580 "" + "slides/4_Research_Approach.tex" 1764459167.39578 3322 47d81501a36180b5faf52f648f0c71fb "" "slides/5_Metrics_of_Success.tex" 1764192995.54475 0 d41d8cd98f00b204e9800998ecf8427e "" "slides/6_Risks_and_Contingencies.tex" 1764192995.54475 0 d41d8cd98f00b204e9800998ecf8427e "" "slides/7_Broader_Impacts.tex" 1764192995.54475 0 d41d8cd98f00b204e9800998ecf8427e "" diff --git a/Presentations/ERLM/main.fls b/Presentations/ERLM/main.fls index 4e20fea11..a0f334d3e 100644 --- a/Presentations/ERLM/main.fls +++ b/Presentations/ERLM/main.fls @@ -671,6 +671,39 @@ INPUT ./images/logo.png INPUT ./images/back.jpg INPUT ./images/logo.png INPUT ./images/logo.png +INPUT ./images/4_research_approach/procedure.png +INPUT ./images/4_research_approach/procedure.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/4_research_approach/procedure.png +INPUT /usr/share/texmf/tex/latex/lm/t1lmtt.fd +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmtt8.tfm +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/4_research_approach/procedure.png +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy5.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmss8.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso8.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso8.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso8.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso8.tfm INPUT ./images/back.jpg INPUT ./images/logo.png INPUT ./images/logo.png @@ -692,8 +725,11 @@ OUTPUT main.snm INPUT ./main.aux INPUT ./main.out INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb +INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb INPUT /usr/share/texmf/fonts/type1/public/lm/lmss12.pfb INPUT /usr/share/texmf/fonts/type1/public/lm/lmss8.pfb INPUT /usr/share/texmf/fonts/type1/public/lm/lmssbx10.pfb INPUT /usr/share/texmf/fonts/type1/public/lm/lmsso17.pfb INPUT /usr/share/texmf/fonts/type1/public/lm/lmsso8.pfb +INPUT /usr/share/texmf/fonts/type1/public/lm/lmtt8.pfb +INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb diff --git a/Presentations/ERLM/main.log b/Presentations/ERLM/main.log index cfe6a3d65..255035c62 100644 --- a/Presentations/ERLM/main.log +++ b/Presentations/ERLM/main.log @@ -1,4 +1,4 @@ -This is LuaHBTeX, Version 1.17.0 (TeX Live 2023/Debian) (format=lualatex 2024.9.11) 29 NOV 2025 17:24 +This is LuaHBTeX, Version 1.17.0 (TeX Live 2023/Debian) (format=lualatex 2024.9.11) 29 NOV 2025 18:32 restricted system commands enabled. file:line:error style messages enabled. **main.tex @@ -2091,63 +2091,106 @@ Package luatex.def Info: images/logo.png used on input line 22. ] File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 27. +Package luatex.def Info: images/logo.png used on input line 79. (luatex.def) Requested size: 56.9055pt x 22.63397pt. + +File: images/4_research_approach/procedure.png Graphic file (type png) + +Package luatex.def Info: images/4_research_approach/procedure.png used on input line 79. +(luatex.def) Requested size: 159.62085pt x 207.98618pt. File: images/back.jpg Graphic file (type jpg) -Package luatex.def Info: images/back.jpg used on input line 27. +Package luatex.def Info: images/back.jpg used on input line 79. (luatex.def) Requested size: 780.44925pt x 341.43306pt. File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 27. +Package luatex.def Info: images/logo.png used on input line 79. (luatex.def) Requested size: 56.9055pt x 22.63397pt. [18 -] -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 32. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. +<./images/4_research_approach/procedure.png>] +File: images/4_research_approach/procedure.png Graphic file (type png) + +Package luatex.def Info: images/4_research_approach/procedure.png used on input line 79. +(luatex.def) Requested size: 159.62085pt x 207.98618pt. +LaTeX Font Info: Trying to load font information for T1+lmtt on input line 79. + (/usr/share/texmf/tex/latex/lm/t1lmtt.fd +File: t1lmtt.fd 2015/05/01 v1.6.1 Font defs for Latin Modern +) File: images/back.jpg Graphic file (type jpg) -Package luatex.def Info: images/back.jpg used on input line 32. +Package luatex.def Info: images/back.jpg used on input line 79. (luatex.def) Requested size: 780.44925pt x 341.43306pt. File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 32. +Package luatex.def Info: images/logo.png used on input line 79. (luatex.def) Requested size: 56.9055pt x 22.63397pt. [19 ] -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 37. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. +File: images/4_research_approach/procedure.png Graphic file (type png) + +Package luatex.def Info: images/4_research_approach/procedure.png used on input line 79. +(luatex.def) Requested size: 159.62085pt x 207.98618pt. +LaTeX Font Info: Font shape `T1/lmss/m/it' in size <8> not available +(Font) Font shape `T1/lmss/m/sl' tried instead on input line 79. +LaTeX Font Info: Font shape `T1/lmss/m/it' in size <5> not available +(Font) Font shape `T1/lmss/m/sl' tried instead on input line 79. File: images/back.jpg Graphic file (type jpg) -Package luatex.def Info: images/back.jpg used on input line 37. +Package luatex.def Info: images/back.jpg used on input line 79. (luatex.def) Requested size: 780.44925pt x 341.43306pt. File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 37. +Package luatex.def Info: images/logo.png used on input line 79. (luatex.def) Requested size: 56.9055pt x 22.63397pt. [20 ] File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 42. +Package luatex.def Info: images/logo.png used on input line 101. (luatex.def) Requested size: 56.9055pt x 22.63397pt. File: images/back.jpg Graphic file (type jpg) -Package luatex.def Info: images/back.jpg used on input line 42. +Package luatex.def Info: images/back.jpg used on input line 101. (luatex.def) Requested size: 780.44925pt x 341.43306pt. File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 42. +Package luatex.def Info: images/logo.png used on input line 101. (luatex.def) Requested size: 56.9055pt x 22.63397pt. [21 +] +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 106. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 106. +(luatex.def) Requested size: 780.44925pt x 341.43306pt. +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 106. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [22 + +] +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 111. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 111. +(luatex.def) Requested size: 780.44925pt x 341.43306pt. +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 111. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [23 + ]) (./slides/5_Metrics_of_Success.tex) (./slides/6_Risks_and_Contingencies.tex) (./slides/7_Broader_Impacts.tex) (./slides/8_Money_Slide.tex) \tf@nav=\write6 @@ -2168,19 +2211,19 @@ Package rerunfilecheck Info: File `main.out' has not changed. ) Here is how much of LuaTeX's memory you used: - 41781 strings out of 476553 + 41926 strings out of 476553 100000,1977958 words of node,token memory allocated 2586 words of node memory still in use: 47 hlist, 9 vlist, 11 rule, 8 disc, 2 local_par, 2 math, 58 glue, 9 kern, 10 penalty, 89 glyph, 63 glue_spec, 4 write, 68 pdf_literal, 42 pdf_colorstack nodes - avail lists: 2:35,3:4138,4:297,5:379,6:46,7:5375,8:2,9:4581,10:10,11:130 - 61579 multiletter control sequences out of 65536+600000 - 71 fonts using 2947807 bytes + avail lists: 2:35,3:4138,4:417,5:382,6:64,7:5375,8:2,9:4581,10:10,11:130 + 61694 multiletter control sequences out of 65536+600000 + 95 fonts using 3939739 bytes 128i,18n,116p,747b,1110s stack positions out of 10000i,1000n,20000p,200000b,200000s -{/usr/share/texmf/fonts/enc/dvips/lm/lm-ec.enc} -Output written on main.pdf (21 pages, 1624431 bytes). +{/usr/share/texmf/fonts/enc/dvips/lm/lm-ec.enc} +Output written on main.pdf (23 pages, 1767385 bytes). -PDF statistics: 255 PDF objects out of 1000 (max. 8388607) - 167 compressed objects within 2 object streams - 43 named destinations out of 1000 (max. 131072) +PDF statistics: 283 PDF objects out of 1000 (max. 8388607) + 188 compressed objects within 2 object streams + 47 named destinations out of 1000 (max. 131072) 176 words of extra memory for PDF output out of 10000 (max. 100000000) diff --git a/Presentations/ERLM/main.nav b/Presentations/ERLM/main.nav index 43628b216..e2d2ab667 100644 --- a/Presentations/ERLM/main.nav +++ b/Presentations/ERLM/main.nav @@ -10,16 +10,16 @@ \headcommand {\beamer@framepages {11}{13}} \headcommand {\slideentry {0}{0}{6}{14/17}{}{0}} \headcommand {\beamer@framepages {14}{17}} -\headcommand {\slideentry {0}{0}{7}{18/18}{}{0}} -\headcommand {\beamer@framepages {18}{18}} -\headcommand {\slideentry {0}{0}{8}{19/19}{}{0}} -\headcommand {\beamer@framepages {19}{19}} -\headcommand {\slideentry {0}{0}{9}{20/20}{}{0}} -\headcommand {\beamer@framepages {20}{20}} -\headcommand {\slideentry {0}{0}{10}{21/21}{}{0}} +\headcommand {\slideentry {0}{0}{7}{18/20}{}{0}} +\headcommand {\beamer@framepages {18}{20}} +\headcommand {\slideentry {0}{0}{8}{21/21}{}{0}} \headcommand {\beamer@framepages {21}{21}} -\headcommand {\beamer@partpages {1}{21}} -\headcommand {\beamer@subsectionpages {1}{21}} -\headcommand {\beamer@sectionpages {1}{21}} -\headcommand {\beamer@documentpages {21}} +\headcommand {\slideentry {0}{0}{9}{22/22}{}{0}} +\headcommand {\beamer@framepages {22}{22}} +\headcommand {\slideentry {0}{0}{10}{23/23}{}{0}} +\headcommand {\beamer@framepages {23}{23}} +\headcommand {\beamer@partpages {1}{23}} +\headcommand {\beamer@subsectionpages {1}{23}} +\headcommand {\beamer@sectionpages {1}{23}} +\headcommand {\beamer@documentpages {23}} \headcommand {\gdef \inserttotalframenumber {10}} diff --git a/Presentations/ERLM/main.pdf b/Presentations/ERLM/main.pdf index e55058ad6..699b47184 100644 Binary files a/Presentations/ERLM/main.pdf and b/Presentations/ERLM/main.pdf differ diff --git a/Presentations/ERLM/main.synctex.gz b/Presentations/ERLM/main.synctex.gz index 3443a2ac9..c9e3349ec 100644 Binary files a/Presentations/ERLM/main.synctex.gz and b/Presentations/ERLM/main.synctex.gz differ diff --git a/Presentations/ERLM/slides/4_Research_Approach.tex b/Presentations/ERLM/slides/4_Research_Approach.tex index c7f3d7732..376ff9c00 100644 --- a/Presentations/ERLM/slides/4_Research_Approach.tex +++ b/Presentations/ERLM/slides/4_Research_Approach.tex @@ -23,12 +23,81 @@ \begin{frame}{First, we will formalize written procedures into logical statements} - + + \begin{columns} + \begin{column}{0.33\textwidth} + \includegraphics[width=\textwidth]{images/4_research_approach/procedure.png} + \end{column} + + \begin{column}{0.33\textwidth} + \only<2>{ + \begin{alertblock}{FRET Specification} + \scriptsize + \texttt{INITIAL\_CONDITIONS shall satisfy:} + \begin{itemize} + \item[] \texttt{mode = MODE\_5} + \item[] \texttt{k\_eff < 0.99} + \item[] \texttt{power = 0} + \item[] \texttt{t\_avg < 200} + \item[] \texttt{...} + \end{itemize} + \end{alertblock} + } + + \only<3->{ + \begin{block}{FRET Specification} + \scriptsize + \texttt{INITIAL\_CONDITIONS shall satisfy:} + \begin{itemize} + \item[] \texttt{mode = MODE\_5} + \item[] \texttt{k\_eff < 0.99} + \item[] \texttt{power = 0} + \item[] \texttt{t\_avg < 200} + \item[] \texttt{...} + \end{itemize} + \end{block} + } + \end{column} + + \begin{column}{0.33\textwidth} + \only<3>{ + \begin{alertblock}{LTL Formula} + \scriptsize + \texttt{$\Box$ (initial $\rightarrow$ (} + \begin{itemize} + \item[] \texttt{mode = MODE\_5 $\land$} + \item[] \texttt{k\_eff < 0.99 $\land$} + \item[] \texttt{power = 0 $\land$} + \item[] \texttt{t\_avg < 200 $\land$} + \item[] \texttt{...))} + \end{itemize} + \end{alertblock} + } + \end{column} + \end{columns} + \end{frame} \begin{frame}{Second, we will use the logical formulae to generate discrete automata} + \centering + \begin{tikzpicture}[node distance=2cm] + % Blocks + \node[draw, rectangle, minimum width=3cm, minimum height=1.5cm, align=center, fill=blue!20] (ltl) {LTL\\Specification}; + \node[draw, rectangle, minimum width=3cm, minimum height=1.5cm, align=center, fill=blue!20, right=of ltl] (game) {Game\\Graph}; + \node[draw, rectangle, minimum width=3cm, minimum height=1.5cm, align=center, fill=blue!20, right=of game] (automata) {Discrete\\Automata}; + + % Arrows + \draw[->, thick] (ltl) -- (game); + \draw[->, thick] (game) -- (automata); + + % Curly bracket + \draw[decorate, decoration={brace, amplitude=10pt, mirror}, thick] + ([yshift=-1cm]ltl.south west) -- ([yshift=-1cm]automata.south east) + node[midway, below=0.5cm] {\textbf{Reactive Synthesis}}; + \end{tikzpicture} + \end{frame} \begin{frame}{Finally, we will build continuous controllers to move between