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

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

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

(5)

• 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
• On the decidability of reachability in linear time-invariant systems

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)