A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
As formal verification techniques for cyber-physical systems encounter large plant models, techniques for simplifying these models into smaller approximate models are gaining increasing popularity. Model-order reduction techniques take large ordinary differential equation models and simplify them to yield models that are potentially much smaller in size. These approaches typically discover a suitable projection of the state space into a smaller subspace, such that by projecting the dynamics indoi:10.1007/978-3-319-63501-9_8 fatcat:7vrvqg2e35bitgwaeir42yvo44