A dynamical system which must be stable whose stability cannot be proved

DOI10.1016/J.TCS.2004.05.001MaRDI QIDQ703488zbMATH OpenOpenAlexFDO

Authors John Foy

Publication date 11 January 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2004.05.001

zbMATH Keywords

CorrectnessHybrid systemsPiecewise affine systemsStabilityTuring machineZermelo-Frankel set theory

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Proof theory and constructive mathematics (03F99) Applications of dynamical systems (37N99) Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65)

Recommendations

• Deciding stability and mortality of piecewise affine dynamical systems
• Stability of bundles of dynamic systems and related problems
• The stability of saturated linear dynamical systems is undecidable
• scientific article; zbMATH DE number 1500537
• On Stability in Impulsive Dynamical Systems

Cites work

• Basic problems in stability and design of switched systems
• Deciding stability and mortality of piecewise affine dynamical systems
• scientific article; zbMATH DE number 1557965 (Why is no real title available?)
• scientific article; zbMATH DE number 3225348 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• Qualitative theory of hybrid dynamical systems.
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• Stability theory for hybrid dynamical systems

Cited in

(3)

• How much can analog and hybrid systems be proved (super-)Turing
• scientific article; zbMATH DE number 2150146 (Why is no real title available?)
• Deciding stability and mortality of piecewise affine dynamical systems

This page was built for publication: A dynamical system which must be stable whose stability cannot be proved

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q703488)