1 School of Science and Technology Rusangu University Monze, Monze, Zambia. 2 Department of Mathematics and Statistics Mulungushi University, Kabwe, Zambia. Morever, our recent work [3] has extended ...

Abstract: In this paper, an approximation method of reachable sets for linear discrete systems with bounded input is proposed. The method finds boundary points of reachable sets by solving finite ...

Abstract: Bounded synthesis generates a state machine satisfying given temporal specification in linear temporal logic (LTL) while bounding the number of states of the target solution. Bounded ...

The abstract boundary uses sets of curves with the bounded parameter property (b.p.p.) to classify the elements of the abstract boundary into regular points, singular points, points at infinity and so ...