Synthesizing Switching Logic for Safety and Dwell-Time Requirements

Cyber-Physical Systems (CPS) can be usefully modeled as hybrid automata combining the physical dynamics within modes with discrete switching behavior between modes. CPS designs must satisfy safety and performance requirements. While the dynamics within each mode is usually defined by the physical plant, the tricky design problem often involves getting the switching logic right. In this paper, the authors present a new approach to assist designers by synthesizing the switching logic, given a partial system model, using a combination of fix-point computation, numerical simulation, and machine learning.

Provided by: Association for Computing Machinery Topic: Security Date Added: Apr 2010 Format: PDF

Download Now

Find By Topic