Deciding reachability for piecewise constant derivative systems on orientable manifolds

DOI10.1007/978-3-030-30806-3_14OpenAlexW2972108045MaRDI QIDQ2330601

Olga Tveretina, Andrei Sandler

Publication date: 22 October 2019

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

zbMATH Keywords

hybrid systemsreachabilitydecidability

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Mortality and Edge-to-Edge Reachability are Decidable on Surfaces

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