Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations

DOI10.1007/BF03037157zbMath0782.65083OpenAlexW2044860616MaRDI QIDQ685128

Toyoaki Nishida, Shuji Doshita, Kenji Mizutani

Publication date: 30 September 1993

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037157

zbMATH Keywords

decision makingordinary differential equationsqualitative reasoningpiecewise linearflow mappingsFlow Topology Analysisprediction of behaviorqualitative behaviour of solutions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Topological structure of integral curves, singular points, limit cycles of ordinary differential equations (34C05) Numerical methods for initial value problems involving ordinary differential equations (65L05) Dynamical systems and ergodic theory (37-XX)

Related Items (2)

Towards a practical theory of reformulation for reasoning about physical systems ⋮ Qualitative analysis of behavior of systems of piecewise linear differential equations with two state variables

Uses Software

• Unnamed Item

Cites Work

• Automatic analysis of one-parameter planar ordinary differential equations by intelligent numeric simulation
• Nonlinear oscillations, dynamical systems, and bifurcations of vector fields
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations