bibliography.bib

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

@article{BM99,
        author={A. Bemporad and M. Morari},
        title={Control of Systems Integrating Logic, Dynamics, and Constraints},
        journal= AUTO,
        year={1999},
        volume={35},
        number={3},
        month={March},
        pages={407--427},
        annote={\protect{\rm Special issue on hybrid systems}},
        url={{\tt
            ftp://control.ethz.ch/pub/reports/postscript/AUT98\symbol{45}04.ps}},
}


@inproceedings{BGT00d,
  author =  {A. Bemporad and L. Giovanardi and F.D. Torrisi},
  title =   {Performance Driven Reachability Analysis for Optimal Scheduling and
             Control of Hybrid Systems},
  booktitle=CDC00,
  year =    {2000},
  month =   Dec,
  pages = {969--974},
  address={Sydney, Australia},
}


@article{Son81,
  author =  {E.D. Sontag},
  title =   {Nonlinear regulation: The piecewise linear approach},
  journal = TAC,
  year =    {1981},
  volume =  {26},
  number =  {2},
  pages =   {346--358},
  month =   {April},
  note =    {},
  abstract ={
       Approaches nonlinear control problems through the use of (discrete-time)
       piecewise linear systems. These are systems whose next-state and output maps
       are both described by PL maps, i.e. by maps which are affine on each of the
       components of a finite polyhedral partition. Various results on state and
       output feedback, observers, and inverses, standard for linear systems, are
       proved for PL systems. Many of these results are then used in the study of
       more general (both discrete- and continuous-time) systems, using suitable
       approximations},
  annote ={},
}

@incollection{FGLSMA02,
  author =   {G. Ferrari-Trecate and E. Gallestey and
P. Letizia and  M. Spedicato and  M. Morari and M. Antoine},
  title =  {Modeling and Control of Co-generation Power Plants: A Hybrid
System Approach},
  BOOKTITLE          = {Hybrid Systems Computation and Control},
  EDITOR             = {},
  PAGES              = {},
  PUBLISHER          = {Springer Verlag},
  SERIES             = {Lecture Notes in Computer Science},
  VOLUME             = {To appear},
  YEAR               = {2002},
}


@article{Ant00,
   author =  {P.J. Antsaklis},
   title =   {A Brief Introduction to the Theory and Applications of Hybrid
Systems},
   journal = {Proc. {IEEE}, Special Issue on Hybrid Systems: Theory and
Applications},
   year =    {2000},
   month=jul,
   volume =  {88},
   number =  {7},
   pages =   {879--886},
}

@incollection{ABKMPR97,
  author =   {E. Asarin and  M. Bozga and A. Kerbrat and O. Maler
             and A. Pnueli and A. Rasse},
  title =  {Data-structures for the verification of timed automata},
  BOOKTITLE          = {Hybrid and Real-Time Systems},
  EDITOR             = {O. Maler},
  PAGES              = {346--360},
  PUBLISHER          = {Springer Verlag},
  SERIES             = {Lecture Notes in Computer Science},
  VOLUME             = {1201},
  YEAR               = {1997},
  abstract={We suggest numerical decision diagrams, a BDD-based data-structure for
        representing certain subsets of the Euclidean space, namely those
        encountered in verification of timed automata. Unlike other representation
        schemes, NDD's are canonical and provide for all the necessary operations
        needed in the verification and synthesis of timed automata. We report some
        preliminary experimental results.},
}


@article{BTM01a,
  author =  {A. Bemporad and F.D. Torrisi and M. Morari},
  title =   {   Discrete-Time Hybrid Modeling and Verification of
   The Batch Evaporator Process Benchmark},
  journal=EJC,
  year=2001,
  volume = 7,
  number = 4,
  pages = {382--399},
  abstract ={},
  annote =  {was AUT00-04},
}


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

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