A Logic Theory Pattern for Linearized Control Systems.
Andrea DomeniciCinzia BernardeschiPublished in: F-IDE@NFM (2021)
Keyphrases
- control system
- formal theory
- formal logic
- proof theory
- proof theoretic
- computer algebra
- boolean algebra
- mathematical theory
- logic programming
- theoretical framework
- probability theory
- multi valued
- predicate logic
- set theory
- asynchronous circuits
- genetic algorithm
- logical framework
- theoretical basis
- pattern discovery
- artificial intelligence