Formal Analysis of Linear Control Systems using Theorem Proving.
Adnan RashidOsman HasanPublished in: CoRR (2017)
Keyphrases
- theorem proving
- formal analysis
- control system
- first order logic
- theorem prover
- automated deduction
- inference rules
- automated reasoning
- proof planning
- decision procedures
- parallel search
- automatic programming
- term rewriting
- automated theorem proving
- logical inference
- formal methods
- combinatorial search
- proof procedure
- distributed search
- agent model
- geometry theorem proving
- predicate calculus
- ban logic
- natural deduction
- timed automata
- consequence finding
- bayesian networks
- proof search
- class labels
- query language