Formally Verified Switching Logic for Recoverability of Aircraft Controller.
Ratan LalAaron McKinnisDustin HauptmanShawn KeshmiriPavithra PrabhakarPublished in: CAV (1) (2021)
Keyphrases
- control system
- logic programming
- closed loop
- real time
- multi valued
- classical logic
- control algorithm
- automated reasoning
- predicate logic
- operating conditions
- modal logic
- civil aviation
- dynamic model
- fuzzy model
- control architecture
- initial state
- robotic manipulator
- air force
- disturbance rejection
- programmable logic controller