Deciding reachability for piecewise constant derivative systems on orientable manifolds

DOI10.1007/978-3-030-30806-3_14MaRDI QIDQ2330601zbMATH OpenOpenAlexFDO

Authors Andrei Sandler, Olga Tveretina

Publication date 22 October 2019

Full work available at URL http://hdl.handle.net/2299/22489

zbMATH Keywords

decidabilityhybrid systemsreachability

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Widening the boundary between decidable and undecidable hybrid systems
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Reachability Problems for Hybrid Automata
• Reachability problems for hierarchical piecewise constant derivative systems

Cited in

(5)

• On the decidability of the reachability problem for planar differential inclusions
• Mortality and Edge-to-Edge Reachability are Decidable on Surfaces
• Reachability analysis of a class of hybrid gene regulatory networks
• Reachability and mortality for two-dimensional RHPCD systems are co-NP-hard
• On the complexity of reachability and mortality for bounded piecewise affine maps

This page was built for publication: Deciding reachability for piecewise constant derivative systems on orientable manifolds

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