Reachability problems for hierarchical piecewise constant derivative systems

DOI10.1007/978-3-642-41036-9_6MaRDI QIDQ5168512zbMATH OpenOpenAlexFDO

Authors Paul C. Bell, Shang Chen

Publication date 7 July 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://dspace.lboro.ac.uk/2134/13390

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the decidability and complexity of problems for restricted hierarchical hybrid systems
• Reachability and mortality problems for restricted hierarchical piecewise constant derivatives
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Some bounds on the computational power of piecewise constant derivative systems
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

Cited in

(9)

• Some bounds on the computational power of piecewise constant derivative systems
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Deciding reachability for piecewise constant derivative systems on orientable manifolds
• 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
• On the complexity of bounded time reachability for piecewise affine systems
• Reachability and mortality problems for restricted hierarchical piecewise constant derivatives
• Some bounds on the computational power of piecewise constant derivative systems
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: Reachability problems for hierarchical piecewise constant derivative systems

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