Reachability in one-dimensional controlled polynomial dynamical systems

DOI10.1007/978-3-642-29709-0_22MaRDI QIDQ3457983zbMATH OpenOpenAlexFDO

Authors M. V. Korovina, Nicolai Vorobjov

Publication date 7 December 2015

Published in Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL http://eprints.maths.manchester.ac.uk/1627/1/dynamical_final.pdf

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Controllability (93B05) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Model theory of ordered structures; o-minimality (03C64) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3856905
• Reachability computation for polynomial dynamical systems
• scientific article; zbMATH DE number 828036
• Algorithm for determining the reachability set of a linear control system
• On a reachability problem for affine hypersurface systems on polytopes

Cited in

(4)

• scientific article; zbMATH DE number 3856905 (Why is no real title available?)
• scientific article; zbMATH DE number 2168862 (Why is no real title available?)
• Backward Reachability for Polynomial Systems on a Finite Horizon
• On topology of polynomial type sequences with bounded integer coefficients

This page was built for publication: Reachability in one-dimensional controlled polynomial dynamical systems

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