Abstract: This paper presents an automatic formal controller synthesis method for nonlinear sampled-data systems with safety and reachability specifications. Fundamentally, the presented method is not ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results