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
• scientific article; zbMATH DE number 1927563
• 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

(4)

• scientific article; zbMATH DE number 1794363 (Why is no real title available?)
• 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

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)