Recently fuzzy interval flexible linear programs have attracted many interests. These models are an extension of the classical linear programming which deal with crisp parameters. However, in most of ...

In safety verification of hybrid systems, barrier certificates are generated by solving the verification conditions derived from non-negative representations of different types. This paper presents a ...