diff --git a/.sessions/Journal.vim b/.sessions/Journal.vim index d15dd443..d5343b71 100644 --- a/.sessions/Journal.vim +++ b/.sessions/Journal.vim @@ -31,7 +31,7 @@ setlocal foldnestmax=20 setlocal foldenable silent! normal! zE let &fdl = &fdl -let s:l = 1 - ((0 * winheight(0) + 28) / 57) +let s:l = 1 - ((0 * winheight(0) + 32) / 64) if s:l < 1 | let s:l = 1 | endif keepjumps exe s:l normal! zt diff --git a/.sessions/nvim_config.vim b/.sessions/nvim_config.vim index 77425ef1..dbf694ae 100644 --- a/.sessions/nvim_config.vim +++ b/.sessions/nvim_config.vim @@ -13,13 +13,14 @@ if &shortmess =~ 'A' else set shortmess=aoO endif -badd +186 ~/.config/nvim/lua/custom/plugins.lua -badd +1 ~/.config/nvim/lua/custom/language_specific_commands/markdown_and_tex.lua +badd +12 ~/.config/nvim/lua/custom/plugins.lua +badd +44 custom/configs/lspconfig.lua +badd +106 custom/journal.lua argglobal %argdel -edit ~/.config/nvim/lua/custom/plugins.lua +edit custom/journal.lua argglobal -balt ~/.config/nvim/lua/custom/language_specific_commands/markdown_and_tex.lua +balt ~/.config/nvim/lua/custom/plugins.lua setlocal foldmethod=manual setlocal foldexpr=v:lua.vim.treesitter.foldexpr() setlocal foldmarker={{{,}}} @@ -30,12 +31,12 @@ setlocal foldnestmax=20 setlocal foldenable silent! normal! zE let &fdl = &fdl -let s:l = 186 - ((42 * winheight(0) + 28) / 57) +let s:l = 1 - ((0 * winheight(0) + 32) / 64) if s:l < 1 | let s:l = 1 | endif keepjumps exe s:l normal! zt -keepjumps 186 -normal! 024| +keepjumps 1 +normal! 0 tabnext 1 if exists('s:wipebuf') && len(win_findbuf(s:wipebuf)) == 0 && getbufvar(s:wipebuf, '&buftype') isnot# 'terminal' silent exe 'bwipe ' . s:wipebuf diff --git a/Writing/ERLM/dane_proposal_format.cls b/Writing/ERLM/dane_proposal_format.cls index 345678b1..e92cccf7 100644 --- a/Writing/ERLM/dane_proposal_format.cls +++ b/Writing/ERLM/dane_proposal_format.cls @@ -96,7 +96,7 @@ \newcommand{\emphitem}[1]{\item \emph{#1:}} % Default document metadata (can be overridden) -\title{Doofus Forgot to Change the Title} +\title{From Cold Start to Critical:\\ Formal Synthesis of Hybrid Controllers} \author{% PI: Dane A. Sabo\\ dane.sabo@pitt.edu\\ diff --git a/Writing/ERLM/main.fdb_latexmk b/Writing/ERLM/main.fdb_latexmk index 6b8138b9..dab15963 100644 --- a/Writing/ERLM/main.fdb_latexmk +++ b/Writing/ERLM/main.fdb_latexmk @@ -1,5 +1,5 @@ # Fdb version 4 -["bibtex main"] 0 "main.aux" "main.bbl" "main" 1756847558.72036 0 +["bibtex main"] 0 "main.aux" "main.bbl" "main" 1756866345.56251 0 "/usr/share/texlive/texmf-dist/bibtex/bst/base/unsrt.bst" 1292289607 18030 1376b4b231b50c66211e47e42eda2875 "" "main.aux" 0 -1 0 "pdflatex" "references.bib" 0 -1 0 "" @@ -7,8 +7,8 @@ "main.bbl" "main.blg" (rewritten before read) -["pdflatex"] 1756847557.58241 "main.tex" "main.pdf" "main" 1756847558.72099 0 - "/etc/texmf/web2c/texmf.cnf" 1722610814.59577 475 c0e671620eb5563b2130f56340a5fde8 "" +["pdflatex"] 1756866345.1432 "main.tex" "main.pdf" "main" 1756866345.56276 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 "" "/usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvb7t.tfm" 1136768653 2240 eb56c13537f4d8a0bd3fafc25572b1bd "" @@ -207,12 +207,12 @@ "/usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty" 1655411236 4937 4ce600ce9bd4ec84d0250eb6892fcf4f "" "/usr/share/texlive/texmf-dist/web2c/texmf.cnf" 1707919699 40399 f2c302f7d2af602abb742093540a5834 "" "/usr/share/texmf/web2c/texmf.cnf" 1707919699 40399 f2c302f7d2af602abb742093540a5834 "" - "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1722610820.43889 128028 f533b797fba58d231669ea19e894e23e "" - "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1726005817 6800784 2b63e5a224c5ad740802d8f9921962c1 "" - "dane_proposal_format.cls" 1756834917.51893 2515 6cff3512a2b7fa3df1fd017eab88ff53 "" - "main.aux" 1756847558.50614 213 8bec41973e7f8a0e3c5820f1e8e33fe1 "pdflatex" + "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1726065856.46263 128028 f533b797fba58d231669ea19e894e23e "" + "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1726065868 6800790 607442c924ed54405961d2b8ac2a25ae "" + "dane_proposal_format.cls" 1756866343.25274 2551 deee3ebc77bdfb5d08546fb19b3bdd53 "" + "main.aux" 1756866345.49569 213 8bec41973e7f8a0e3c5820f1e8e33fe1 "pdflatex" "main.bbl" 0 -1 0 "bibtex main" - "main.tex" 1756847555.85727 624 1b58589421635246f3981324f50f6560 "" + "main.tex" 1756865478.72503 3553 735c6dfea3f38b408b7239e8aa1a4ada "" (generated) "main.aux" "main.log" diff --git a/Writing/ERLM/main.fls b/Writing/ERLM/main.fls index ed273016..b8ab0e1b 100644 --- a/Writing/ERLM/main.fls +++ b/Writing/ERLM/main.fls @@ -388,6 +388,8 @@ INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/helvetic/phvb7t.vf INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvb8r.tfm INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/helvetic/phvr7t.vf INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvr8r.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/helvetic/phvb7t.vf +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvb8r.tfm INPUT main.aux INPUT /usr/share/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvb8a.pfb INPUT /usr/share/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb diff --git a/Writing/ERLM/main.log b/Writing/ERLM/main.log index 2249b530..a0a80c95 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.10) 2 SEP 2025 17:12 +This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2024.9.11) 2 SEP 2025 22:25 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. @@ -830,6 +830,10 @@ File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}] +Overfull \hbox (0.67523pt too wide) in paragraph at lines 57--62 +\OT1/phv/m/n/12 each mode tran-si-tion as al-lowed from the re-quire-ments syn-the-sis squares up against + [] + No file main.bbl. [1] (./main.aux) *********** @@ -838,15 +842,15 @@ L3 programming layer <2024-01-22> *********** ) Here is how much of TeX's memory you used: - 25240 strings out of 476182 - 524663 string characters out of 5795595 - 1925975 words of memory out of 5000000 - 46722 multiletter control sequences out of 15000+600000 - 570175 words of font info for 59 fonts, out of 8000000 for 9000 + 25245 strings out of 476182 + 524777 string characters out of 5795595 + 1933975 words of memory out of 5000000 + 46726 multiletter control sequences out of 15000+600000 + 571272 words of font info for 60 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 110i,6n,107p,1008b,285s stack positions out of 10000i,1000n,20000p,200000b,200000s -Output written on main.pdf (2 pages, 20806 bytes). +Output written on main.pdf (2 pages, 24992 bytes). PDF statistics: 49 PDF objects out of 1000 (max. 8388607) 24 compressed objects within 1 object stream diff --git a/Writing/ERLM/main.pdf b/Writing/ERLM/main.pdf index 86e774a7..999ad67b 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 c4bc3f40..c01e7272 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 ad764e59..0621f505 100644 --- a/Writing/ERLM/main.tex +++ b/Writing/ERLM/main.tex @@ -11,8 +11,62 @@ construction. Modern control systems today often exist as hybrid control systems. Hybrid systems are those that have both continuous and discrete dynamics. Because of this, hybrid systems cannot be fully analyzed using only tools from continuous or discrete methods. Today, hybrid control systems are -unable to completely verified. +unable to be completely verified, that is to say we do not currently have ways +of being building hybrid control systems that we can be certain meet high level +strategic objectives, or who's behavior is totally understood. +The ambiguity on hybrid system behavior is problematic when one of the most +useful cases of hybrid system control is for improved autonomy of critical +systems. Nuclear power is a salient example. For a nuclear reactor during +start-up, every mode of power from initially cold-start, to controlled core +heating, and eventually full operating power is well understood dynamically. +For each of these modes, significant portions of the control are optimized using +automated controllers for each stage. The problem that remains for human +operators is choosing when to switch from control law to the next, and ensuring +that the proper conditions are met to do so--but these conditions are also +clearly defined in regulation and operating procedures a priori. + +We can use the fact that these transition points are well understood in +combination with formal methods to synthesize the discrete part of a hybrid +system. From that point, we can have a robust chain of proof that our discrete +jumps will happen only at the correct times. Once that is established, we can +use reachability analysis and traditional control theory to ensure that each +operation 'mode' satisfies liveness, stability, or performance requirements. +With the combination of these two methods, we can be sure of correct behavior +switching between modes, and that strategic goals remain met while transitioning +from one mode switch to the next. + +If this research is successful, we will be able to do the following: + +\begin{enumerate} + + \item + \textbf{Formalize} mode switching requirements as logical statements that + can then be translated into a controller implementation. This piece will + address the correct-by-construction generation of the mode switching + controller. + + \item + \textbf{Categorize} different continuous modes by their strategic relevance. + Certain modes exist as control laws from one mode to the next, such as a + controlled heating rate on reactor start-up before reaching operational + conditions. Other modes exist as stable regions, such as full-power + operation. + + \item + \textbf{Verify} continuous modes and accompanying continuous control laws + satisfy strategic requirements. This can be done with reachability analysis, + and ensuring that each mode transition as allowed from the requirements + synthesis squares up against the reachability analysis and the continuous + dynamics. + + \item + \textbf{Prove} that a given hybrid system achieves strategic goals across + hybrid control modes. By seperately formalizing and analyzing continuous + dyanmics and discrete dynamics, we can come back to say the whole hybrid + system has met a strong guarantee of requirement adherence. + +\end{enumerate} \bibliography{references} diff --git a/Writing/Journal/JRNL-20250902-225115.md b/Writing/Journal/JRNL-20250902-225115.md new file mode 100644 index 00000000..268107b7 --- /dev/null +++ b/Writing/Journal/JRNL-20250902-225115.md @@ -0,0 +1,126 @@ +--- +id: JRNL-20250902-225115 +title: Tuesday, September 02, 2025 - 10:51 PM +type: journal +created: 2025-09-03T02:51:15Z +modified: 2025-09-03T02:51:15Z +tags: [journal] +--- + +# Tuesday, September 02, 2025 - 10:51 PM + +Today was somewhat of a full day, and an even fuller head of +thoughts. But, that's what you're for dear journal. + +I started today off feeling anxious as all hell. This might +seem silly further in the future, but I think a lot of it +comes down to feelings about a girl. For future me who may +not remember well, there's this girl Claire, who you talked +to on the Benedum patio. There was a bouncy house, for +whatever fucking reason, and you were smiling politely +watching some *adults* enjoy the random bouncy house. It was +a good moment. She noticed, and we struck up a conversation. + +She was cool. Claire is a transfer student from Juniata +college and is now technically a sophomore mechanical +engineering student, though she'll tell you she's more of a +junior. Good for her to make that switch--I'm sure that will +pay off in dividends later. She is interested in +prosthetics, and you recommended Humotech as a possible spot +to land an internship next summer. She asked about our +thesis, and how we like grad school. I'm pretty sure I gave +an answer somewhere in the middle that I like it a lot but +it's certainly a challenge. She had to go to class (MEMS +0024, lol), and I totally fumbled and did not get her +number. She was clearly interested. + +A couple days later, I saw her again on the patio when +Andrew and I were going to eat lunch. We waved and exchanged +smiles, but I didn't talk to her other than that. I regret +that. I feel like I felt weird if I would've left Andrew +alone while I did that, which probably does have some merit, +but I also feel like there's an age gap problem. I'm 24, +going on 25, and she's 20 (maybe close to 21?). Now that I'm +writing this, I don't feel like it should be an issue +really, especially if there's a vibe and they (not +necessarily Claire) are mature enough. I should've said hi +and been more deliberate. + +Things took a turn when I found her profile on Tinder. +Before, I thought she was cute and nice, but her first +picture on her profile at the time is her in a pink floral +two piece swimsuit, and holy moly she is hot. I have to +admit I was taken pretty down hard by lust at that point. +She, at the time of this writing, has not liked me back. +With a profile like that though I'm sure she's getting +plenty of attention and I might be lost in the stack. I'm +not too pressed about it. + +Knowing that her class was today (Tuesday) though, I thought +I'd sit out on the patio in case we bumped into each other. +I did see her, but either she did not see me, or +purposefully avoided me while she was headed into class. I +think she was just busy. I'll try again next week perhaps +unless I see her sooner? Who's to say. Not a priority. + +I had therapy today. That went okay, I guess. We talked +about this feeling of feeling disconnected that I've had +recently. I have felt somewhat alone even while around +others, and a bit less like myself. Kind of like I have less +control over what I say or do. I would really like to get a +handle on that. This journal should help. Rachel also +recommened checking out a self-compassion test and to give +myself some credit that things are good, and it's okay to be +feeling weird. It's a big transition from what I was living. +She also pointed at trauma... is this a trauma response? Am +I waiting for a shoe to drop? + +One thing we talked about is why am I not able to bring +myself the happiness I would expect to get from having a +partner? Am I seeking someone because I genuinely want a +relationship or because I feel like I need someone else or +am bored? I think it might be the latter, and that it's not +a good time for me to get serious right now. I don't want to +keep my head under the sand either, but it might be a good +idea to relax some. I need to be happy on my own before I +can bring that happiness to the table with someone else. But +we'll get there. + +Lewie is feeling rough with leg pains again. Amber and I +were supposed to meet up this weekend to hang out at the dog +park but that has been postponed a couple of weeks. I really +hope he feels better soon, I feel bad for the puppo. I +thought I saw a little limp on the webcam last week, but he +immediately walked it off. Maybe that concrete isn't +helping. Poor thing. + +Then, I went to Ngoc's grandma's wake. She was 83 when she +died. It was somber, and honestly really hard to be there. +Kim was particularly upset. Their family was very kind, but +it reminded me of the disbelief that I had when my mom died. +I remember the wake being very strange. I flitted around the +room talking to different people almost as if to entertain. +Like nothing was really that wrong to begin with. Then, when +the pawl bearers brought the casket out, there was a +realization that overtook me completely. I could see that +for some of her family, they hadn't hit that realization +yet. + +I drove back to school after that and hung out in Matt's lab +for a while. I tried to write some goals and outcomes, but +didn't make any progress. It was nice to be around friends, +though. Then, I gave David a ride up to the VA hospital +where his car was parked. + +I thought I noticed Eliana shooting looks at me. I followed +her on instagram, I guess we'll see where things go. + +Tomorrow I'll see Devyn and Erik! I'm very excited for that. +We're getting dinner at Totopo and perhaps drinks at +Hitchhiker. Devyn is interviewing at Aerotech for a new job. +Good for him. It'll be nice to see Erik too. + +That's pretty much it. I listened to some Matt Maltese this +afternoon and that made me feel a bit better. Now that it's +after midnight, I can't complain and feel more neutral than +anything. I'm excited to ride my bike in to school tomorrow. diff --git a/Writing/Journal/compiled_journal.pdf b/Writing/Journal/compiled_journal.pdf new file mode 100644 index 00000000..2a594831 Binary files /dev/null and b/Writing/Journal/compiled_journal.pdf differ diff --git a/Writing/Journal/journal_config.txt b/Writing/Journal/journal_config.txt new file mode 100644 index 00000000..83e5c993 --- /dev/null +++ b/Writing/Journal/journal_config.txt @@ -0,0 +1,6 @@ +# Journal Config +pdf-engine=xelatex +V geometry:margin=1.5in +V fontsize=12pt +toc +V title=My Journal