From b157fa15f5756b7ba8ef4d299f63d1ab7b906933 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Thu, 11 Sep 2025 16:55:39 -0400 Subject: [PATCH] Auto sync: 2025-09-11 16:55:39 (6 files changed) M .task/backlog.data M .task/completed.data M .task/pending.data M .task/undo.data A Writing/ERLM/state-of-the-art/v1.tex A "Zettelkasten/Permanent Notes/Literature Notes/LIT-20250911143337-multiple-lyapunov-functions-and-other-analysis-tools-for-swtiched-and-hybrid-systems.md" --- .task/backlog.data | 8 +++ .task/completed.data | 3 ++ .task/pending.data | 7 ++- .task/undo.data | 30 ++++++++++++ Writing/ERLM/state-of-the-art/v1.tex | 13 +++++ ...s-tools-for-swtiched-and-hybrid-systems.md | 49 +++++++++++++++++++ 6 files changed, 106 insertions(+), 4 deletions(-) create mode 100644 Writing/ERLM/state-of-the-art/v1.tex create mode 100644 Zettelkasten/Permanent Notes/Literature Notes/LIT-20250911143337-multiple-lyapunov-functions-and-other-analysis-tools-for-swtiched-and-hybrid-systems.md diff --git a/.task/backlog.data b/.task/backlog.data index 218378141..7be9eeb3b 100644 --- a/.task/backlog.data +++ b/.task/backlog.data @@ -23,3 +23,11 @@ {"description":"Write outline for state of the art","due":"20250910T040000Z","entry":"20250909T183935Z","modified":"20250909T203502Z","project":"ERLM","start":"20250909T203502Z","status":"pending","uuid":"8e7a8e19-9197-4008-b7d9-521ffcf7ba91"} {"description":"Write outline for state of the art","due":"20250910T040000Z","entry":"20250909T183935Z","modified":"20250909T210227Z","project":"ERLM","status":"pending","uuid":"8e7a8e19-9197-4008-b7d9-521ffcf7ba91"} {"description":"get FSAE COM and track data to Matt barry for statics problem. He also wants a cad model?","due":"20250919T040000Z","entry":"20250910T145308Z","modified":"20250910T145308Z","status":"pending","uuid":"48f997bf-b686-4c0b-bee5-ac8e5f874ad9"} +{"description":"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations","entry":"20250910T150523Z","modified":"20250910T150523Z","project":"Thesis","status":"pending","uuid":"96c76e6b-5c33-4f54-a156-5c59e718f01a","tags":["reading"]} +{"description":"Write outline for state of the art","due":"20250910T040000Z","end":"20250910T150546Z","entry":"20250909T183935Z","modified":"20250910T150546Z","project":"ERLM","status":"completed","uuid":"8e7a8e19-9197-4008-b7d9-521ffcf7ba91"} +{"description":"Read Branicky Lyapunov paper","entry":"20250911T183429Z","modified":"20250911T183429Z","project":"Thesis","status":"pending","uuid":"f4d32147-ec74-4f68-b8d5-146c0b6f35df","tags":["reading"]} +{"description":"Follow up with Daniel about controls bootcamp","due":"20250911T040000Z","end":"20250911T192302Z","entry":"20250909T201850Z","modified":"20250911T192302Z","project":"FSAE","status":"completed","uuid":"3eaadead-4e5e-4823-9077-16d6e1800862"} +{"description":"Follow up with Bajaj about writing TurboSAR paper","due":"20250911T040000Z","end":"20250911T192302Z","entry":"20250909T202126Z","modified":"20250911T192303Z","priority":"L","status":"completed","uuid":"fa2699f9-0082-433e-ae0d-cc2553db9865"} +{"description":"Read Branicky Lyapunov paper","entry":"20250911T183429Z","modified":"20250911T200147Z","project":"Thesis","start":"20250911T200147Z","status":"pending","uuid":"f4d32147-ec74-4f68-b8d5-146c0b6f35df","tags":["reading"]} +{"description":"Write first draft of state of the art","due":"20250912T040000Z","entry":"20250909T203258Z","modified":"20250911T200235Z","project":"ERLM","status":"pending","uuid":"4bec1530-18bc-43cb-9f0b-61e35dbf1730","tags":["writing"],"depends":["8e7a8e19-9197-4008-b7d9-521ffcf7ba91","96c76e6b-5c33-4f54-a156-5c59e718f01a","f4d32147-ec74-4f68-b8d5-146c0b6f35df"]} +{"description":"Read Branicky Lyapunov paper","entry":"20250911T183429Z","modified":"20250911T201816Z","project":"Thesis","status":"pending","uuid":"f4d32147-ec74-4f68-b8d5-146c0b6f35df","tags":["reading"]} diff --git a/.task/completed.data b/.task/completed.data index 9816ab662..6dd6daf18 100644 --- a/.task/completed.data +++ b/.task/completed.data @@ -1,2 +1,5 @@ +[description:"Follow up with Daniel about controls bootcamp" due:"1757563200" end:"1757618582" entry:"1757449130" modified:"1757618582" project:"FSAE" status:"completed" uuid:"3eaadead-4e5e-4823-9077-16d6e1800862"] +[description:"Follow up with Bajaj about writing TurboSAR paper" due:"1757563200" end:"1757618582" entry:"1757449286" modified:"1757618583" priority:"L" status:"completed" uuid:"fa2699f9-0082-433e-ae0d-cc2553db9865"] +[description:"Write outline for state of the art" due:"1757476800" end:"1757516746" entry:"1757443175" modified:"1757516746" project:"ERLM" status:"completed" uuid:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91"] [description:"learn taskmaster" end:"1757438776" entry:"1757438739" modified:"1757438776" status:"completed" uuid:"b4945a12-909c-47cc-8779-e3f8f917181c"] [description:"try taskmaster" end:"1757438779" entry:"1757438747" modified:"1757438779" status:"completed" uuid:"a56a03cd-36ec-4786-907b-77d8d162426d"] diff --git a/.task/pending.data b/.task/pending.data index c1a49eaeb..a1074898d 100644 --- a/.task/pending.data +++ b/.task/pending.data @@ -1,9 +1,8 @@ -[description:"Write outline for state of the art" due:"1757476800" entry:"1757443175" modified:"1757451747" project:"ERLM" status:"pending" uuid:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91"] [description:"Write zettels about Andre Platzer and differential dynamic logic" entry:"1757443210" modified:"1757443210" project:"zk" status:"pending" uuid:"74f33a56-3525-47d2-aa8c-fcb9488c7726"] [description:"Write zettels about webofscience database" entry:"1757443242" modified:"1757443242" project:"zk" status:"pending" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"] [description:"Look over obsidian tasks and see if anything is worth moving over" entry:"1757443262" modified:"1757443262" status:"pending" tags:"taskwarrior" tags_taskwarrior:"x" uuid:"c1a5390d-5b84-4f9c-8acb-ffb970682660"] -[description:"Follow up with Daniel about controls bootcamp" due:"1757563200" entry:"1757449130" modified:"1757449130" project:"FSAE" status:"pending" uuid:"3eaadead-4e5e-4823-9077-16d6e1800862"] -[description:"Follow up with Bajaj about writing TurboSAR paper" due:"1757563200" entry:"1757449286" modified:"1757449363" priority:"L" status:"pending" uuid:"fa2699f9-0082-433e-ae0d-cc2553db9865"] [description:"Look around for summer internships with national labs" entry:"1757449731" modified:"1757449731" status:"pending" uuid:"d3f3dc53-4feb-4b7e-8de5-86ebf3c535d5"] -[dep_8e7a8e19-9197-4008-b7d9-521ffcf7ba91:"x" depends:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91" description:"Write first draft of state of the art" due:"1757649600" entry:"1757449978" modified:"1757449978" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"4bec1530-18bc-43cb-9f0b-61e35dbf1730"] +[dep_8e7a8e19-9197-4008-b7d9-521ffcf7ba91:"x" dep_96c76e6b-5c33-4f54-a156-5c59e718f01a:"x" dep_f4d32147-ec74-4f68-b8d5-146c0b6f35df:"x" depends:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91,96c76e6b-5c33-4f54-a156-5c59e718f01a,f4d32147-ec74-4f68-b8d5-146c0b6f35df" description:"Write first draft of state of the art" due:"1757649600" entry:"1757449978" modified:"1757620955" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"4bec1530-18bc-43cb-9f0b-61e35dbf1730"] [description:"get FSAE COM and track data to Matt barry for statics problem. He also wants a cad model?" due:"1758254400" entry:"1757515988" modified:"1757515988" status:"pending" uuid:"48f997bf-b686-4c0b-bee5-ac8e5f874ad9"] +[description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1757516723" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"] +[description:"Read Branicky Lyapunov paper" entry:"1757615669" modified:"1757621896" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"] diff --git a/.task/undo.data b/.task/undo.data index cfe275695..3804958de 100644 --- a/.task/undo.data +++ b/.task/undo.data @@ -79,3 +79,33 @@ new [description:"Write outline for state of the art" due:"1757476800" entry:"17 time 1757515988 new [description:"get FSAE COM and track data to Matt barry for statics problem. He also wants a cad model?" due:"1758254400" entry:"1757515988" modified:"1757515988" status:"pending" uuid:"48f997bf-b686-4c0b-bee5-ac8e5f874ad9"] --- +time 1757516723 +new [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1757516723" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"] +--- +time 1757516746 +old [description:"Write outline for state of the art" due:"1757476800" entry:"1757443175" modified:"1757451747" project:"ERLM" status:"pending" uuid:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91"] +new [description:"Write outline for state of the art" due:"1757476800" end:"1757516746" entry:"1757443175" modified:"1757516746" project:"ERLM" status:"completed" uuid:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91"] +--- +time 1757615669 +new [description:"Read Branicky Lyapunov paper" entry:"1757615669" modified:"1757615669" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"] +--- +time 1757618582 +old [description:"Follow up with Daniel about controls bootcamp" due:"1757563200" entry:"1757449130" modified:"1757449130" project:"FSAE" status:"pending" uuid:"3eaadead-4e5e-4823-9077-16d6e1800862"] +new [description:"Follow up with Daniel about controls bootcamp" due:"1757563200" end:"1757618582" entry:"1757449130" modified:"1757618582" project:"FSAE" status:"completed" uuid:"3eaadead-4e5e-4823-9077-16d6e1800862"] +--- +time 1757618583 +old [description:"Follow up with Bajaj about writing TurboSAR paper" due:"1757563200" entry:"1757449286" modified:"1757449363" priority:"L" status:"pending" uuid:"fa2699f9-0082-433e-ae0d-cc2553db9865"] +new [description:"Follow up with Bajaj about writing TurboSAR paper" due:"1757563200" end:"1757618582" entry:"1757449286" modified:"1757618583" priority:"L" status:"completed" uuid:"fa2699f9-0082-433e-ae0d-cc2553db9865"] +--- +time 1757620907 +old [description:"Read Branicky Lyapunov paper" entry:"1757615669" modified:"1757615669" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"] +new [description:"Read Branicky Lyapunov paper" entry:"1757615669" modified:"1757620907" project:"Thesis" start:"1757620907" status:"pending" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"] +--- +time 1757620955 +old [dep_8e7a8e19-9197-4008-b7d9-521ffcf7ba91:"x" depends:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91" description:"Write first draft of state of the art" due:"1757649600" entry:"1757449978" modified:"1757449978" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"4bec1530-18bc-43cb-9f0b-61e35dbf1730"] +new [dep_8e7a8e19-9197-4008-b7d9-521ffcf7ba91:"x" dep_96c76e6b-5c33-4f54-a156-5c59e718f01a:"x" dep_f4d32147-ec74-4f68-b8d5-146c0b6f35df:"x" depends:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91,96c76e6b-5c33-4f54-a156-5c59e718f01a,f4d32147-ec74-4f68-b8d5-146c0b6f35df" description:"Write first draft of state of the art" due:"1757649600" entry:"1757449978" modified:"1757620955" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"4bec1530-18bc-43cb-9f0b-61e35dbf1730"] +--- +time 1757621896 +old [description:"Read Branicky Lyapunov paper" entry:"1757615669" modified:"1757620907" project:"Thesis" start:"1757620907" status:"pending" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"] +new [description:"Read Branicky Lyapunov paper" entry:"1757615669" modified:"1757621896" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"] +--- diff --git a/Writing/ERLM/state-of-the-art/v1.tex b/Writing/ERLM/state-of-the-art/v1.tex new file mode 100644 index 000000000..248ec01ab --- /dev/null +++ b/Writing/ERLM/state-of-the-art/v1.tex @@ -0,0 +1,13 @@ +\section{State of the art and limits of current practice} + +%Start with some discussion about what a hybrid system is. Lay it out with some +%knowledge about jumps and flow and what not. Lay down a mathematical +%preliminary here. + +\subsection{Discrete Systems and Reactive Synthesis} + +% LIMITATION: Discrete synthesis is predicated upon + +\subsection{Continuous System Verification} + +\subsection{Hybrid System Verification Approaches} diff --git a/Zettelkasten/Permanent Notes/Literature Notes/LIT-20250911143337-multiple-lyapunov-functions-and-other-analysis-tools-for-swtiched-and-hybrid-systems.md b/Zettelkasten/Permanent Notes/Literature Notes/LIT-20250911143337-multiple-lyapunov-functions-and-other-analysis-tools-for-swtiched-and-hybrid-systems.md new file mode 100644 index 000000000..b85678191 --- /dev/null +++ b/Zettelkasten/Permanent Notes/Literature Notes/LIT-20250911143337-multiple-lyapunov-functions-and-other-analysis-tools-for-swtiched-and-hybrid-systems.md @@ -0,0 +1,49 @@ +--- +id: LIT-20250911143337 +title: Multiple Lyapunov Functions and Other Analysis Tools for Swtiched and Hybrid Systems +type: literature +created: 2025-09-11T18:33:37Z +modified: 2025-09-11T20:55:15Z +citekey: +--- + +# Multiple Lyapunov Functions and Other Analysis Tools for Swtiched and Hybrid Systems + +## First Pass +**Category:** +Theoretical methods paper. This paper introduces a couple of +new ways to work with hybrid systems and also does +introduction of a lot of terms. + +**Context:** +Branicky is doing a lot of work with hybrid systems. He +defines what a switched system is, what a hybrid system is, +what a continuous switched system is and also included +definitions of autonomy in there too + +**Correctness:** +Been cited like 2000 times. + +**Contributions:** +Multiple Lyapunov theory and Stability via Iterated Function +Systems. + +**Clarity:** +Complex ideas written simply. Easy to read. + +## Second Pass +**What is the main thrust?** + +**What is the supporting evidence?** + +**What are the key findings?** + +## Third Pass +**Recreation Notes:** + +**Hidden Findings:** + +**Weak Points? Strong Points?** + +## Zettels Created +