Professional Documents
Culture Documents
TEMPORISES
1
CIRAD, Gdor team, Station de la Bretagne, BP 20, 97408 Saint-Denis, Reunion Island,
France, guerrin@cirad.fr
2
INRA, Laboratory of environmental biotechnology, av. des tangs, 11100 Narbonne,
France, steyer@ensam.inra.fr
Rsum: Cet article traite de la reprsentation de la dynamique dun systme continu par
un formalisme vnements discrets et temps continu, des fins danalyse de systme.
Le systme continu est dabord approxim laide dintervalles numriques, puis traduit
dans le formalisme des automates temporiss grce lintroduction de seuils
partitionnant les domaines de valeurs des variables dtat. La dtection des
franchissements de seuil est caractrise par deux instants correspondant la date au plus
tt et la date au plus tard de franchissement. Cette approche est brivement illustre sur
un procd pilote de traitement deaux uses de 1 m3.
Abstract: This paper deals with the representation of continuous system dynamics into a
continuous-time discrete-event formalism to the end of system analysis. The continuous
system is first approximated by using numerical intervals and then translated into the
timed automata formalism thanks to with the introduction of thresholds partitioning the
state variables domains. The detection of thresholds crossing is characterised by two
time instants corresponding respectively to the earliest and latest crossing dates. This
approach is briefly illustrated on a 1 m3 wastewater treatment pilot plant.
set {<, , =, , >} , the set ( X ) of the atomic From (4) we can rewrite (1) as the double ODE
system:
constraints is defined by the grammar
= f ( , < )
:= x # c | x y # c | 1 2 . These constraints are
(t0 ) = 0
possibly associated to the locations or edges of the
automaton. (5)
+ = f ( + , > )
Timed automaton. A timed automaton G is defined
+ (t0 ) = 0+
by a 6-tuple ( S, P, X, E, A , Inv ) with:
S a finite set of locations with s0S the initial With the property t , i, i (t ) i (t ) i+ (t ) , Eq.
location; (5) can approximate the system (1) by introducing
P a mapping which associates to each s S , a uncertainty on the initial state (Eq. (2)) and the
set of atomic propositions valid at this location; system inputs (Eq. (3)) if the cooperativity property
X a finite set of clocks; is verified on the systems dynamics (Smith 1995).
E a finite set of labels; Cooperativity simply states that the off-diagonal
A S E ( X ) 2 X S a finite set of edges; elements of the Jacobian matrix of a dynamic system
are positive or equal to zero (additional details can be
each edge a is a 5-tuple ( s, e, , , s ) with s S found in Gouz et al., (2000) or Moor and Raisch
the start location and s S the destination (2002)).
location, ( X ) a clock constraint named
guard that must be satisfied to trigger the discrete Threshold
transition and X the clock subset to be
To represent the continuous system dynamics in a
reinitialised during the transition;
discrete formalism, the first step is to discretise the
Inv ( s ) : S ( X ) a mapping that associates to
state space. For this, each i s domain is partitioned
each location a timed constraint , named according to thresholds into a finite number of
invariant. The system can remain in the same intervals that can be considered as qualitative states.
location as long as the invariant is true. Thresholds are defined from expert knowledge; e.g.,
a stock level can be qualified as insufficient,
low, medium, high and critical. Li denotes min and max being approximated on (cf. the
the ordered set of thresholds in the ith dimension, that clock constraint definition), the system trajectory
is, with i { 1,...,n } and i : between two thresholds w and v is represented within
the time window [ min , max ] . This window can be
( Li , < ) = { li ,0 ,..., li ,i } (7) modelled in the timed automata formalism as follows
(cf. Fig. 1):
The continuous state space is divided according to s1 and s2 are two locations with associated labels
the i thresholds by the mapping: " w " and " v " respectively,
i
x is a clock,
DX : { 1,..., 1 } ... { 1,..., i } (8) x max is the invariant of s1,
( s1 , , x min , , s2 ) is the edge.
with the assumption that i li ,0 , li ,i , i . A
rectangular partition is thus obtained. i
i+ i
v s1 s2
3. DISCRETE APPROXIMATION x min
"w" "v"
The idea is (i) not to consider as discrete states the x max
cells partitioning the state space themselves but, w
rather, the cells faces and (ii) determine the state
transitions from the simulation output of the + t
continuous system within each cell as was done by Fig. 1. Timed automaton for describing a systems
Kowalewski et al., 1999. These authors defined a trajectory from thresholds w to v with an increasing
grid on each cells face and simulated all the trend.
trajectories from or bounded to each grid-point. In
comparison, our approach depends upon each
considered initial state and focuses on handling Generalisation
uncertainty by propagating the interval , +
For sake of clarity, the index i is omitted in notations
within the cells by simulating Eq. (5). for all the variables in the following sections.
Applying the above described approach to the lower
bound of Eq. (5) in the ith dimension allows one to
Trajectories within a cell obtain , the ordered set of time instants when
Thresholds crossing. Let be the time-point when crosses the thresholds and , the ordered set of
the system (1) reaches v, a threshold value defined in threshold crossings:
the ith dimension, i.e., i ( ) = v, v . Because i is
estimated by the interval i , i+ , the time window ( , ) = {
j ( j ) = l } (13)
( B, ) = {b A (b ) = }
kB
kB min
(16)
(S ( d ) s ) ( d
kB k kB ) (
=l d kB = l )
{b A (b ) = }
kB
+
+ kB min
(S ( d ) s ) ( d
kB k kB =l ) (d kB = + )l
(21)
P ( sk ) :
C, the ordered set of time instants when occur
(S ( ) s ) (
0, k
k
0,k
)
=l l
{ ( )}
i i
) (
0 = 0,k | 0,k L < 0,k < +
i
+
i
+
i i
{ )}
v
| (
0, k
0, k L ) (
= 0,k ) (
0 (19) v
{ | ( L ) ( ) ( 0 )}
w
0, k
0, k
+
= 0,k +
t0 min t t0 min t
0 the set of threshold crossings with an a) b)
increasing trend at the initial time i i
+ +
i i i
( k = 1,..., K , K = card ( ) ):
0
i v
{ ( ) ( )}
v
0 = 0, k | 0, k L < 0, k < +
w
{ | ( L ) ( =
0, k4
0, k4 ) ( 0)} (20)
0, k
t0 t0 min
t t
{ | ( L ) ( = ) ( 0)}
+ + c.i) c.ii)
0, k 0, k 0, k
Fig. 2. Different cases of threshold crossing with
Clock set. The clock set is a singleton since the increasing trend.
automaton is obtained from only one simulation of Based on this, a set of locations can be obtained
the continuous model. which satisfy one of these conditions. The preceding
Location set. Let us denote: location is the element to which is associated the
S , a mapping that associates a location s to each nearest min of the min of sn . Formally, a1, the
element of D, 0 and 0 . From S , one gets forward edge of sn is defined by the 5-tuple
S = {sk }k =1,..., K s0 with K = K B + K + K
and s0, the location corresponding to the initial
( s m , , , , s n ) with := x bn 1. Let the ordered Xi is a singleton composed of the clock xi,
set S S , the union of the different cases described Ei, the set of labels, is an empty set,
by the Fig. 2: A i = A1,i A 2,i is the set of edges,
Invi is a mapping that associates the invariants to
( S1 , ) =
n ({ (
P ( s ) = l s P ( s ) = l
k k )} 1 ) (23)
the locations.
({ ( )}
P ( sn ) = l sk P ( sk ) = l +1
) 4. EXAMPLE: APPROXIMATION OF A
) { ( )}
WASTEWATER ANAEROBIC DIGESTION
(
P (s ) = l s P (s ) = l
n k k MODEL
(S , ) =
(24)
(P ( s ) = l ) {s (P ( s ) = l )}
2
( )
s = S ( d ) (P ( s ) = l ) this example can be found in Hlias et al., (2004).
n k1 n
The aim is to predict possible dysfunctions of a
( l < ( t ) ( t ) l ) {s }
+ wastewater treatment plant by a discrete
S =
1 0 0 0 (26) approximation of a biological reaction model in front
( s = S ( d ) ) (P ( s ) = l )
4
n k1 n of expert partial knowledge of the systems
( l < ( t ) ( t ) l ) {s }
+ dynamics. Anaerobic digestion is a biological process
0 0 +1 0
used for carbon removal from wastewater. The
( S, ) = S1 S2 S3 S4 (27) principle is to transform organic matter into biogas
(i.e., that is a methane (CH4) and carbon dioxide
with k = 1,..., n 1 (i.e., only reachable locations (CO2) mixture) in absence of oxygen. This complex
before sn are taken). The preceding location sm S process can be modelled in two steps: the acidogenic
and methanogenic phases. A simplified version of the
is the latest that could be reached. The set of mass balance analytical model of our process
locations of S forward edges is named A1 . (Bernard et al. , 2001) is used:
"v1" S
follow a Monod-type kinetics, i.e. = max
x v+ S + KS
t 0 v+ v+ v+ v t x = v+ 2