Precise Piecewise Affine Models from Input Output Data
Abstract:
Formal design and analysis of embedded control software relies on mathematical models of dynamical systems, and such models can be hard to obtain. In this paper, we focus on automatic construction of piecewise affine models from input-output data.
Submitted by Rajiv Alur
on
Abstract:
Formal design and analysis of embedded control software relies on mathematical models of dynamical systems, and such models can be hard to obtain. In this paper, we focus on automatic construction of piecewise affine models from input-output data.
Submitted by Rajiv Alur
on