“…Our example used auxiliary variables with constant derivative, but this is suboptimal. Fakouri et al [77] describe a modified version of RGA designed to more efficiently identify all possible regular chains corresponding to different values of parameters. Adapting this algorithm to our problems could be important for a more scalable RGA o .…”
Section: Discussionmentioning
confidence: 99%
“…As an alternative, Boulier makes freely available the C libraries on which the Maple implementation is based [76]. RGA has proven its versatility by admitting refinements and extensions over the past two decades [77,78,44,79,80,81].…”
Invariant sets are a key ingredient for verifying safety and other properties of cyberphysical systems that mix discrete and continuous dynamics. We adapt the eliminationtheoretic Rosenfeld-Gröbner algorithm to systematically obtain algebraic invariants of polynomial dynamical systems without using Gröbner bases or quantifier elimination. We identify totally real varieties as an important class for efficient invariance checking.
“…Our example used auxiliary variables with constant derivative, but this is suboptimal. Fakouri et al [77] describe a modified version of RGA designed to more efficiently identify all possible regular chains corresponding to different values of parameters. Adapting this algorithm to our problems could be important for a more scalable RGA o .…”
Section: Discussionmentioning
confidence: 99%
“…As an alternative, Boulier makes freely available the C libraries on which the Maple implementation is based [76]. RGA has proven its versatility by admitting refinements and extensions over the past two decades [77,78,44,79,80,81].…”
Invariant sets are a key ingredient for verifying safety and other properties of cyberphysical systems that mix discrete and continuous dynamics. We adapt the eliminationtheoretic Rosenfeld-Gröbner algorithm to systematically obtain algebraic invariants of polynomial dynamical systems without using Gröbner bases or quantifier elimination. We identify totally real varieties as an important class for efficient invariance checking.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.