2452 search results - page 37 / 491 » On Reduction of Lagrange Systems |
IMAMCI
2008
14 years 9 months ago
2008
: A switched sliding mode control strategy for a class of nonlinear uncertain systems is presented in this paper. It is characterized by an event
AUTOMATICA
1999
14 years 9 months ago
1999
This paper considers the problem of balanced model reduction for a class of distributed parameter systems. The system is assumed to have a finite-dimensional state vector as well ...
TCS
1998
14 years 9 months ago
1998
We provide a global technique, called neatening, for the study of modularity of left-linear Term Rewriting Systems. Objects called bubbles are identi ed as the responsibles of mos...
RTCSA
2008
IEEE
15 years 4 months ago
2008
IEEE
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
Using appropriate notation systems for proofs, cutreduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system ...