ECE/CS 584 Fall 2021
-
From Sayan Mitra 12/7/2021
19 plays 013 awesome projects spanning: Reinforcement learning, robotics, network measurements, termination proofs, firmware verification, code-level verification, low-level code,… -
From Sayan Mitra 11/11/2021
12 plays 0Termination, common Lyapunov function, Multiple Lyapunov Function, Dwell Time, Stability under slow switchings -
From Sayan Mitra 11/9/2021
11 plays 0Compatibility, I/O interfaces, composition, closure under composition I/O automata, and hybrid I/O automata -
From Sayan Mitra 11/4/2021
18 plays 0ECE/CS 584 Initialized rectangular HA, practical reachability, data structures -
From Sayan Mitra 11/2/2021
15 plays 0Decidability, Turing machines, Reductions, Two Counter Machines -
From Sayan Mitra 10/26/2021
16 plays 0Review of forward simulation relations; Reachability of rational time automata, multi-rate automata, rectangular hybrid automata -
From Sayan Mitra 10/21/2021
28 plays 0Zoom Recording ID: 84494515419 UUID: H/q5sYY0SpepZZQ8q425zQ== Meeting Time: 2021-10-21T17:26:22Z -
From Sayan Mitra 10/19/2021
22 plays 0Timed automata, clock constraints, region automata -
From Sayan Mitra 10/12/2021
11 plays 0Requirements, temporal operators, syntax, semantics, CTL, CTL model checking -
ECE/CS 584 CPS,: Hybrid models and invariance 10 of 24
ECE/CS 584 CPS,: Hybrid models and invariance
From Sayan Mitra 10/7/2021
26 plays 0Hybrid models, mode invariants, urgency, zeno-ness, instability. Proving invariants of hybrid models -
From Sayan Mitra 10/5/2021
33 plays 0ECE/CS 584 Lyapunov stability and CPS models -
From Sayan Mitra 9/30/2021
20 plays 0ECE/CS 584 Dynamical system part 2: Equilibria and stability -
From Sayan Mitra 9/28/2021
11 plays 0Zoom Recording ID: 84494515419 UUID: rhtzoS6jSmWJuT5Lg0PaxA== Meeting Time: 2021-09-28T17:12:03Z -
From Sayan Mitra 9/23/2021
9 plays 0HIPAA, Reverse-engineering firmware, C programs in control, Network programming with P4, Neural network verification, robotic manipulation -
From Sayan Mitra 9/21/2021
16 plays 0Sample projects: Controller Synthesis -- Kristina Miller Black-box verification -- Dawei Sun -
From Sayan Mitra 9/16/2021
21 plays 0Dynamical systems -
From Sayan Mitra 9/14/2021
14 plays 0Verifying neural networks -
From Sayan Mitra 9/9/2021
19 plays 0SMT, LRA, Simplex -
From Sayan Mitra 9/7/2021
26 plays 0Satisfiability modulo theories, SMT -
From Sayan Mitra 9/2/2021
30 plays 0Zoom Recording ID: 84494515419 UUID: zfUvOWc/RliaaK5Ipq6cDQ== Meeting Time: 2021-09-02T17:25:21Z -
From Sayan Mitra 8/31/2021
35 plays 0Proving inductive invariance properties Introduction to the Boolean Satisfiability GreedySAT algorithm -
From Sayan Mitra 8/26/2021
32 plays 0Variables, valuations, automata, transitions, executions, invariance, reachability. Dijkstra's token ring algorithm Self-stabilization -
From Sayan Mitra 8/24/2021
81 plays 0Introduction to the topic of the course. What is verification? What is CPS? What are successes? The first 20 mins of the lecture, recorded my notepad instead of the… -
From Sayan Mitra 8/24/2021
31 plays 0ECE/CS 584 Fall 2021