bibliography.bib

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

@STRING{AAAA = ""}
@STRING{ARev = "Annual Reviews of Control"}
@STRING{ACC = "Proceedings of the American Control Conference"}
@STRING{ACC99 = "Proceedings of the American Control Conference 1999"}
@STRING{AIChE = "AIChE Journal"}
@STRING{at = "Automatisierungstechnik"}
@STRING{atp = "Automatisierungstechnische Praxis"}
@STRING{Auto = "Automatica"}
@STRING{AUTO = "Automatica"}
@STRING{CCE = "Computers and Chemical Engineering"}
@STRING{CEP = "Control Engineering Practice"}
@STRING{CDC = "Conference on Decision and Control"}
@STRING{CDC99 = "Proc. 38th IEEE Conf. on Decision and Control"}
@STRING{CDC00 = "Proc. 39th IEEE Conf. on Decision and Control"}
@STRING{CDC01 = "Proc. 40th IEEE Conf. on Decision and Control"}
@STRING{CDC02 = "Proc. 41th IEEE Conf. on Decision and Control"}
@STRING{Domi = "Domenico Mignone"}
@STRING{ECC = "European Control Conference"}
@STRING{ECC99 = "Proceedings of the European Control Conference, Karlsruhe, Germany"}
@STRING{Gre97 = "Lecture Notes of the Summer School, Session 16, Grenoble"}
@STRING{IEEE = "IEEE Transactions on Automatic Control"}
@STRING{IECST = "IEEE Transactions on Control Systems Technology"}
@STRING{IJC = "International Journal of Control"}
@STRING{IJRNLC= "International Journal of Robust and Nonlinear Control"}
@STRING{JOTA = "Journal of Optimization Theory and Applications"}
@STRING{KIT98 = "School on Computational Aspects and Applications of Hybrid Systems, KIT Workshop on Verification of Hybrid Systems"}
@STRING{LAA = "Linear Algebra and its Applications"}
@STRING{Num = "Numerische Mathematik"}
@STRING{PC = "Parallel Computing"}
@STRING{Pro = "Proceedings of the Conference on Decision and Control"}
@STRING{Pro24 = "Proceedings of the 24th Conference on Decision and Control"}
@STRING{Pro26 = "Proceedings of the 26th Conference on Decision and Control"}
@STRING{Pro27 = "Proceedings of the 27th Conference on Decision and Control"}
@STRING{Pro28 = "Proceedings of the 28th Conference on Decision and Control"}
@STRING{Pro29 = "Proceedings of the 29th Conference on Decision and Control"}
@STRING{Pro30 = "Proceedings of the 30th Conference on Decision and Control"}
@STRING{Pro31 = "Proceedings of the 31st Conference on Decision and Control"}
@STRING{Pro32 = "Proceedings of the 32nd Conference on Decision and Control"}
@STRING{Pro33 = "Proceedings of the 33rd Conference on Decision and Control"}
@STRING{Pro34 = "Proceedings of the 34th Conference on Decision and Control"}
@STRING{Pro35 = "Proceedings of the 35th Conference on Decision and Control"}
@STRING{Pro36 = "Proceedings of the 36th Conference on Decision and Control"}
@STRING{SCL = "Systems \& Control Letters"}
@STRING{SJCO = "SIAM Journal on Control and Optimization"}
@STRING{TAC = "IEEE Transactions on Automatic Control"}
@STRING{CAS1="IEEE Trans. Circuits Syst. I"}
@STRING{EJC="European Journal of Control"}
@STRING{lncs="Lecture Notes in Computer Science"}

@CONFERENCE{ABCK99,
        AUTHOR             = {Anlauff, M. and Bemporad, A. and Chakraborty, A. and Kutter, P. and Mignone, D. and Morari, M. and Pierantonio, A. and Thiele, L.},
        BOOKTITLE          = {submitted to Usenix, DSL 99, 2nd conference on domain specific languages, Austin Texas},
        TITLE              = {{From Ease in Programming to Easy Maintenance: Extending DSL Usability with Montages}},
        YEAR               = {1999},
        DATE               = {24.3.1999},
        KEYWORDS           = {Computer Science},
        LOCATION           = {New Stuff ABCK99},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {Describes Montages, the tool used to develop the first version of HYSDEL in collaboration with TIK. \\

Submission has been rejected.}
}

@INCOLLECTION{ACHH93,
        AUTHOR             = {Alur, R. and Courcoubetis, C. and Henzinger, T.A. and Ho, P.H.},
        BOOKTITLE          = {Hybrid Systems},
        EDITOR             = {R.L. Grossman and A. Nerode and A.P. Ravn and H. Rischel},
        PAGES              = {209--229},
        PUBLISHER          = {Springer Verlag},
        SERIES             = {Lecture Notes in Computer Science},
        TITLE              = {Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems},
        VOLUME             = {736},
        YEAR               = {1993},
        LOCATION           = {176}
}

