True Coalition Formation of Bio-inspired Mobile Sensors or Robots on Intrusion Detection - Part 1: Theoretical Modeling