bibliography.bib

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

        LOCATION           = {ACC99 : TM18-2},
        ANNOTE             = {Given a switched system, where there is a Lyapunov Function associated in each domain, proposed a normalization scheme, that allows to define switching surfaces of the switched system.
}
}

@INPROCEEDINGS{BJRE97,
        AUTHOR             = {Balle, P. and Juricic, D. and Rakar, A. and Ernst, S.},
        BOOKTITLE          = {ACC},
        TITLE              = {{Identification of Nonlinear Processes and Model Based Fault Isolation Using Local Linear Models}},
        YEAR               = {1997}
}

@INBOOK{Blan99,
        AUTHOR             = {Blanke, M.},
        PAGES              = {171-196},
        PUBLISHER          = {Springer},
        TITLE              = {{Fault-tolerant Control Systems}},
        VOLUME             = {{Advances in Control - Highlights of ECC'99}},
        YEAR               = {1999}
}

@ARTICLE{BlBV00,
        AUTHOR             = {Bloemen, H.H.J. and van den Boom, T.J.J. and Verbruggen, H.B.},
        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{BBM98,
    author={M.S. Branicky and V.S. Borkar and S.K. Mitter},
    title={A unified framework for hybrid control: model and optimal control theory},
    journal=TAC,
    year={1998},
    volume={43},
    number={1},
    pages={31--45},
}

@MANUAL{Hurl01,
        AUTHOR             = {Huerlimann, T.},
        ADDRESS            = {\url{http://www2-iiuf.unifr.ch/tcs/lpl/TonyHome.htm}},
        ORGANIZATION       = {Departement for Informatics, Universit\'{e} de Fribourg, Switzerland},
        TITLE              = {Reference Manual for the LPL Modeling Language, Version 4.42},
        YEAR               = {2001}
}

@article{LTS99,
    author={J. Lygeros and C. Tomlin and S. Sastry},
    title={Controllers for reachability specifications for hybrid systems},
    journal=AUTO,
    year={1999},
    volume={35},
    number={3},
    pages={349--370},
}

@article{HDB01,
  author =  {W.P.M.H. Heemels and B. De Schutter and A. Bemporad},
  title =   {Equivalence of Hybrid Dynamical Models},
  journal = AUTO,
  year =    {2001},
  month = jul,
  volume={37},
  number={7},
  pages={1085--1091},
}

@inproceedings{BTM00c,
  author =  {A. Bemporad and F.D. Torrisi and M. Morari},
  title =   {Performance Analysis of Piecewise Linear Systems and Model Predictive Control Systems},
  booktitle=CDC00,
  year =    {2000},
  month =   Dec,
  pages = {4957--4962},
  address={Sydney, Australia},
}

@article{CD88,
  author =  {L.O. Chua and A. Deng},
  title =   {Canonical piecewise-linear representation},
  journal = CAS1,
  year =    {1988},
  volume =  {35},
  pages =   {511--525},
  annote ={citato in Julian's PhD thesis},
}

@inproceedings{BTM00,
  author = {A. Bemporad and F.D. Torrisi and M. Morari},
  title = {Optimization-Based Verification and
           Stability Characterization of Piecewise Affine and Hybrid Systems},
  series={Lecture Notes in Computer Science},
  BOOKTITLE          = {Proceedings 3rd International Workshop on Hybrid Systems, Pittsburgh, PA, USA},
  volume={1790},
  publisher={Springer Verlag},
  year = {2000},
  abstract={},
  annote={last version of BTM99},
  pages={45--58},
}