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

Source URL: perso.ensta-paristech.fr

• Mathematics
• Mathematical analysis
• Analysis
• Polynomials
• Numerical analysis
• Interpolation
• Algebra
• Polynomial interpolation
• Affine arithmetic
• Numerical integration
• Lagrange polynomial
• Polynomial

Optimal Data Rate for State Estimation of Switched Nonlinear Systems ∗ Hussein Sibai and Sayan Mitra {sibai2, mitras}@illinois.edu

Source URL: publish.illinois.edu

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

Source URL: www.public.asu.edu

• Applied mathematics
• Electrical engineering
• Epistemology
• Control engineering
• Control theory
• Cybernetics
• Global optimization
• Falsifiability
• Linear time-invariant system
• PROPT
• Conjugate gradient method

Modular SMT-Based Analysis of Nonlinear Hybrid Systems Kyungmin Bae Sicun Gao

Source URL: scungao.github.io

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:

Source URL: muwo1.unibo.it

Excitation of Oscillations in Nonlinear Systems under Static Feedback

Source URL: www.ipme.ru

1172 IEEE TRANSACTIONS ON NEURAL NETWORKS, VOL. 18, NO. 4, JULY 2007 Active State Estimation for Nonlinear Systems: A Neural Approximation Approach

Source URL: scg.utoronto.ca

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

Source URL: www.lana.lt

Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Basilica di Santa Maria di Collemaggio, 1287, L’Aquila

Source URL: muwo1.unibo.it

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

Source URL: users.kpi.kharkov.ua