A Typed Hierarchical State Machine Framework in C++
-
Updated
Apr 11, 2024 - C++
A Typed Hierarchical State Machine Framework in C++
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game res…
Course on automatic machines
A repository for my Digital systems class
Programs covered in compiler design lab (CEN-603)
Add a description, image, and links to the mealy-machine topic page so that developers can more easily learn about it.
To associate your repository with the mealy-machine topic, visit your repo's landing page and select "manage topics."