ORBit - Document - PDFSEARCH.IO - Document Search Engine

First Page		Document Content
Date: 2015-10-23 06:02:27 Bifurcation theory Dynamical systems Systems theory Nonlinear systems Chaos theory Bifurcation diagram Buck converter Orbit		Add to Reading List Source URL: www.maths.nuigalway.ie Download Document from Source Website File Size: 2,24 MB Share Document on Facebook

	Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods Olivier Bouissou1 , Alexandre Chapoutot2 , and Samuel Mimram1 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette France DocID: 1xVef - View Document
	Optimal Data Rate for State Estimation of Switched Nonlinear Systems ∗ Hussein Sibai and Sayan Mitra {sibai2, mitras}@illinois.edu DocID: 1xV4u - View Document
	Hybrid Approximate Gradient and Stochastic Descent for Falsification of Nonlinear Systems Shakiba Yaghoubi and Georgios Fainekos Abstract— Studying transient properties of nonlinear systems is an important problem for DocID: 1xUAR - View Document
	Modular SMT-Based Analysis of Nonlinear Hybrid Systems Kyungmin Bae Sicun Gao DocID: 1xU4U - View Document
	SIDRA Ph.D. School 2017 Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Bertinoro, July 3-5, 2017 Coordinators: DocID: 1vpUS - View Document