A delta-sampling verification theorem for discrete-time, possibly discontinuous systems. - Ruxandra Bobiti; Mircea Lazar (HSCC, 2015)

A sampling approach to constructing Lyapunov functions for nonlinear continuous-time systems. - Ruxandra Bobiti; Mircea Lazar (CDC, 2016)

A sampling approach to finding Lyapunov functions for nonlinear discrete-time systems. - Ruxandra Bobiti; Mircea Lazar (ECC, 2016)

Sampling-based verification of Lyapunov's inequality for piecewise continuous nonlinear systems. - Ruxandra Bobiti; Mircea Lazar (CoRR, 2016)

Towards parallelizable sampling-based Nonlinear Model Predictive Control. - R. V. Bobiti; Mircea Lazar (CoRR, 2017)

Automated-Sampling-Based Stability Verification and DOA Estimation for Nonlinear Systems. - Ruxandra Bobiti; Mircea Lazar (IEEE Trans. Autom. Control., 2018)