Hybridization methods for the analysis of nonlinear systems

Author： Asarin Eugene   Dang Thao   Girard Antoine  

Publisher： Springer Publishing Company

ISSN： 0001-5903

Source： Acta Informatica, Vol.43, Iss.7, 2007-02, pp. : 451-476

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Methods of Symbolic Analysis of Dynamic Systems

By Kobyakov S. Yu.  

Automation and Remote Control, Vol. 65, Iss. 4, 2004-04 ,pp. : 554-558

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

A practical approach for nonlinear analysis of tensegrity systems

By Nuhoglu Ayhan  

Engineering with Computers, Vol. 27, Iss. 4, 2011-10 ,pp. : 337-345

Springer Publishing Company

Access to resources Recommend Favorite

Inexact Quasi-Newton methods for sparse systems of nonlinear equations

By Bergamaschi L.   Moret I.   Zilli G.  

Future Generation Computer Systems, Vol. 18, Iss. 1, 2001-09 ,pp. : 41-53

Elsevier

Access to resources Recommend Favorite

Comparison of linear and nonlinear methods of confidence estimation for statistically uncertain systems

By Medvedeva N.   Timofeeva G.  

Automation and Remote Control, Vol. 68, Iss. 4, 2007-04 ,pp. : 619-627

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

By Cortier Véronique   Kremer Steve   Warinschi Bogdan  

Journal of Automated Reasoning, Vol. 46, Iss. 3-4, 2011-04 ,pp. : 225-259

Springer Publishing Company

Access to resources Recommend Favorite