Dane Sabo
b157fa15f5
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"
14 lines
433 B
TeX
14 lines
433 B
TeX
\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}
|