bibliography_old.bib

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

        AUTHOR             = {Bemporad, A. and Borrelli, F. and Morari, M.},
        JOURNAL            = {Proceedings of the American Control Conference},
        TITLE              = {{Piecewise Linear Optimal Controllers for Hybrid Systems}},
        YEAR               = {2000}
}

@CONFERENCE{BeBu99,
        AUTHOR             = {Beldiman, O. and Bushnell, L.},
        BOOKTITLE          = ACC99,
        NOTE               = {TP18-1},
        TITLE              = {Stability, linearization and control of switched systems},
        YEAR               = {1999},
        LOCATION           = {ACC99 : TP18-1},
        ANNOTE             = {Except for one thing, this paper contains no new results and is only a collection of known facts. \\

    The new result is in theorem 2: If for an autonomous switched system, that is nonZeno, we have that $x_0$ is asymptotically stable for each diff. equation, then the overall system is stable. \\

    It seems, that the nonZeno condition is sufficient to allow doing the analysis for each dynamics separately. Now, this is either wrong, or it implies that the nonZeno condition is extremely restrictive. The example in \cite{Bran94} is therefore Zeno, or it would serve as counterexample for the only new result of this paper.}
}

@BOOK{Beck64,
        EDITOR             = {Beckenbach, E.F.},
        PUBLISHER          = {John Wiley and Sons},
        TITLE              = {Applied Combinatorial Mathematics},
        YEAR               = {1964},
        LOCATION           = {IfA-Bib 1280}
}

@BOOK{BEFB94,
        AUTHOR             = {Boyd, S. and El Ghaoui, L. and Feron, E. and Balakrishnan, V.},
        PUBLISHER          = {SIAM},
        TITLE              = {Linear Matrix Inequalities in System and Control Theory},
        YEAR               = {1994},
        DATE               = {3. 3. 1998},
        SIGNATURE          = {Domenico Mignone}
}

@ARTICLE{BeFM00,
        AUTHOR             = {Bemporad, A. and Ferrari-Trecate, G. and Morari, M.},
        JOURNAL            = IEEE,
        TITLE              = {{Observability and Controllability of Piecewise Affine and Hybrid Systems}},
        YEAR               = {2000},
        DATE               = {September},
        LOCATION           = {New Stuff BeFM99},
        SIGNATURE          = {Domenico Mignone}
}

@ARTICLE{BeFM99,
        AUTHOR             = {Bemporad, A. and Ferrari-Trecate, G. and Morari, M.},
        JOURNAL            = Pro,
        TITLE              = {{Observability and Controllability of Piecewise Affine and Hybrid Systems}},
        YEAR               = {1999},
        DATE               = {14.4.1999},
        LOCATION           = {New Stuff BeFM99},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {The piecewise linear composition of linear subsystems does not inherit the observability and controllability properties of the single subsystems. The composition of unobservable subsystems can results in an observable system and vice-versa. The class of MLD systems is shown to be equivalent to the class of piecewise affine systems.\\

Defines the notion of \ii{incremental observability in $T$ steps} and gives several illustrative examples for different ``levels'' of observability of piecewise affine systems:

\begin{itemize}
\item There exist systems, that are not incrementally observable for small $T$'s but become observable for larger $T$'s. In fact an example is given, where the system is incrementally observable for arbitrarily large $T$.
\end{itemize}

Proposes algorithms for determining the observability of piecewise affine systems.

Introduces the equivalence between piecewise affine systems and MLD systems. The equivalence is only given with a suitable partition of the state and input space of the PWA system. Note also that MLD systems are in general equivalent to PWA systems and not piecewise linear (PWL) systems.
}
}

@ARTICLE{BeGa,
        AUTHOR             = {Bemporad, A. and Garulli, A.},
        JOURNAL            = {..},
        TITLE              = {{Predictive Control Via Set-Membership State Estimation for Constrained Linear Systems with Disturbances}},
        YEAR               = {19..},
        LOCATION           = {102}
}

