22 citations · 22 across the 7 of their papers we have counts for
1 paper · 1 filter
Yoke Peng Leong, Pavithra Prabhakar
This paper presents an abstraction-refinement method to synthesize control inputs for a discrete-time piecewise linear system. The controlled system behavior satisfies a finite-wor…