#
synthesized-controller
Here is 1 public repository matching this topic...
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…
formal-methodscode-generationdynamical-systemscomputer-aided-designinterner-of-thingsmealy-machinecyber-physical-systemsmission-planningparity-gamecorrect-by-constructionformally-verifiedparity-automatonltl-formulapfacessymbolic-controlreactive-syntltl-specificationssynthesized-controllerautomatic-softwaresymbolic-model
- Updated
Mar 1, 2025 - C++
Improve this page
Add a description, image, and links to thesynthesized-controller topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thesynthesized-controller topic, visit your repo's landing page and select "manage topics."