File preview

% number of variables
2
%
% partition for x1
%1 2 3 4 5 6
[0 8 12 18 22 30]
%
% partition for x2
%1 2 3 4
[0 8 12 20]
%
% ------ variable x1 ------
%
% number of production terms
1
%
% production rate
[0 30]
%
% production expression
*
r
1
[1 4 5 6]
[1 1 0 0]
r
2
[1 2 3 4]
[1 1 0 0]
%
% number of degradation terms
1
%
% degradation rate
[1]
%
% degradation expression
1
%
% ------ variable x2 ------
%
% number of production terms
1
%
% production rate
[0 40]
%
% production expression
r
1
[1 2 3 6]
[1 1 0 0]
%
% number of degradation terms
1
%
% degradation rate
[2]
%
% degradation expression
1
%
% ------------- behavior specifications --------------
% number of atomic propositions
5
%
% the atomic propositions
{x1 > 18}
{x1 < 22}
{x2 > 8}
{x2 < 12}
{x2 > 12}
%
% initial states
(prop1 & prop2 & prop3 & prop4)
%
% LTL property
!F (prop5)