On some relations between dynamical systems and transition systems
From MaRDI portal
Recommendations
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Decidable hybrid systems
- A note on the undecidability of the reachability problem for o-minimal dynamical systems
- scientific article; zbMATH DE number 3856905
- Universal computation and other capabilities of hybrid and continuous dynamical systems
Cites work
- Decidable integration graphs.
- From ATP to timed graphs and hybrid systems
- scientific article; zbMATH DE number 177824 (Why is no real title available?)
- scientific article; zbMATH DE number 512843 (Why is no real title available?)
- scientific article; zbMATH DE number 4120061 (Why is no real title available?)
- scientific article; zbMATH DE number 3804333 (Why is no real title available?)
Cited in
(13)- Achilles and the tortoise climbing up the hyper-arithmetical hierarchy
- On the computational power of dynamical systems and hybrid systems
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Reachability problems for sequential dynamical systems with threshold functions.
- Analog computation with dynamical systems
- On quasi-continuous dynamical systems and transitivity
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Low dimensional hybrid systems -- decidable, undecidable, don't know
- Some bounds on the computational power of piecewise constant derivative systems
- scientific article; zbMATH DE number 4120061 (Why is no real title available?)
- Achilles and the tortoise climbing up the arithmetical hierarchy
- Universal computation and other capabilities of hybrid and continuous dynamical systems
- Complexity of reachability problems for finite discrete dynamical systems
This page was built for publication: On some relations between dynamical systems and transition systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4632416)
