Reference
B. De Schutter and B. De Moor, "The extended linear complementarity problem and
the modeling and analysis of hybrid systems," in
Hybrid
Systems V (Proceedings of the 5th International Hybrid Systems Workshop,
Notre Dame, Indiana, Sept. 1997) (P. Antsaklis, W. Kohn, M. Lemmon, A. Nerode,
and S. Sastry, eds.), vol. 1567 of
Lecture Notes in Computer
Science, Springer, pp. 70-85, 1999.
Abstract
First we give a short description of the Extended Linear Complementarity
Problem (ELCP), which is a mathematical programming problem. We briefly discuss
how this problem can be used in the analysis of discrete event systems and
continuous variable systems. Next we show that the ELCP can also be used to
model and to analyze hybrid systems. More specifically, we consider a
traffic-light-controlled intersection, which can be considered as a hybrid
system. We construct a model that describes the evolution of the queue lengths
in the various lanes (as continuous variables) as a function of time and we
show that this leads to an ELCP. Furthermore, it can be shown that some
problems in the analysis of another class of hybrid systems, the
"complementary-slackness systems", also lead to an ELCP.
Publisher page
Downloads
BibTeX
@incollection{DeSDeM:98-40,
author = {De Schutter, Bart and De Moor, Bart},
title = {The Extended Linear Complementarity Problem and the Modeling
and Analysis of Hybrid Systems},
booktitle = {Hybrid Systems V \normalfont(Proceedings of the 5th
International Hybrid Systems Workshop, Notre Dame, Indiana,
Sept. 1997)},
series = {Lecture Notes in Computer Science},
volume = {1567},
editor = {Antsaklis, Panos and Kohn, Wolf and Lemmon, Michael and Nerode,
Anil and Sastry, Shankar},
publisher = {Springer},
pages = {70--85},
year = {1999}
}