Abstract: Paper is devoted to the development of a method for approximating discontinuous functions by discontinuous splines and the construction of an algorithm for detecting discontinuity lines. The ...
Abstract: We propose a novel characterization of piecewise-defined barrier functions for certifying forward invariant sets of piecewise continuous dynamical systems. Forward invariance is established ...