“…Lyapunov-based methods (Ratschan and She, 2010;Delanoue, Jaulin, and Cottenceau, 2006;Gonzaga, Jungers, and Daafouz, 2012;Barreiro, Aracil, and Pagano, 2002), levelset methods (Mitchell, Bayen, and Tomlin, 2001;Biemond and Michiels, 2014), or barrier functions Bouissou et al 2014;Esterhuizen and Lévine 2016 can also be considered as Eulerian since they only check the constraints on the state space and do not need to perform any integration through time. Now, these methods require a parametric expression for candidate Lyapunov-like functions She and Xue 2013.…”