Title :
Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks
Author :
Yordanov, Boyan ; Belta, Calin
Author_Institution :
Dept. of Biomed. Eng., Boston Univ., Boston, MA
Abstract :
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 largest region of initial states from which all trajectories of the system satisfy the formula. Our method is based on the iterative computation and model checking of finite transition systems simulating the original PWA system. We illustrate our method by computing the basins of attraction for the two equilibria of a PWA model of a two-gene network.
Keywords :
continuous systems; discrete time systems; genetics; iterative methods; temporal logic; discrete-time continuous-space piecewise affine system; finite transition system; formal analysis; gene network; iterative computation; linear temporal logic; model checking; polyhedral parameter uncertainty; Biomedical engineering; Computational modeling; Computer networks; Control system synthesis; Control systems; Digital circuits; Iterative methods; Logic circuits; State-space methods; Uncertain systems; abstraction; formal analysis; gene networks; parameter uncertainty; piecewise affine systems;
Conference_Titel :
American Control Conference, 2008
Conference_Location :
Seattle, WA
Print_ISBN :
978-1-4244-2078-0
Electronic_ISBN :
0743-1619
DOI :
10.1109/ACC.2008.4586912
