Reachability in one-dimensional controlled polynomial dynamical systems

DOI10.1007/978-3-642-29709-0_22zbMATH Open1336.68183OpenAlexW1748732224MaRDI QIDQ3457983FDOQ3457983

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

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

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)

Cited In (4)

• Title not available (Why is that?)
• Backward Reachability for Polynomial Systems on a Finite Horizon
• Title not available (Why is that?)
• 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)