scientific article; zbMATH DE number 1927563

MaRDI QIDQ4484488zbMATH OpenFDO

Authors Eugene Asarin, Gerardo Schneider

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2421/24210193.htm

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1303067
• Decidable hybrid systems
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Low dimensional hybrid systems -- decidable, undecidable, don't know
• A Class of Decidable Parametric Hybrid Systems
• On the decidability and complexity of problems for restricted hierarchical hybrid systems
• scientific article; zbMATH DE number 1444348
• scientific article; zbMATH DE number 2084368
• On the decidability of stability of hybrid systems
• Uniformity for the decidability of hybrid automata

Cited in

(18)

• Deciding reachability for piecewise constant derivative systems on orientable manifolds
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• On undecidability bounds for matrix decision problems
• On the complexity of bounded time and precision reachability for piecewise affine systems
• What's decidable about recursive hybrid automata?
• A Class of Decidable Parametric Hybrid Systems
• Reachability problems for one-dimensional piecewise affine maps
• On the decidability and complexity of problems for restricted hierarchical hybrid systems
• On the complexity of bounded time reachability for piecewise affine systems
• Reachability in Linear Dynamical Systems
• Computing Omega-Limit Sets in Linear Dynamical Systems
• Low dimensional hybrid systems -- decidable, undecidable, don't know
• scientific article; zbMATH DE number 1303067 (Why is no real title available?)
• scientific article; zbMATH DE number 2084368 (Why is no real title available?)
• scientific article; zbMATH DE number 1444348 (Why is no real title available?)
• Deciding reachability for 3-dimensional multi-linear systems
• Uniformity for the decidability of hybrid automata
• Mortality and Edge-to-Edge Reachability are Decidable on Surfaces

This page was built for publication:

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