Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks


In this paper, we consider discrete-time continuous-space piecewise affine (PWA) systems with uncertain parameters, and study temporal logic properties of their trajectories. Specifically, given a PWA system with polyhedral parameter uncertainties and a linear temporal logic (LTL) formula over linear predicates in its state variables, we attempt to find the… (More)


3 Figures and Tables