bibliography_old.bib

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

        JOURNAL            = {submitted to Automatica},
        TITLE              = {Optimizing the end point state weighting matrix in Model-based Predictive Control},
        YEAR               = {2000},
        LOCATION           = {203},
        ANNOTE             = {paper reviewed\\
In this paper a Model Predictive Control algorithm is presented, where a finite horizon cost function is augmented with a terminal state penalty. The state feedback associated with this penalty term is computed online. Therefore a trade-off between a large feasibility region and optimality of the cost function is achieved. The approach is also compared to several existing techniques in Model Predictive Control.

}
}

@ARTICLE{BlMi96,
        AUTHOR             = {Blanchini, F. and Miani, S.},
        JOURNAL            = Pro35,
        PAGES              = {1027-1032},
        TITLE              = {{A New Class of Universal Lyapunov Functions for the Control of Uncertain Linear Systems}},
        YEAR               = {1996},
        LOCATION           = {69}
}

@ARTICLE{BlMi98,
        AUTHOR             = {Blanchini, F. and Miani, S.},
        JOURNAL            = SCL,
        PAGES              = {155-163},
        TITLE              = {{Constrained Stabilization via Smooth Lyapunov Functions}},
        VOLUME             = {35},
        YEAR               = {1998},
        LOCATION           = {130}
}

@ARTICLE{BlTs97,
        AUTHOR             = {Blondel, V. and Tsitsiklis, J.N.},
        JOURNAL            = SJCO,
        MONTH              = nov,
        NUMBER             = {6},
        PAGES              = {2118-2127},
        TITLE              = {{NP-Hardness of Some Linear Control Design Problems}},
        VOLUME             = {35},
        YEAR               = {1997},
        LOCATION           = {122}
}

@ARTICLE{BlTs99,
        AUTHOR             = {Blondel, V.D. and Tsitsiklis, J.N.},
        JOURNAL            = {Automatica},
        MONTH              = mar,
        NOTE               = {Special Issue on Hybrid Systems},
        NUMBER             = {3},
        PAGES              = {479-490},
        TITLE              = {{Complexity of Stability and Controllability of Elementary Hybrid Systems}},
        VOLUME             = {35},
        YEAR               = {1999}
}

@BOOK{BCOQ92,
        AUTHOR             = {Baccelli, F. and Cohen, G. and Olsder, G.J. and Quadrat, J.P.},
        PUBLISHER          = {Wiley},
        TITLE              = {Synchronisation and Linearity - An Algebra for Discrete Event Systems},
        YEAR               = {1992},
        DATE               = {23.10.2000},
        LOCATION           = {ifa bib 3635},
        SIGNATURE          = Domi
}

