34 citations · 106 across the 32 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
eess.SY2016★ 4 cited
Sampling-based verification of Lyapunov's inequality for piecewise continuous nonlinear systems
Ruxandra Bobiti, Mircea Lazar
This paper considers a sampling-based approach to stability verification for piecewise continuous nonlinear systems via Lyapunov functions. Depending on the system dynamics, the ca…
math.OC2016★ 1 cited
An Algorithm for Solving Quadratic Optimization Problems with Nonlinear Equality Constraints
Tuan T. Nguyen, Mircea Lazar, Hans Butler
The classical method to solve a quadratic optimization problem with nonlinear equality constraints is to solve the Karush-Kuhn-Tucker (KKT) optimality conditions using Newton's met…
math.DS2016
Computation of Lyapunov functions for nonlinear differential equations via a Massera-type construction
Alina I. Doban, Mircea Lazar
An approach for computing Lyapunov functions for nonlinear continuous-time differential equations is developed via a new, Massera-type construction. This construction is enabled by…