A dynamical system which must be stable whose stability cannot be proved
type: Item
instance of: scholarly article
title: A dynamical system which must be stable whose stability cannot be proved
zbMATH Open document ID: 1058.37063
author: John Foy
published in: Theoretical Computer Science
publication date: 2005-01-11T00:00:00Z
Mathematics Subject Classification ID: 37N99
Mathematics Subject Classification ID: 93C55
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 03F99
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 03D10
zbMATH DE Number: 2126080
zbMATH Keywords: Piecewise affine systems
zbMATH Keywords: Hybrid systems
zbMATH Keywords: Stability
zbMATH Keywords: Correctness
zbMATH Keywords: Turing machine
zbMATH Keywords: Zermelo-Frankel set theory
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.05.001
OpenAlex ID: W2005448406
cites work: Deciding stability and mortality of piecewise affine dynamical systems
cites work: Q5513754
cites work: Basic problems in stability and design of switched systems
cites work: Qualitative theory of hybrid dynamical systems.
cites work: Q4527758
cites work: Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
cites work: Q5590814
cites work: Stability theory for hybrid dynamical systems
DOI: 10.1016/J.TCS.2004.05.001
description: scientific article; zbMATH DE number 2126080