Dane Sabo
39143844d5
M .task/backlog.data M .task/completed.data M .task/pending.data M .task/undo.data A Writing/ERLM/research-approach/outline.md M "Zettelkasten/Permanent Notes/20250911170650-lipschitz-continuous.md" M "Zettelkasten/Permanent Notes/Literature Notes/LIT-20250911143337-multiple-lyapunov-functions-and-other-analysis-tools-for-swtiched-and-hybrid-systems.md"
29 lines
1.0 KiB
Markdown
29 lines
1.0 KiB
Markdown
Okay so here's how things will go:
|
|
|
|
Integrate V design into the workings here
|
|
|
|
1. Requirement identification and translation
|
|
1. Point towards hardens lando thing
|
|
2. we're going to do a nuclear start up sequence
|
|
|
|
2. Synthesize requirements into a discrete automata
|
|
1. this makes up our mode switching behavior
|
|
2. There's probably going to be a serious amount of
|
|
refinement required here
|
|
3. Figure out by the structure of the nodes what the
|
|
purpose of the mode is
|
|
1. Do all traces leave? Do any traces leave? What
|
|
does this mean for the FUNCTION of the node?
|
|
|
|
3. Build controllers that satisfy each mode requirement
|
|
1. Reachability to ensure valid input and output sets?
|
|
2. We can ensure zeno behavior won't happen by looking
|
|
at the interface between modes
|
|
3. We should also see based on reachability that a well
|
|
built controller ONLY can enter the modes as
|
|
specified by the discrete automata
|
|
4. Contract based methods?
|
|
|
|
4. Fuck it man, that's like your provability or whatever
|
|
man.
|