Cloud-Ready Acceleration of Formal Method Techniques for Cyber–Physical Systems

Controller synthesis using formal specifications has shown considerable promise in recent years. However, it is computationally very expensive. This article shows how cloud computing can come to the rescue.