Search for tag: "automata"
Mee Seong Im, One-dimensional topological quantum field theories with zero-dimensional defects and finite state automataMee Seong Im (United States Naval Academy) presents at the Facets of Noncommutative Geometry conference, hosted at the University of Illinois Champaign-Urbana on June 11, 2022.
From Shelby Koehne
28 plays
0
|
|
ECE 484 Lecture 3: Invariance to safetyWhat are invariants? How are they related to safety? How can we check that a set is an invariant? How to apply these ideas to automata?
From Sayan Mitra
82 plays
1
|
|
ECE/CS 584 CompositionCompatibility, I/O interfaces, composition, closure under composition I/O automata, and hybrid I/O automata
From Sayan Mitra
11 plays
0
|
|
ECE/CS 584 CPS Verification: Abstractions Part 2.Review of forward simulation relations; Reachability of rational time automata, multi-rate automata, rectangular hybrid automata
From Sayan Mitra
16 plays
0
|
|
ECE/CS 584 CPS, Embedded System Verification: Lecture 2, Modeling computationVariables, valuations, automata, transitions, executions, invariance, reachability. Dijkstra's token ring algorithm Self-stabilization
From Sayan Mitra
32 plays
0
|
|