Login / Signup
Ruxandra Bobiti
ORCID
Publication Activity (10 Years)
Years Active: 2015-2018
Publications (10 Years): 4
Top Topics
Stability Analysis
Doa Estimation
Fuzzy Controller
Linear Systems
Top Venues
HSCC
CoRR
CDC
IEEE Trans. Autom. Control.
</>
Publications
</>
Ruxandra Bobiti
,
Mircea Lazar
Automated-Sampling-Based Stability Verification and DOA Estimation for Nonlinear Systems.
IEEE Trans. Autom. Control.
63 (11) (2018)
Ruxandra Bobiti
,
Mircea Lazar
Sampling-based verification of Lyapunov's inequality for piecewise continuous nonlinear systems.
CoRR
(2016)
Ruxandra Bobiti
,
Mircea Lazar
A sampling approach to constructing Lyapunov functions for nonlinear continuous-time systems.
CDC
(2016)
Ruxandra Bobiti
,
Mircea Lazar
A sampling approach to finding Lyapunov functions for nonlinear discrete-time systems.
ECC
(2016)
Ruxandra Bobiti
,
Mircea Lazar
A delta-sampling verification theorem for discrete-time, possibly discontinuous systems.
HSCC
(2015)