Professional Documents
Culture Documents
HYBRID SYSTEMS
Jean Della Dora Sergio Yovine
LMC-IMAG VERIMAG
Domaine Universitaire Centre Equation
BP 53 2, Ave de Vignate
38041 Grenoble Cedex 9, France 38610 Gières, France
Jean.Della-Dora@imag.fr Sergio.Yovine@imag.fr
!268729 ;
:1
!=< >
/
8! 7@?$A (2)
which models the linear pendulum. There is, indeed, a system-
atic way of solving this equation. It is as follows. Let us first
N )GFPOQ) D
where is the (constant) environmental temperature, and that leads to the identification of the first integral
H K M* 68729 v * 6u
, , , and are some (positive) real constants. Since we
( A> I t A A9
know , we can try solving Eq. 2 by separating variables (11)
and then integrating
RQS ) RX
H ILN M*K M*6Z729 68729 7
Eq. 11 can now be used to reduce the system from a second-
SUT8V E/ D 6 ) W / )-F 9 YX T8V J W
(4) order to a first-order one by taking
7* J w ux ( 6 v * / ( 9
tA A
where is the time when the transition from location 1 to
A
location 2 occurred, that is, when tank is empty, and # )-* W7 (12)
is the corresponding temperature. Both sides of Eq. 4 can be A A which can be solvedW by separating variables
integrated yielding an equation of the form
R R
-) * / )-F dc Z6 7 * 729 (_y 7 z
( 6 v * W/ * 9
\D [B]_^a` ) A / ) Fb A
(5)
W
(13)
At A A
By inverting the expression we obtain ) as a function of 7 as which yields
A
*
(6)
7I v ` t( v* b (14)
By evaluating the right-hand side of Eq. 6 at 7 *f 1 *@< A t{_|}~2B
the time at which tank #+* becomes empty, weAUget o the temper- v is a second constant of integration. By inverting
ature ) ) 6Z7 9 when the transition from location 2 to lo- where
A can express as a function of 7 as follows
cation 4AUo takes place. AUo Thus, the crystallisation temperature is Eq. 14 we
v
attained if and only if )-. 3 ) .
AUo 68729 ( * 6 6Z7 v 929
t ~2B t I A
(15)
3 Systematizing the approach
In summary, the procedure we have applied to find the solution
The mathematical analysis carried out for the evaporator exam- esentially consists of four steps:
ple in the previous section is esentially decomposed into two
p
classes of systems, such as integrable Hamiltonian systems, for
which the overall procedure could be applied [15]. Suppose that belongs to
We are left out then with the problem of dealing with items 6 9 6 9 U U 5
(3) and (4) above, that is, solving one dimensional, non-
autonomous differential equations resorting to explicit integra-
6 9a (22)
6 9
tion and inversion. We assume
r *
the field of rational fractions with coefficients in the field of ra-
p
W 7 6 9
6Z729 6 9
tional numbers. Then of course belongs also to , but, in
(16) general, its primitive does not, esentially because (a) the
W variables, and reduce the problem
in order to be able to separate
logarithms do not belong to 6 9
, and (b) the field of rational
numbers is not algebrically closed. A typical exemple is the
to solving R R
6Z729 7 p W 6 9
following :
W
(17) R ( a / (
W/ ( ( [B]_^J $( (23)
4 A theoretical framework A I
Let us first recast the problem in the context of hybrid systems. Indeed, logarithms, exponentials, and algebraic numbers can-
Consider a location of a hybrid automaton with continuous dy-
of
6 9
not, in general, be avoided when finding primitives of elements
. We will not consider here the problem of algebraic
namics given by Eq. 16. Assume that the enabling condition of
&
numbers and other more subtle problems related to the true na-
7 H
a transition can be of one of the following forms: (i) or
ture of algebraic constructions. We will, however, show how
(ii) , for some constants
H . Notice that, even if
“timing” constraints of type (ii) do not explicitely occur in the logarithms and exponentials can be handled. For doing so, we
system, they may appear as a consequence of the methodology will use some notions of differential algebra.
explained above. This is indeed the case for the batch evapo-
A differential field is a commutative field equipped with a
rator where we do need, for instance, to compute the times
5 7U* ¡
A
derivation operation satisfying
7
and , corresponding to the “spatial” constraints
M* AUo 5 , respectively.
and
A W\
Z6 ¢ IL£ 9 ¢ I £ (24)
W 6Z¢ £ 9 W ¢ IW ¢ £
6 7 9
We are interesting then in determining whether for a given ini-
W £ W W
(25)
tial configuration it is possible to take one of the out- 6 9
going transitions. By integrating both sides of Eq. 17 we obtain is an example of differential field with the standard
J&
68729 / 6Z7 9 6 9 / 6 9 derivation which can indeed be defined by just posing
(18) An element ¢ is a constant if ¢ 5 . ¢ is algebraic
.
W if it is
*
where is a primitive of and of . Now, checking if the
the root of some irreducible polynomial W with* coefficients in
constraint
is satisfied reduces to deciding whether there 8
6 $
¢ 9 5 ¢ ¢ ¢ f £ for some £
. ¢ is an exponential if ¢
(i.e., ). is a logarithm if
exists 7 such that
£ W some £ W . A simple
¢ for
elementary extension of W is the extension of generated by
6Z729 6
9 / 6 9 687 9 (19) an element ¢ which is either (1) a constant, (2) algebraic, (3)
I the logarithm of an element of , or (4) the exponential of an
On the other hand, determining whether the constraint 7 of .
H
element
reachable consists in deciding if there is an satisfying
is
For instance, we can extend 6 9 by introducing the element
and defining
6 9 6 H 9 / 6Z7 9 I 6 9 (20) [B]_^
That is, from an algebraic point of view, the two questions are 6 [=]'^ 9 W (26)
basically the same. We could try to answer them by quantifier W
elimination techniques as in [13]. Here, however, we are in- We can also extend 6 9 by adding e¥¤ and defining
for known constants 7 2 . We can use the extension of 6 9
the equation
urp ! 6 u 9 w
! u
! u 687 ! 9 %@°
with [B]_^ to obtain the equation I (34)
v
for uM ! . The solution of Eq. 34 is
7 / 7 P [B]_^ M/ [B]_^ (29)
But now, in order to express as a function of 7 we need to be u 6Z729 % 6 ( % I 9 ° ( % A ° e'j !B±§* nY² j X f XZ³Zn
able to “algebraically” invert [B]_^ . %I I %I A (35)
6¦ 9 ¦ 6 § ¦ 9 (
7 !=±µ* 7 ! I 6 ( % 9 ° [=]'^a` % I % b
we introduce a new element such that , by definition
, then by a trivial process we build the field ,
W
extension of 6 9 ¦
by . It’s generally enough for computer al-
I
(36)
c¨©c
gebra where we are looking for a primitive. But such a prim-