Skip to main content
6 events
when toggle format what by license comment
Oct 30 at 21:55 comment added Piyush Grover The most general method is sum of squares based verification (based on Lyapunov theory). github.com/oxfordcontrol/SOSTOOLS/blob/SOSTOOLS400/README.md. It doesn't rely on intuition, however the drawback is that the computation cannot scale to large sized systems.
Oct 30 at 21:30 answer added Artem timeline score: 4
Oct 23 at 2:35 history edited Zhang Yuhan CC BY-SA 4.0
deleted 1 character in body
Oct 22 at 13:35 history edited Daniele Tampieri CC BY-SA 4.0
Minor formatting
Oct 22 at 12:37 history edited Zhang Yuhan CC BY-SA 4.0
added 4 characters in body
Oct 22 at 12:30 history asked Zhang Yuhan CC BY-SA 4.0