Fault diagnostic system design using LMIs, with applications to health monitoring for GPS-based lateral vehicle control