Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis

Sota Sato, Masaki Waga, Ichiro Hasuo

The synthesis problem of a cyber-physical system (CPS) is to find an input signal under which the system's behavior satisfies a given specification. Our setting is that the specifi…