activity
20192021
most citedArchitecture-Guided Test Resource Allocation Via Logic

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

eess.SY2019

Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization

Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart +2

We propose a method to compute an approximation of the moments of a discrete-time stochastic polynomial system. We use the Carleman linearization technique to transform this finite…