Towards Flight Control Verification Using Automated Theorem Proving.

William Denman Mohamed H. Zaki Sofiène Tahar Luis Rodrigues

Published in: NASA Formal Methods (2011)

Keyphrases

automated theorem proving
flight control
theorem proving
theorem prover
answer set programming
control law
model checking
inference rules
classical logic
control system
expert systems
software engineering
orders of magnitude
dynamic model
adaptive control