Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering.
Cassie-Kay McQuinnKyle DunlapNathaniel HamiltonJabari WilsonKerianne L. HobbsPublished in: CoRR (2024)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- constraint relaxation
- constraint propagation
- arc consistency
- relaxation labeling
- phase transition
- constraint programming
- product configuration
- sat solvers
- probabilistic reasoning
- soft constraints
- attitudes toward
- target tracking
- constraint networks
- russian doll search
- constraint solving
- search algorithm
- robust fault detection
- satisfiability problem
- backtrack search
- genetic algorithm