WiP Abstract: A Mixed Logical Dynamical System Model for Taxi Cruising Support System. - Toshimitsu Ushio; Masaki Hiromoto; Akiyoshi Okamoto; Tomoaki Akiyama (ICCPS, 2016)