scientific article; zbMATH DE number 1927563
From MaRDI portal
Publication:4484488
zbMath1012.68141MaRDI QIDQ4484488
Gerardo Schneider, Eugene Asarin
Publication date: 12 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210193.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (10)
On The Complexity of Bounded Time Reachability for Piecewise Affine Systems ⋮ Algorithmic analysis of polygonal hybrid systems. I: Reachability ⋮ Reachability Problems for One-Dimensional Piecewise Affine Maps ⋮ On the complexity of bounded time and precision reachability for piecewise affine systems ⋮ On the decidability and complexity of problems for restricted hierarchical hybrid systems ⋮ Mortality and Edge-to-Edge Reachability are Decidable on Surfaces ⋮ Reachability in Linear Dynamical Systems ⋮ Low dimensional hybrid systems -- decidable, undecidable, don't know ⋮ Computing Omega-Limit Sets in Linear Dynamical Systems ⋮ On undecidability bounds for matrix decision problems
This page was built for publication:
