bibliography.bib

由matlab开发的hybrid系统的描述语言

        YEAR               = {1981},
        DATE               = {5.8.1999},
        LOCATION           = {ifa bib 2875},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {used mainly for section 10, a concise summary of logic
}
}

@ARTICLE{ClMT87,
        AUTHOR             = {Clarke, D. W. and Mohtadi, C. and Tuffs, P. S.},
        JOURNAL            = Auto,
        NUMBER             = {2},
        PAGES              = {137-148},
        TITLE              = {{Generalized Predictive Control -- Part I. The Basic Algorithm}},
        VOLUME             = {23},
        YEAR               = {1987},
        DATE               = {14.5.1999},
        LOCATION           = {164},
        SIGNATURE          = {Domenico Mignone}
}

@BOOK{CoCS99,
        EDITOR             = {Cohen, A. M. and Cuypers, H. and Sterk, H.},
        PUBLISHER          = {Springer},
        SERIES             = {Algorithms and Computation in Mathematics},
        TITLE              = {Some Tapas of Computer Algebra},
        VOLUME             = {4},
        YEAR               = {1999},
        DATE               = {26.9.2000},
        LOCATION           = {ethbib 717 978:4},
        SIGNATURE          = Domi
}

@BOOK{CoGT92,
        AUTHOR             = {Conn, A.R. and Gould, N.I.M. and Toint, Ph.L.},
        PUBLISHER          = {Springer Verlag},
        TITLE              = {Lancelot - A Fortran Package for Large-Scale Nonlinear Optimization},
        YEAR               = {1992}
}

@INBOOK{Corl94,
        AUTHOR             = {Corless, M.},
        CHAPTER            = {xxx},
        PAGES              = {xxx},
        PUBLISHER          = {Springer},
        SERIES             = {Lecture Notes in Control and Information Sciences},
        TITLE              = {Robust Stability and Controller Design with Quadratic Lyapunov Functions},
        VOLUME             = {Variable Structure and Lyapunov Control, by A.~S.~I.~Zinober},
        YEAR               = {1994},
        DATE               = {3. 3. 1998},
        SIGNATURE          = {Domenico Mignone}
}

@MANUAL{CPLEX,
        EDITION            = {5.0},
        ORGANIZATION       = {ILOG},
        TITLE              = {Using the CPLEX Callable Library},
        YEAR               = {1997}
}

@MANUAL{Cplex99-2,
        AUTHOR             = {{ILOG, Inc.}},
        ADDRESS            = {Gentilly Cedex, France},
        TITLE              = {{CPLEX} 6.5 User Manual},
        YEAR               = {1999}
}

@MANUAL{Cplex00,
  year = 2000,
  title = {{CPLEX} 7.0 User Manual},
  address = {Gentilly Cedex, France},
  author = {{ILOG, Inc.}}
}

@MANUAL{Cplex01,
  year = 2001,
  title = {{CPLEX} 7.1 User Manual},
  address = {Gentilly Cedex, France},
  author = {{ILOG, Inc.}}
}


@inproceedings{TB01,
        AUTHOR             = {Torrisi, F.D. and Bemporad, A.},
        TITLE              = {Discrete-Time Hybrid Modeling and Verification},
        BOOKTITLE          = CDC01,
        PAGES = {2899--2904},
        YEAR               = {2001},
}

@inproceedings{BRL01,
        AUTHOR             = {A. Bemporad and J. Roll and L. Ljung},
        TITLE              = {Identification of hybrid systems via mixed-integer programming},
        BOOKTITLE          = CDC01,
        PAGES = {786--792},
        YEAR               = {2001},
}

@inproceedings{SRKC00,
    AUTHOR = {Silva, B.I. and Richerson, B. and Krogh, B. and Chutinan A.},
    TITLE  = {Modeling and Verifying Hybrid Dynamic Systems Using {Checkmate}},
    BOOKTITLE = {Proc. 4$^{th}$ Int. Conf. on Automation of Mixed Processes},
    PAGES = {323--328},
    YEAR = {2000}
}


@inproceedings{SSKE01,
        AUTHOR             = {Silva, B.I. and Stursberg, O. and Krogh, B.H. and Engell, S.},
        TITLE              = {An Assessment of the Current Status of Algorithmic Approaches to the Verification of Hybrid Systems},
        BOOKTITLE          = CDC01,
        PAGES              = {2867--2874},
        YEAR               = {2001},
}

@ARTICLE{CyMe95,
        AUTHOR             = {Cyganow, A. and Megretski, A.},
        JOURNAL            = Pro34,
        TITLE              = {{Quadratically Constrained Linear-Quadratic Optimization of Linear Output Feedback: a Linear Matrix Inequalities Approach}},
        YEAR               = {1995},
        LOCATION           = {58}
}

