1.SAMVAAD TALK00:00
2.Verifying Band Convergence for Sampled Control Systems01:22
3.SE lab02:20
4.Software driven controllers03:20
5.Control system: Requirements and Verification07:04
6.Problem Introduction12:51
7.Linear dynamical plant with Sampled-Data PID controller14:30
8.Band convergence property18:14
9.Cruise controller19:50
10.Literature review21:07
11.Abstract system22:10
12.Box invariant25:10
13.Two stage verification approach25:52
14.Necessary and sufficient conditions of a box invariant26:41
15.Computation of an adequate box invariant27:48
16.Verification algorithm29:34
17.Tool architecture30:00
18.Experimental results32:09
19.Summary38:21
20.Questions?39:36