1![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 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](https://www.pdfsearch.io/img/07edc6e6d76ba789c5f981e016fc0dfa.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: English - Date: 2013-01-16 16:02:10
|
---|
2![Optimal Data Rate for State Estimation of Switched Nonlinear Systems ∗ Hussein Sibai and Sayan Mitra {sibai2, mitras}@illinois.edu Optimal Data Rate for State Estimation of Switched Nonlinear Systems ∗ Hussein Sibai and Sayan Mitra {sibai2, mitras}@illinois.edu](https://www.pdfsearch.io/img/3762272359faef1a4e281b6427ea6574.jpg) | Add to Reading ListSource URL: publish.illinois.eduLanguage: English - Date: 2017-04-18 15:06:22
|
---|
3![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 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](https://www.pdfsearch.io/img/f77f5bd6a44c2531f849382c40e2c32f.jpg) | Add to Reading ListSource URL: www.public.asu.eduLanguage: English - Date: 2018-02-08 16:28:22
|
---|
4![Modular SMT-Based Analysis of Nonlinear Hybrid Systems Kyungmin Bae Sicun Gao Modular SMT-Based Analysis of Nonlinear Hybrid Systems Kyungmin Bae Sicun Gao](https://www.pdfsearch.io/img/284cf97375161f954229bf27194de04a.jpg) | Add to Reading ListSource URL: scungao.github.ioLanguage: English - Date: 2018-09-27 16:37:21
|
---|
5![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: 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:](https://www.pdfsearch.io/img/45b994b8076e7cc7720f60556589c580.jpg) | Add to Reading ListSource URL: muwo1.unibo.itLanguage: English - Date: 2017-07-07 10:13:10
|
---|
6![Excitation of Oscillations in Nonlinear Systems under Static Feedback Excitation of Oscillations in Nonlinear Systems under Static Feedback](https://www.pdfsearch.io/img/18dbb2c84d0b5f0dfd31b789eb00088a.jpg) | Add to Reading ListSource URL: www.ipme.ruLanguage: English - Date: 2012-02-13 16:41:24
|
---|
7![1172 IEEE TRANSACTIONS ON NEURAL NETWORKS, VOL. 18, NO. 4, JULY 2007 Active State Estimation for Nonlinear Systems: A Neural Approximation Approach 1172 IEEE TRANSACTIONS ON NEURAL NETWORKS, VOL. 18, NO. 4, JULY 2007 Active State Estimation for Nonlinear Systems: A Neural Approximation Approach](https://www.pdfsearch.io/img/49d71d4f2f36842de63d464a26ff2ae2.jpg) | Add to Reading ListSource URL: scg.utoronto.caLanguage: English - Date: 2007-11-29 10:40:43
|
---|
8![Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 4, 451–458 Modeling nonlinear systems using multiple piecewise linear equations G.K. Lowe, M.A. Zohdy Department of Electrical and Computer Engineering Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 4, 451–458 Modeling nonlinear systems using multiple piecewise linear equations G.K. Lowe, M.A. Zohdy Department of Electrical and Computer Engineering](https://www.pdfsearch.io/img/c978db6a60c293e0bf0ad40067529fb1.jpg) | Add to Reading ListSource URL: www.lana.ltLanguage: English - Date: 2010-12-01 07:43:04
|
---|
9![Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Basilica di Santa Maria di Collemaggio, 1287, L’Aquila Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Basilica di Santa Maria di Collemaggio, 1287, L’Aquila](https://www.pdfsearch.io/img/7620fe274fd61f57ec2bbbeeb799e804.jpg) | Add to Reading ListSource URL: muwo1.unibo.itLanguage: English - Date: 2017-07-07 10:09:45
|
---|
10![Nonlinear Dynamics 25: 33–48, 2001. © 2001 Kluwer Academic Publishers. Printed in the Netherlands. Normal Vibrations in Near-Conservative Self-Excited and Viscoelastic Nonlinear Systems YU. V. MIKHLIN Nonlinear Dynamics 25: 33–48, 2001. © 2001 Kluwer Academic Publishers. Printed in the Netherlands. Normal Vibrations in Near-Conservative Self-Excited and Viscoelastic Nonlinear Systems YU. V. MIKHLIN](https://www.pdfsearch.io/img/76188c39e7ee01ea55ebcb938d6465f0.jpg) | Add to Reading ListSource URL: users.kpi.kharkov.uaLanguage: English - Date: 2003-03-28 07:49:06
|
---|