Well, I had the mechanic check the charging system, and it read a steady 14.4 volts. When he put a load on the system, the ABS still did not kick on. He is getting a new sensor reading tool today which does a thorough check of all of the electronic sensors, which may tell me what is going on. I'll keep everyone informed.