Input Synthesis for Sampled Data Systems by Program Logic

Takumi Akazaki, Ichiro Hasuo, Kohei Suenaga

Inspired by a concrete industry problem we consider the input synthesis problem for hybrid systems: given a hybrid system that is subject to input from outside (also called disturb…