bibliography_old.bib

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

        AUTHOR             = {Cavalier, T.M. and Pardalos, P.M. and Soyster, A.L.},
        JOURNAL            = {Computers Opns Res.},
        NUMBER             = {6},
        PAGES              = {561--570},
        TITLE              = {Modeling and integer programming techniques applied to propositional calculus},
        VOLUME             = {17},
        YEAR               = {1990},
        DATE               = {19.3.1999},
        KEYWORDS           = {integer programming},
        LOCATION           = {143},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {Proposes to use 0-1 integer programming to solve propositional calculus problems. Has about 10 references to previous works in this area. \\

Logic expressions can be modeled as 0-1 \ii{polynomial programming} problems. These however involve in general products of binary variables. Polynomial 0-1 programs can be reduced to linear 0-1 programs by introducing additional variables. This so called \ii{substitution method} is compared to \ii{CNF}, where no additional variables are introduced. Note however that the CNF method solves an integer program to get the solution of the logical expression. In the approach of \cite{BeMo99a} the inequalities completely determine the logical value of the expression without solving a mathematical program. \\

Some special cases of logical statements are treated, e.g. the statement that at least $m$ clauses are true imply that another one is true. \\

Problem Preprocessing is treated in terms of some rules, determining when an inequality is redundant, i.e. it is dominated by another one. Preprocessing could also be done on the level of logical formulations, as it is done for circuit design purposes.



}
}

@BOOK{Cass93,
        AUTHOR             = {Cassandras, C.G.},
        PUBLISHER          = {Irwin, Aksen Associates Incorporated Publishers},
        TITLE              = {Discrete Event Systems},
        YEAR               = {1993},
        DATE               = {fall 1998},
        LOCATION           = {Eltech Bib C 13.40 ~ 9c},
        ANNOTE             = {Modeling and Performance Analysis}
}

@BOOK{Cast00,
        AUTHOR             = {Castagnoli, D.},
        NOTE               = {Master's thesis},
        PUBLISHER          = {Universit\'a degli Studi di Pavia},
        TITLE              = {{Modellizzazione di una centrale idroelettrica ad acqua fluente mediante sistemi ibridi}},
        YEAR               = {2000}
}

@ARTICLE{CD88,
        AUTHOR             = {L.O. Chua and A. Deng},
        JOURNAL            = CAS1,
        PAGES              = {511--525},
        TITLE              = {Canonical piecewise-linear representation},
        VOLUME             = {35},
        YEAR               = {1988},
        ANNOTE             = {citato in Julian's PhD thesis}
}

@PHDTHESIS{Chap98,
        AUTHOR             = {Chapuis, J.},
        SCHOOL             = {ETH Z\"urich},
        TITLE              = {Modellierung und neues Konzept f\"ur die Regelung von Laufwasserkraftwerken},
        TYPE               = {{Diss. ETH Nr. 12765}},
        YEAR               = {1998},
        DATE               = {26.4.1999},
        KEYWORDS           = {Fuzzy Models, Hybrid Systems},
        LOCATION           = {Blue Folder, Domi's private copy},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {PhD Thesis of Jacques Chapuis about modeling and control of a hydro-electric power plant.
The control problem has been solved with fuzzy logic. \\

For this plant it has been developed an MLD model in the Laura-Thesis of Dario Castagnoli.}
}

@CONFERENCE{ChBK99,
        AUTHOR             = {Challa, S. and Bar-Shalom, Y. and Krishnamurthy, V.},
        BOOKTITLE          = ACC99,
        NOTE               = {FA16-3},
        TITLE              = {Nonlinear Filtering using Gauss-Hermite Quadrature and Generalised Edgeworth Series},
        YEAR               = {1999},
        LOCATION           = {ACC99 : FA16-3},
        ANNOTE             = {.}
}

@CONFERENCE{ChKC95,
        AUTHOR             = {Chow, C.M. and Kuznetsov, A.G. and Clarke, D. W.},
        ADDRESS            = {Rome, Italy},
        BOOKTITLE          = ECC,
        MONTH              = sep,
        TITLE              = {{Using Multiple Model in Predictive Control}},
        YEAR               = {1995},
        LOCATION           = {165}
}

@CONFERENCE{ChKr99,
        AUTHOR             = {Chapuis, J. and Kraus, F.},
        BOOKTITLE          = {Proc. 14th IFAC World Congress},
        TITLE              = {Application of Fuzzy Logic for Selection of Turbines and Weirs in Hydro Power Plants},
        YEAR               = {1999}
}

@ARTICLE{Choi97,
        AUTHOR             = {Choi, H.H.},
        JOURNAL            = Auto,
        NUMBER             = {11},
        PAGES              = {2089-2092},
        TITLE              = {{A New Method for Variable Structure Control System Design: A Linear Matrix Inequality Approach}},
        VOLUME             = {33},
        YEAR               = {1997},
        LOCATION           = {74}
}

@CONFERENCE{Chon99,
        AUTHOR             = {Chong, E.K.P.},
        BOOKTITLE          = ACC99,
        NOTE               = {WA14-1},
        TITLE              = {Stochastic Search and Optimization in Discrete Event Systems: an Overwiev of Parametric and Nonparametric Methods},
        YEAR               = {1999},
        ANNOTE             = {Discrete event systems occur e.g. in communication systems.
}
}

@BOOK{ChPa98,
        AUTHOR             = {Chen, J. and Patton, R.},
        PUBLISHER          = {Kluwer Academic},
        TITLE              = {{Robust Model-Based Fault Diagnosis for Dynamic Systems}},
        YEAR               = {1998}
}

@BOOK{Chri97,
        AUTHOR             = {Christiansen, D.},
        PUBLISHER          = {IEEE Press/ McGraw Hill, Inc.},
        TITLE              = {Electronics Engineers' Handbook, 4th edition},
        YEAR               = {1997}
}

@BOOK{ClMe81,
        AUTHOR             = {Clocksin, W. F. and Mellish, C. S.},
        PUBLISHER          = {Springer Verlag},
        TITLE              = {Programming in Prolog},
        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}
}

@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}
}

@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},