( en | de | ru )

 

Disambiguation of "Prajna, Stephen"

Author of the publication

copydeleteadd this publication to your clipboard
SOSTOOLS Version 3.00 Sum of Squares Optimization Toolbox for MATLAB.

, , , , , and . CoRR, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Prajna Paramita Pal

Stephen Lowry

Stephen Thomas

Stephen Rudzewski

Stephen Müller

 

Other publications of authors with the same name

Safety Verification of Hybrid Systems Using Barrier Certificates., and . HSCC, volume 2993 of Lecture Notes in Computer Science, page 477-492. Springer, (2004)On the construction of Lyapunov functions using the sum of squares decomposition., and . CDC, page 3482-3487. IEEE, (2002)A new solution approach to polynomial LPV system analysis and synthesis., and . ACC, page 1362-1367. IEEE, (2004)SOSTOOLS Version 3.00 Sum of Squares Optimization Toolbox for MATLAB., , , , , and . CoRR, (2013)SOSTOOLS: Sum of Squares optimization toolbox for MATLAB$^*$, , , and . (2004)Downloadable from http://cds.caltech.edu/sostools.POD model reduction with stability guarantee.. CDC, page 5254-5258. IEEE, (2003)Model validation and robust stability analysis of the bacterial heat shock response using SOSTOOLS., , , , and . CDC, page 3766-3771. IEEE, (2003)New developments in sum of squares optimization and SOSTOOLS., , , and . ACC, page 5606-5611. IEEE, (2004)A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates., , and . IEEE Trans. Automat. Contr., 52 (8): 1415-1428 (2007)An LMI approach to stabilization of linear port-controlled Hamiltonian systems., , and . Syst. Control. Lett., 45 (5): 371-385 (2002)