@ARTICLE{AgIn68,
        AUTHOR             = {Aggarwal, J.K. and Infante, E. F.},
        JOURNAL            = ieee,
        TITLE              = {{Some Remarks on the Stability of Time-Varying Systems}},
        YEAR               = {1968},
        LOCATION           = {55}
}

@ARTICLE{AlDi94,
        AUTHOR             = {Alur, R. and Dill, L.},
        JOURNAL            = {Theoretical Computer Science},
        PAGES              = {183-235},
        TITLE              = {A Theory of Timed Automata},
        VOLUME             = {126},
        YEAR               = {1994},
        LOCATION           = {173}
}

@ARTICLE{CES86,
        AUTHOR             = {E. M. Clarke and E. A. Emerson and A. P. Sistla},
        JOURNAL            = {ACM Transactions on Programming Languages and Systems},
        NUMBER             = {2},
        PAGES              = {244--263},
        TITLE              = {Automatic Verification of finite-state concurrent systems using temporal logic specifications},
        VOLUME             = {8},
        YEAR               = {1986}
}

@ARTICLE{MLM94,
        AUTHOR             = {Mitra, G. and Lucas, C. and Moody S.},
        JOURNAL            = {European Journal of Operational Research},
        PAGES              = {262-276},
        TITLE              = {Tool for reformulating logical forms into zero-one mixed integer programs},
        VOLUME             = {71},
        YEAR               = {1994},
}


@ARTICLE{AlHH96,
        AUTHOR             = {Alur, R. and Henzinger, T.A. and Ho, P.H.},
        JOURNAL            = {IEEE Trans. on Software Engineering},
        PAGES              = {181--201},
        TITLE              = {{Automatic Symbolic Verification of Embedded Systems}},
        VOLUME             = {22},
        YEAR               = {1996}
}

@ARTICLE{Aliz93,
        AUTHOR             = {Alizadeh, F.},
        JOURNAL            = {..},
        TITLE              = {{Interior Point Methods in Semidefinite Programming with Applications to Combinatorial Optimization}},
        YEAR               = {19..},
        LOCATION           = {138}
}

@BOOK{AnMo89,
        AUTHOR             = {Anderson, B.D.O. and Moore, J. B.},
        PUBLISHER          = {Prentice Hall},
        TITLE              = {Optimal Control -- Linear Quadratic Methods},
        YEAR               = {1989},
        LOCATION           = {IfA-Bib 3486}
}