@TECHREPORT{BeMM98a,
        AUTHOR             = {Bemporad, A. and Mignone, D. and Morari, M.},
        INSTITUTION        = {\url{ftp://control.ethz.ch/pub/reports/postscript/AUT99-02.ps} ETH Zurich},
        TITLE              = {{Moving Horizon Estimation for Hybrid Systems and Fault Detection}},
        YEAR               = {1999},
        DATE               = {spring 1999},
        LOCATION           = {tech reports},
        ANNOTE             = {Extended version of contributed paper to ACC 99}
}

@TECHREPORT{BeMM98c,
        AUTHOR             = {Bemporad, A. and Mignone, D. and Morari, M.},
        INSTITUTION        = {\url{ftp://control.ethz.ch/pub/reports/postscript/AUT99-03.ps} ETH Zurich},
        TITLE              = {{A New Branch and Bound Algorithm for Optimal Control Problems}},
        YEAR               = {1999},
        DATE               = {spring 1999},
        LOCATION           = {tech reports},
        ANNOTE             = {Extended version of contributed paper for ECC99}
}

@INPROCEEDINGS{BeMM99a,
        AUTHOR             = {Bemporad, A. and Mignone, D. and Morari, M.},
        BOOKTITLE          = ACC,
        JOURNAL            = ACC,
        TITLE              = {{Moving Horizon Estimation for Hybrid Systems and Fault Detection}},
        YEAR               = {1999},
        DATE               = {spring 1999},
        LOCATION           = {New Stuff : .BeMM99a},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {Contributed Paper ACC99

A new approach for fault detection and state estimation of hybrid systems is presented. The method relies on the modeling framework for hybrid systems introduced by \cite{BeMo99a}. This framework considers interacting propositional logic, automata, continuous dynamics and constraints. The proposed approach is illustrated by considering the fault detection problem of the three-tank benchmark system.}
}

@ARTICLE{BeMM99c,
        AUTHOR             = {Bemporad, A. and Mignone, D. and Morari, M.},
        JOURNAL            = ECC,
        TITLE              = {{An Efficient Branch and Bound Algorithm for State Estimation and Control of Hybrid Systems}},
        YEAR               = {1999},
        DATE               = {spring 1999},
        LOCATION           = {New Stuff: BeMM99c},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {Contributed Paper ECC99

This paper presents a new Branch and Bound tree exploring strategy for solving
Mixed Integer Quadratic Programs (MIQP) involving time evolutions
of linear hybrid systems. In particular, we refer to the
Mixed Logical Dynamical (MLD) models introduced by~\cite{BeMo99a},
where the hybrid system is described by linear equations/inequalities involving
continuous and integer variables. For the optimizations required by the controller synthesis and state estimation of MLD systems, the proposed algorithm reduces the average number of node explorations during the search of a global minimum. It also provides good local minima after a short number of steps of the Branch and Bound procedure.
}
}

@ARTICLE{BeMo99a,
        AUTHOR             = {Bemporad, A. and Morari, M.},
        JOURNAL            = {Automatica},
        MONTH              = mar,
        NUMBER             = {3},
        PAGES              = {407-427},
        TITLE              = {{Control of Systems Integrating Logic, Dynamics, and Constraints}},
        VOLUME             = {35},
        YEAR               = {1999},
        DATE               = {1998},
        LOCATION           = {New Stuff: BeMo99a},
        ANNOTE             = {Introduction of MLD form and application to model predictive control
}
}

@INPROCEEDINGS{BeMo99b,
        AUTHOR             = {Bemporad, A. and Morari, M.},
        BOOKTITLE          = {Hybrid Systems: Computation and Control; Second International Workshop},
        TITLE              = {{Verification of Hybrid Systems via Mathematical Programming}},
        YEAR               = {1999},
        DATE               = {spring 1999},
        LOCATION           = {New Stuff: BeMo99b}
}

@BOOK{Bert95,
        AUTHOR             = {Bertsekas, D.P.},
        PUBLISHER          = {Athena Scientific},
        TITLE              = {Nonlinear Programming},
        YEAR               = {1995},
        DATE               = {22.6.1999},
        LOCATION           = {Domenico's private copy},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {Very hard to read, ideas are presented in a formalistic way, no intuitive feeling about what is going on is transmitted.
}
}

@TECHREPORT{BeTe97,
        AUTHOR             = {Berec, L. and Tesa{\v r}, L.},
        INSTITUTION        = {Copernicus Project CT94-0237},
        NUMBER             = {Issue A},
        TITLE              = {{Testing fault detection methods via three-tank system}},
        YEAR               = {1997}
}

@INPROCEEDINGS{BeTM00,
        AUTHOR             = {Bemporad, A. and Torrisi, F.D. and Morari, M.},
        BOOKTITLE          = {Proceedings 3rd International Workshop on Hybrid Systems, Pittsburgh, PA, USA},
        EDITOR             = {Lecture Notes in Computer Science, Springer Verlag},
        TITLE              = {{Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems}},
        YEAR               = {2000}
}

@TECHREPORT{BeTM00a,
        AUTHOR             = {Bemporad, A. and Torrisi, F.D. and Morari, M.},
        INSTITUTION        = {Automatic Control Laboratory},
        NUMBER             = {AUT00-04},
        TITLE              = {{Verification of Mixed Logical Dynamical Models - The Batch Evaporator Process Benchmark}},
        YEAR               = {2000},
        LOCATION           = {204},
        SIGNATURE          = Domi
}

@ARTICLE{BFM00,
        AUTHOR             = {A. Bemporad and G. Ferrari-Trecate and M. Morari},
        JOURNAL            = TAC,
        TITLE              = {Observability and Controllability of Piecewise Affine and Hybrid Systems},
        YEAR               = {to appear},
        ANNOTE             = {{\tt http://control.ethz.ch/}}
}

@INPROCEEDINGS{BFMM99a,
        AUTHOR             = {Bemporad, A. and Ferrari-Trecate, G. and Mignone, D. and Morari, M. and Torrisi, F. D.},
        BOOKTITLE          = ECC,
        TITLE              = {{Model Predictive Control - Ideas for the Next Generation}},
        YEAR               = {1999},
        DATE               = {8.4.1999},
        LOCATION           = {New Stuff: BFMM99a},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {invited paper at ECC 99
}
}

@TECHREPORT{BHMM00,
        AUTHOR             = {Bemporad, A. and Hertach, P. and Mignone, D. and Morari, M. and Torrisi, F.D.},
        INSTITUTION        = {ETH-Z{\"u}rich},
        TITLE              = {{HYSDEL- Hybrid Systems Description Language}},
        YEAR               = {2000}
}

@BOOK{BiGW90,
        AUTHOR             = {Bitmead, R. and Gevers, M. and Wertz, V.},
        PUBLISHER          = {Prentice Hall},
        TITLE              = {{Adaptive Optimal Control}},
        YEAR               = {1990},
        DATE               = {11.10.1999},
        LOCATION           = {ethics 749 915},
        SIGNATURE          = Domi
}

@INBOOK{BiKr95,
        AUTHOR             = {Birkh{\"o}lzer, T. and Kreisslmeier, G.},
        ADDRESS            = {Engell, S. (Hrsg.)},
        PAGES              = {265-285},
        PUBLISHER          = {Oldenbourg},
        TITLE              = {{Numerischer Entwurf nichtlinearer Regler}},
        VOLUME             = {Entwurf nichtlinearer Regler},
        YEAR               = {1995},
        DATE               = {14.12.1999},
        LOCATION           = {Domi's private copy},
        SIGNATURE          = Domi,
        ANNOTE             = {Contribution of the paper not clear. Proposes to use gridding to approximate the evaluation of the cost function for a nonlinear system. The cost function of the given optimal control problem is a Lyapunov function of the system.
}
}

@CONFERENCE{Bish99,
        AUTHOR             = {Bishop, B. E.},
        BOOKTITLE          = ACC99,
        NOTE               = {TM18-2},
        TITLE              = {Lyapunov Function Normalization for Controlled Switching of Hybrid Systems},
        YEAR               = {1999},
        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.},