← Return to Article Details Constraint-Checked Elevator Scheduling for Safety-Critical Control Logic