-
Satisfiability, DPLL, DP, brief intro to SMT
ECE584 Satisfiability, DPLL
From Sayan Mitra
12 plays 0 -
Inductive invariants and Satisfiability (Introduction)
ECE/CS 584 L3 Inductive invariants and…
From Sayan Mitra
27 plays 0 -
Automata, Requirements, Reachability Explicit State
ECE/CS 584: L2 Automata, Requirements,…
From Sayan Mitra
12 plays 0 -
Introduction to verification and automata
ECE/CS 584: L1 Introduction to verification and…
From Sayan Mitra
17 plays 0 -
13 awesome projects spanning: Reinforcement learning, robotics, network measurements, termination proofs, firmware verification, code-level verification, low-level code,…
Final project presentations for ECE 5
From Sayan Mitra
19 plays 0 -
Termination, common Lyapunov function, Multiple Lyapunov Function, Dwell Time, Stability under slow switchings
ECE/CS 584 Stability of hybrid systems
From Sayan Mitra
13 plays 0 -
Compatibility, I/O interfaces, composition, closure under composition I/O automata, and hybrid I/O automata
ECE/CS 584 Composition
From Sayan Mitra
11 plays 0 -
ECE/CS 584 Initialized rectangular HA, practical reachability, data structures
ECE/CS 584 Initialized rectangular HA, practical…
From Sayan Mitra
19 plays 0 -
Decidability, Turing machines, Reductions, Two Counter Machines
ECE/CS 584 Decidability, Turing machines,…
From Sayan Mitra
15 plays 0 -
Review of forward simulation relations; Reachability of rational time automata, multi-rate automata, rectangular hybrid automata
ECE/CS 584 CPS Verification: Abstractions Part 2.
From Sayan Mitra
17 plays 0 -
Zoom Recording ID: 84494515419 UUID: H/q5sYY0SpepZZQ8q425zQ== Meeting Time: 2021-10-21T17:26:22Z
ECE/CS 584 CPS, Embedded System Verification
From Sayan Mitra
28 plays 0 -
Timed automata, clock constraints, region automata
ECE/CS 584 CPS, Timed Automata
From Sayan Mitra
22 plays 0 -
Requirements, temporal operators, syntax, semantics, CTL, CTL model checking
ECE/CS 584 CPS Temporal Logic model checking
From Sayan Mitra
11 plays 0 -
ECE/CS 584 CPS,: Hybrid models and invariance 14 of 28
ECE/CS 584 CPS,: Hybrid models and invariance
Hybrid models, mode invariants, urgency, zeno-ness, instability. Proving invariants of hybrid modelsECE/CS 584 CPS,: Hybrid models and invariance
From Sayan Mitra
26 plays 0 -
ECE/CS 584 Lyapunov stability and CPS models
ECE/CS 584 Lyapunov stability and CPS models
From Sayan Mitra
33 plays 0 -
ECE/CS 584 Dynamical system part 2: Equilibria and stability
ECE/CS 584 Dynamical system part 2: Equilibria…
From Sayan Mitra
21 plays 0 -
Zoom Recording ID: 84494515419 UUID: rhtzoS6jSmWJuT5Lg0PaxA== Meeting Time: 2021-09-28T17:12:03Z
ECE/CS 584 CPS, Embedded System Verification
From Sayan Mitra
11 plays 0 -
HIPAA, Reverse-engineering firmware, C programs in control, Network programming with P4, Neural network verification, robotic manipulation
ECE/CS 584 Project Pitch Presentations
From Sayan Mitra
11 plays 0 -
Sample projects: Controller Synthesis -- Kristina Miller Black-box verification -- Dawei Sun
ECE/CS 584 Project Planning Discussion
From Sayan Mitra
16 plays 0 -
Dynamical systems
ECE/CS 584 CPS, Embedded System Verification:…
From Sayan Mitra
21 plays 0 -
Verifying neural networks
ECE/CS 584 CPS, Embedded System Verification,…
From Sayan Mitra
16 plays 0 -
SMT, LRA, Simplex
ECE/CS 584 CPS, Embedded System Verification,…
From Sayan Mitra
19 plays 0 -
Satisfiability modulo theories, SMT
ECE/CS 584 CPS, Embedded System Verification, SMT
From Sayan Mitra
26 plays 0 -
Zoom Recording ID: 84494515419 UUID: zfUvOWc/RliaaK5Ipq6cDQ== Meeting Time: 2021-09-02T17:25:21Z
ECE/CS 584 CPS, Embedded System Verification,…
From Sayan Mitra
31 plays 0 -
Proving inductive invariance properties Introduction to the Boolean Satisfiability GreedySAT algorithm
ECE/CS 584 CPS, Embedded System Verification:…
From Sayan Mitra
36 plays 0 -
Variables, valuations, automata, transitions, executions, invariance, reachability. Dijkstra's token ring algorithm Self-stabilization
ECE/CS 584 CPS, Embedded System Verification:…
From Sayan Mitra
32 plays 0 -
Introduction 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…
ECE/CS 584 CPS, Embedded System Verification
From Sayan Mitra
90 plays 0 -
Search for ""