@ARTICLE{SKPT98,
        AUTHOR             = {Stursberg, O. and Kowalewsky, S. and Preussig, J. and Treseler H.},
        JOURNAL            = {Journal Europ. des Syst. Automatises},
        TITLE              = {Block-Diagram Based Modelling and Analysis of Hybrid Processes under Discrete Control.},
        YEAR               = {1998},
        VOLUME             = {32},
        NUMBER             = {9-10},
        PAGES              = {1097--1118},
        LOCATION           = {58}
}

@MANUAL{Das99,
        AUTHOR             = {{Dash Associates}},
        NOTE               = {{\tt http://www.dashopt.com}},
        TITLE              = {{XPRESS-MP} User Guide},
        YEAR               = {1999},
        ANNOTE             = {{\tt http://www.dashopt.com/contents/products/manuals.html}}
}

@ARTICLE{DeGS98,
        AUTHOR             = {Deshpande, A.R. and G{\"o}ll{\"u}, A. and Semenzato, L.},
        JOURNAL            = {\url{http://www.path.berkeley.edu/shift/publications.html}},
        TITLE              = {SHIFT Reference Manual},
        YEAR               = {1998}
}

@ARTICLE{Deso69,
        AUTHOR             = {Desoer, C.A.},
        JOURNAL            = IEEE,
        MONTH              = dec,
        TITLE              = {{Slowly Varying System $\dot{x} = A(t) x$}},
        YEAR               = {1969},
        DATE               = {1997},
        LOCATION           = {38}
}

@BOOK{DeVi75,
        AUTHOR             = {Desoer, C.A. and Vidyasagar, M.},
        PUBLISHER          = {Academic Press},
        TITLE              = {Feedback Systems: Input-Output Properties},
        YEAR               = {1975},
        DATE               = {1997},
        LOCATION           = {ethics P 300 506:33}
}

@ARTICLE{DiRe97,
        AUTHOR             = {Dittmar, R. and Reinig, G.},
        JOURNAL            = atp,
        PAGES              = {25-34},
        TITLE              = {{Anwendung modellgest\"utzter pr\"adiktiver Mehr\-gr\"os\-sen\-re\-ge\-lun\-gen in der Prozessindustrie}},
        VOLUME             = {9},
        YEAR               = {1997},
        LOCATION           = {97},
        ANNOTE             = {}
}

@TECHREPORT{DJRPV97,
        AUTHOR             = {Dolanc, G. and Juricic, D. and Rakar, A. and Petrovcic, J. and Vrancic, D.},
        INSTITUTION        = {Jozef Stefan Institute},
        NOTE               = {\url{ftp://ftp.utia.cas.cz/pub/staff/tesar/fault/latest/}},
        NUMBER             = {Copernicus Project Report CT94-02337},
        TITLE              = {{Three-tank Benchmark Test}},
        YEAR               = {1997},
        DATE               = {19.5.1999},
        LOCATION           = {142},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {Describes the experimental setup and the modeling of a laboratory 3 tank benchmark system. A detailed modeling and simulations of the models are presented. No fault detection schemes seem however to be described.
}
}

@BOOK{DoFT92,
        AUTHOR             = {Doyle, J.C. and Francis, B.A. and Tannenbaum, A.R.},
        PUBLISHER          = {Macmillan Publishing Company},
        TITLE              = {Feedback Control Theory},
        YEAR               = {1992},
        LOCATION           = {ethics epf-bc 6704-368 ~~~ eltech-bib c13.00.53}
}

@ARTICLE{DoPZ91,
        AUTHOR             = {Doyle, J. and Packard, A. and Zhou, K.},
        JOURNAL            = Pro30,
        PAGES              = {1227-1232},
        TITLE              = {{Review of LFTs, LMIs, and} $\mu$},
        YEAR               = {1991},
        LOCATION           = {68}
}

@INPROCEEDINGS{DoSW98,
        AUTHOR             = {Dolzmann, A. and Sturm, T. and Weispfenning, V.},
        BOOKTITLE          = KIT98,
        TITLE              = {{Real Quantifier Elimination in Practice}},
        YEAR               = {Grenoble 98},
        LOCATION           = {H5},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {Given a formula with \ii{quantifiers}, it is possible to eliminate the variables corresponding to those quantifiers. We do not want to repeat the details of the problem formulation, which are nicely stated in section 2 of the paper. \\

For the quantifier elimination purpose (at least) 3 techniques have been developed in the past. The software packages implementing these methods are called {\tt QEPCAD, REDLOG, and QERRC}. The focus of the paper is on {\tt REDLOG}, since the group of prof. Weispfenning has implemented this package. It is based on REDUCE, a commercial software ({\tt www.rrz.uni-koeln.de/REDUCE/}). REDLOG itself is freely available from {\tt www.fmi.uni-passau.de/$\sim$redlog}. Note also that at the homepage of REDUCE mentioned above it is possible to submit problems, without the necessity to actually buy the software. However the problem complexity seems to be rather high (doubly exponential), which might be an obstacle for many applications.\\

Some potential application fields could be optimization, scheduling or fault diagnosis. The first ideas when reading this paper were the following:
\begin{itemize}
\item {\bf Robust Control} It could be worthwhile to analyze, how a control problem with uncertainties can be set-up in order to be solved or simplified with quantifier elimination procedures.
\item {\bf Mixed Logic Dynamic Systems} Quantifier elimination could be a way of reducing the number of logical variables to introduce when modeling MLD systems. The first impression is that a combination of the MLD framework with quantifier elimination could be interesting to analyze.
\item {\bf Jim Primbs' work} The point where the application of Jim Primbs' ideas to MPC of piecewise linear systems failed, was the formulation of the cost function for a piecewise linear system in quadratic Form. The step which was easy to make for linear systems, was not immediate for p.l. systems, because we did not know a priori, which dynamics had to be used in the prediction. What if we ask for the existence of a quadratic form for the cost function and then try to eliminate the quantifiers? (J.Primbs: If you can write the cost as a quadratic, you are done...)
\end{itemize}

promising approach


}
}

@INPROCEEDINGS{DoTo95,
        AUTHOR             = {Domenjoud, E. and Tomas, A. P.},
        BOOKTITLE          = {Lecture Notes in Computer Science 976},
        PAGES              = {18-35},
        TITLE              = {{From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals}},
        YEAR               = {1995},
        LOCATION           = {.},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {An old algorithm by Elliot-MacMahon (1903/1916) for solving the diophatine equation $a_1 x_1 + \dots + a_n x_n = 0$ is reviewed. Based on it, extensions are given to handle also inequalities and disequalities. \index{Elliott-MacMahon's method}}
}

@INCOLLECTION{DOTY97,
        AUTHOR             = {Daws, C. and Olivero, A. and Tripakis, S. and Yovine, S.},
        BOOKTITLE          = {Hybrid Systems III},
        VOLUME             = {1066},
        PUBLISHER          = {Springer},
        SERIES             = {Lecture Notes in Computer Science},
        TITLE              = {{The Tool Kronos}},
        YEAR               = {1997},
        LOCATION           = {177}
}

@ARTICLE{Doyl78,
        AUTHOR             = {Doyle, J.C.},
        JOURNAL            = IEEE,
        NUMBER             = {4},
        PAGES              = {756-757},
        TITLE              = {{Guaranteed Margins for LQG Regulators}},
        VOLUME             = {AC-23},
        YEAR               = {1978},
        LOCATION           = {72},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {There are none.}
}

@INPROCEEDINGS{dSdM98,
        AUTHOR             = {B. {De Schutter} and B. {De Moor}},
        BOOKTITLE          = {Hybrid Systems V},
        EDITOR             = {P. Antsaklis and W. Kohn and M. Lemmon and A. Nerode and S. Sastry},
        PAGES              = {70--85},
        PUBLISHER          = {Springer},
        SERIES             = lncs,
        TITLE              = {The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems},
        VOLUME             = {1567},
        YEAR               = {1999},
        isbn = {3-540-65643-X},
        topics = {lcp, hybrid},
        myref = {sista_98_40}
}

@INPROCEEDINGS{dSvdB00,
        AUTHOR             = {B. {De Schutter} and T. {van den Boom}},
        BOOKTITLE          = ACC,
        PAGES              = {4046--4050},
        TITLE              = {Model predictive control for max-plus-linear systems},
        YEAR               = {2000},
        abstract = {Model predictive control (MPC) is a very popular controller              design method in the process industry. An important advan-              tage of MPC is that it allows the inclusion of constraints on              the inputs and outputs. Usually MPC uses linear discrete-              time models. In this paper we extend MPC to a class of              discrete event systems, i.e. we present an MPC framework              for max-plus-linear systems. In general the resulting opti-              mization problem is nonlinear and nonconvex. However, if              the control objective and the constraints depend monoton-              ically on the outputs of the system, the MPC problem can              be recast as problem with a convex feasible set. If in addi-              tion the objective function is convex, this leads to a convex              optimization problem, which can be solved very efficiently.}
}

@CONFERENCE{Eber99,
        AUTHOR             = {Ebert, W.},
        BOOKTITLE          = {submitted to CDC 1999},
        TITLE              = {{Infinite