Formal Verification of a MEMS Based Adaptive Cruise Control System
A formal verification approach for MEMS based embedded systems is presented. The methodology is demonstrated on an adaptive cruise control (ACC) system for the motion control of a platoon of cars. The system consists of [...]