Search for tag: "hybrid automata"

Thumbnail for entry ECE/CS 584 CPS Verification: Abstractions Part 2.

ECE/CS 584 CPS Verification: Abstractions Part 2.

duration 1 hour 3 minutes

ECE/CS 584 CPS Verification: Abstractions Part 2.

ECE/CS 584 CPS Verification: Abstractions Part 2.

ECE/CS 584 CPS Verification: Abstractions Part 2.

Review of forward simulation relations; Reachability of rational time automata, multi-rate automata, rectangular hybrid automata

multi-rate automata
rectangular hybrid automata
forward simulation
bisimulations
From  Sayan Mitra 11 plays 0  
Date of creation
11/26/2021 12:00 AM
Video credits
Sayan Mitra
Contributors and team members
Sayan Mitra
Thumbnail for entry ECE/CS 584 Lyapunov stability and CPS models

ECE/CS 584 Lyapunov stability and CPS models

duration 1 hour 10 minutes

ECE/CS 584 Lyapunov stability and CPS models

ECE/CS 584 Lyapunov stability and CPS models

ECE/CS 584 Lyapunov stability and CPS models

ECE/CS 584 Lyapunov stability and CPS models

hybrid automata
urgency
trajectories
From  Sayan Mitra 29 plays 0  
Date of creation
10/7/2021 12:00 AM
Video credits
Sayan Mitra
Contributors and team members
Sayan Mitra