Deciding reachability for 3-dimensional multi-linear systems

MaRDI QIDQ4964732zbMATH OpenFDO

Authors Olga Tveretina, Daniel Funke

Publication date 3 March 2021

Full work available at URL https://arxiv.org/abs/1106.1245, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2011.18

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Reachability analysis of dynamical systems having piecewise-constant derivatives
• scientific article; zbMATH DE number 1927563
• Some decidable results on reachability of solvable systems
• Reachability analysis of non-linear planar autonomous systems
• Hybrid Systems: Computation and Control

Cited in

(2)

• Reachability set of a three-dimensional cascade control system
• Hybrid Systems: Computation and Control

This page was built for publication: Deciding reachability for 3-dimensional multi-linear systems

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