@ARTICLE{ApTu99,
        AUTHOR             = {Apkarian, P. and Tuan, H. D.},
        JOURNAL            = ACC99,
        NOTE               = {WP14-5},
        TITLE              = {{LMI-Constrained Concave Programs in Robust Control}},
        YEAR               = {1999},
        DATE               = {29.6.199},
        KEYWORDS           = {BMI, LMI},
        LOCATION           = {ACC99: WP14-5},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {Scheme for solving BMI's.}
}

@ARTICLE{AsHL99,
        AUTHOR             = {Askari, J. and Heiming, B. and Lunze, J.},
        JOURNAL            = ECC99,
        NOTE               = {Session CM5-3},
        TITLE              = {{Controller Reconfiguration Based on a Qualitative Model: A Solution of Three-Tanks Benchmark Problem}},
        YEAR               = {1999},
        DATE               = {6.4.2000},
        LOCATION           = {ECC99 folder},
        SIGNATURE          = Domi,
        ANNOTE             = {Reconfiguration of the Three-Tank system with qualitative information: A graph has to be found (faulty nondeterministic automaton) that describes the possible state transition given a qualitative state, a qualitative input and a fault. Such a representation is an abstraction of the actual quantitative relations describing the system.

This paper is not very clear and is full of spelling errors.}
}

@ARTICLE{ASNT91,
        AUTHOR             = {Akimoto, K. and Sannomiya, N. and Nishikawa, Y. and Tsuda, T.},
        JOURNAL            = {Automatica},
        NUMBER             = {3},
        PAGES              = {513--518},
        TITLE              = {An optimal gas supply for a power plant using a mixed integer programming model},
        VOLUME             = {27},
        YEAR               = {1991}
}

@BOOK{AsWi95,
        AUTHOR             = {{\AA}str{\"o}m, K.J. and Wittenmark, B.},
        EDITION            = {2nd},
        PUBLISHER          = {Addison-Wesley},
        SERIES             = {Addison-Wesley Series in Electrical Engineering: Control Engineering},
        TITLE              = {Adaptive Control},
        YEAR               = {1995},
        LOCATION           = {IfA-Bib 3692}
}

@MANUAL{Avis97,
        AUTHOR             = {Avis, D.},
        NOTE               = {\url{http://www.cs.mcgill.ca/~avis}},
        ORGANIZATION       = {McGill University Montreal, Cananda},
        TITLE              = {User's Guide for lrs - Version3.2},
        DATE               = {24.3.1999},
        LOCATION           = {SW folder},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {Manual for lrs, a program that finds the convex hull of a set of given points or the vertices of a polyhedron defined by a set of inequalities.
}
}

@BOOK{AW96,
        AUTHOR             = {K. J. {\AA}str{\"o}m and B. Wittenmark},
        EDITION            = {$3^{\rm rd}$},
        PUBLISHER          = {Prentice Hall},
        TITLE              = {Computer-Controlled Systems: Theory and Design},
        YEAR               = {1996}
}

@ARTICLE{Badg97,
        AUTHOR             = {Badgwell, T.A.},
        JOURNAL            = IJC,
        NUMBER             = {4},
        PAGES              = {797-818},
        TITLE              = {{Robust Model Predictive Control of Stable Linear Systems}},
        VOLUME             = {68},
        YEAR               = {1997},
        LOCATION           = {76}
}

@ARTICLE{BaKh89,
        AUTHOR             = {Banks, S.P. and Khathur, S.A.},
        JOURNAL            = IJC,
        NUMBER             = {2},
        PAGES              = {667-686},
        TITLE              = {{Structure and Control of Piecewise-Linear Systems}},
        VOLUME             = {50},
        YEAR               = {1989},
        LOCATION           = {35}
}

@TECHREPORT{Bala92,
        AUTHOR             = {Balakrishnan, V.},
        INSTITUTION        = {Information Systems Laboratory, Stanford University},
        TITLE              = {{Constrained $H_{\infty}$-optimal Controller Design via Interpolation Theory}},
        YEAR               = {1992},
        LOCATION           = {117}
}

@ARTICLE{Bala97,
        AUTHOR             = {Balakrishnan, V.},
        JOURNAL            = IEEE,
        MONTH              = aug,
        NUMBER             = {8},
        PAGES              = {1179-1189},
        TITLE              = {{$H_{\infty}$-Controller Synthesis with Time-Domain Constraints}},
        VOLUME             = {42},
        YEAR               = {1997},
        LOCATION           = {105}
}

@BOOK{BaNi93,
        AUTHOR             = {Basseville, M. and Nikiforov, I.V.},
        PUBLISHER          = {Englewood Cliffs},
        TITLE              = {Detection of Abrupt Changes},
        YEAR               = {1993},
        DATE               = {29.9.2000},
        LOCATION           = {ethbib 757332},
        SIGNATURE          = Domi
}

@BOOK{Barw77,
        AUTHOR             = {Barwise, J.},
        PUBLISHER          = {North Holland Publishing Company},
        TITLE              = {Handbook of Mathematical Logic},
        YEAR               = {1977},
        LOCATION           = {ethics 721 617: 90}
}

@TECHREPORT{BBFM00,
        AUTHOR             = {Bemporad, A. and Borrelli, F. and Ferrari-Trecate, G. and Mignone, D. and Morari, M. and Torrisi, F.D.},
        INSTITUTION        = {Automatic Control Laboratory, ETH Z{\"u}rich, Switzerland},
        TITLE              = {{Classes and Properties of Mixed Logic Dynamical Systems}},
        YEAR               = {2000}
}

@TECHREPORT{BCGS97,
        AUTHOR             = {Bongartz, I. and Conn, A.R. and Gould, N.I.M. and Saunders, M.A. and Toint, Ph.L.},
        INSTITUTION        = {Dept. of EESOR, Stanford University},
        NOTE               = {\url{http://www.stanford.edu/~saunders}},
        NUMBER             = {SOL97-6},
        TITLE              = {{A numerical comparison between the LANCELOT and MINOS packages for large-scale constrained optimization}},
        YEAR               = {1997},
        DATE               = {21.4.1999},
        LOCATION           = {\url{http://www.stanford.edu/~saunders}},
        SIGNATURE          = {Domenico Mignone},
        ANNOTE             = {A reference about MINOS. Not read ...
}
}

@ARTICLE{BeBa97,
        AUTHOR             = {Benzaouia, A. and Baddou, A.},
        JOURNAL            = ECC,
        TITLE              = {{Piecewise Linear Constrained Control for Linear Discrete-Time Systems}},
        YEAR               = {1997},
        LOCATION           = {64}
}

@ARTICLE{BeBM00a,
        AUTHOR             = {Bemporad, A. and Borrelli, F. and Morari, M.},