@MANUAL{BM00miqp,
        AUTHOR             = {A. Bemporad and D. Mignone},
        ADDRESS            = {ETH Zurich},
        NOTE               = {code available at \texttt{http://control.ethz.ch/\symbol{126}hybrid/miqp}},
        NUMBER             = {AUT00-22},
        TITLE              = {{MIQP.M}: A {Matlab} function for solving mixed integer quadratic programs},
        YEAR               = {2000}
}

@INPROCEEDINGS{BMDP00,
        AUTHOR             = {A. Bemporad and M. Morari and V. Dua and E.~N. Pistikopoulos},
        ADDRESS            = {Chicago, IL},
        BOOKTITLE          = {American Control Conference},
        MONTH              = jun,
        NOTE               = {pdf available at \texttt{http://control.ethz.ch/\symbol{126}bemporad/dsi/mp\symbol{95}frame.html}},
        TITLE              = {The Explicit Linear Quadratic Regulator for Constrained Systems},
        YEAR               = {2000}
}

@TECHREPORT{BMDP99,
        AUTHOR             = {A. Bemporad and M. Morari and V. Dua and E.~N. Pistikopoulos},
        ADDRESS            = {Switzerland},
        INSTITUTION        = {Automatic Control Lab, ETH Z\"urich},
        NUMBER             = {AUT99-16},
        TITLE              = {The Explicit Linear Quadratic Regulator for Constrained Systems},
        YEAR               = {1999},
        ANNOTE             = {submitted Automatica}
}

@ARTICLE{Bosc99,
        AUTHOR             = {Bosch, R. A.},
        JOURNAL            = {SIAM Review},
        MONTH              = sep,
        NUMBER             = {3},
        TITLE              = {{Integer Programming and Conway's Game of Life}},
        VOLUME             = {41},
        YEAR               = {1999},
        DATE               = {9.11.1999},
        SIGNATURE          = Domi,
        ANNOTE             = {How to solve some problems in the \ii{Game of Life} with integer programming approaches.}
}

@ARTICLE{BoSY97,
        AUTHOR             = {Boukas, E.K. and Swierniak, A. and Yang, H.},
        JOURNAL            = IJRNLC,
        PAGES              = {899-910},
        TITLE              = {{On the Robustness of Jump Linear Quadratic Control}},
        VOLUME             = {7},
        YEAR               = {1997},
        LOCATION           = {86}
}

@ARTICLE{BPPB93,
        AUTHOR             = {Becker, G. and Packard, A. and Philbrick, D. and Balas, G.},
        JOURNAL            = ACC,
        PAGES              = {2795-2799},
        TITLE              = {{Control of Parametrically-Dependent Linear Systems: A Single Quadratic Lyapunov Approach}},
        YEAR               = {1993},
        LOCATION           = {66}
}

@ARTICLE{Bran94,
        AUTHOR             = {Branicky, M.~S.},
        JOURNAL            = Pro33,
        MONTH              = dec,
        PAGES              = {3498-3503},
        TITLE              = {{Stability of Switched and Hybrid Systems}},
        YEAR               = {1994},
        DATE               = {3. 3. 1998},
        LOCATION           = {8},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {Contains an example of a continuous time system composed by the interconnection of stable linear systems. The overall system is however unstable.
}
}

@PHDTHESIS{Bran95,
        AUTHOR             = {Branicky, M.S.},
        SCHOOL             = {Massachussets Institute of Technology},
        TITLE              = {Studies in Hybrid Systems: Modeling, Analysis, and Control},
        YEAR               = {1995}
}

@INBOOK{Bran96,
        AUTHOR             = {Branicky, M.S.},
        NUMBER             = {1066},
        PAGES              = {186-200},
        PUBLISHER          = {Springer},
        SERIES             = {Lecture Notes in Computer Science},
        TITLE              = {{General Hybrid Dynamical Systems: Modeling, Analysis, and Control}},
        YEAR               = {1996},
        DATE               = {fall 1998},
        LOCATION           = {H2},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {The GHDS (\ii{General Hybrid Dynamical Systems}) framework proposed by Branicky encompasses a vaste set of hybrid systems. The paper deals with modeling, analysis and control of hybrid systems in a very general way.

Even though the model is very powerful there are some questions arising concerning the practical relevance of this approach:
\begin{itemize}
\item What steps are required to describe a real physical system in this framework?
\item What is the advantage of having described a plant in the GHDS form?
\item How can the GHDS model be used for further tasks in the system design? (``Further Tasks'' refers to the problems of controller-implementation, fault detection, verification, estimation)
\end{itemize}

Branicky's works on hybrid systems have been often referenced by various authors.
}
}

@ARTICLE{BrBM98,
        AUTHOR             = {Branicky, M.S. and Borkar, V.S. and Mitter, S.K.},
        JOURNAL            = IEEE,
        MONTH              = jan,
        NUMBER             = {1},
        PAGES              = {31--45},
        TITLE              = {A unified framework for hybrid control: model and optimal control theory},
        VOLUME             = {43},
        YEAR               = {1998},
        LOCATION           = {146}
}

@ARTICLE{BrCo98,
        AUTHOR             = {Brockman, M.L. and Corless, M.},
        JOURNAL            = IJC,
        NUMBER             = {6},
        PAGES              = {1105-1117},
        TITLE              = {{Quadratic Boundedness of Nominally Linear Systems}},
        VOLUME             = {71},
        YEAR               = {1998},
        LOCATION           = {135}
}

@BOOK{BSVW99,
        AUTHOR             = {Blondel, V.D. and Sontag, E.D. and Vidyasagar, M. and Willems, J.C.},
        PUBLISHER          = {Springer},
        TITLE              = {Open Problems in Mathematical Systems and Control Theory},
        YEAR               = {1999},
        DATE               = {9.3.2000},
        LOCATION           = {ethics 775 015},
        SIGNATURE          = Domi
}

@ARTICLE{BTM00b,
        AUTHOR             = {A. Bemporad and F.D. Torrisi and M. Morari},
        JOURNAL            = EJC,
        NOTE               = {to appear},
        TITLE              = {Verification of Mixed Logical Dynamical Models --- The Batch Evaporator Process Benchmark},
        YEAR               = {2000},
        ANNOTE             = {was AUT00-04},
        abstract = {}
}

@ARTICLE{BuPa97,
        AUTHOR             = {Burgess, K. and Passino, K.M.},
        JOURNAL            = IEEE,
        MONTH              = mar,
        NUMBER             = {3},
        PAGES              = {420-425},
        TITLE              = {{Stable Scheduling Policies for Flexible Manufacturing Systems}},
        VOLUME             = {42},
        YEAR               = {1997},
        LOCATION           = {33}
}

@ARTICLE{ByLi93,
        AUTHOR             = {Byrnes, C.I. and Lin, W.},
        JOURNAL            = Pro32,
        PAGES              = {2990-2996},
        TITLE              = {{On Discrete-Time Nonlinear Control}},
        YEAR               = {1993},
        LOCATION           = {190},
        SIGNATURE          = Domi,
        ANNOTE             = {Considers discrete time systems described by a smooth function $f(x)$ in
\begin{eqnarray}
\eta_{k+1} & = & f(\eta_k,\zeta_k) \\
\zeta_{k+1} & = & A \zeta_k + B u_k
\end{eqnarray}
Conditions for stabilizability with smooth feedback are given and conditions for the existence of stable observers are given. The combination gives a separation principle for asymptotic stabilization of discrete-time nonlinear systems.
}
}

@INBOOK{CaLa99,
        AUTHOR             = {Cassadras, C.G. and Lafortune, S.},
        CHAPTER            = {{Discrete Event Systems: The State of the Art and New Directions}},
        NOTE               = {Biswa Nath Datta (Editor)},
        PAGES              = {1-65},
        PUBLISHER          = {Birkh{\"a}user},
        TITLE              = {Applied and Computational Control, Signals and Circuits, Vol.1},
        YEAR               = {1999},
        DATE               = {24.1.2000},
        LOCATION           = {nebis},
        SIGNATURE          = Domi
}

@ARTICLE{CaMo89,
        AUTHOR             = {Campo, P. and Morari, M.},
        JOURNAL            = AIChE,
        NUMBER             = {4},
        PAGES              = {579--591},
        TITLE              = {Model predictive optimal averaging level control},
        VOLUME             = {35},
        YEAR               = {1989}
}

@ARTICLE{CaOr95,
        AUTHOR             = {Caines, P.E. and Ortega, R.},
        JOURNAL            = {IFAC Nonlinear Control Systems},
        TITLE              = {{The Semi-Lattice of Piecewise Constant Controls for Non-Linear Systems: A Possible Foundation for Fuzzy Control}},
        YEAR               = {1995},
        LOCATION           = {13}
}

@ARTICLE{CaPS90,