A. Bemporad and M. Morari. Verication of hybrid systems via mathematical programming. In F.W. Vaandrager and J.H. van Schuppen, editors, Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science, pages 31-45. Springer Verlag, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Deliverable PA.1: Plant Analysis - Al Ys Is (Correct)
.... of embedding the logic part in the state equations by transforming Boolean variables into 0 1 integers, and by expressing the relations as mixed integer linear inequalities [BM99a] Examples of real world applications that can be naturally modeled within the MLD framework are reported in [BM99a, BM99b] The reason for formulating MLD systems in discrete time is that several problems like control, veri cation, state estimation and fault detection, and observability analysis, can be suitably formulated and eciently solved by using tools from mathematical programming. In particular, for feedback ....
A. Bemporad and M. Morari. Verication of hybrid systems via mathematical programming. In F.W. Vaandrager and J.H. van Schuppen, editors, Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science, pages 31-45. Springer Verlag, 1999.
Approaches to Modelling, Analysis, and Control of.. - Boel, De Schutter.. (1999) (Correct)
....in Section 5. Proving properties about systems where discrete variables are added to a continuous model often leads to questions on the existence of solutions of mathematical programming problems where continuous and integer variables are mixed. One example is the work of Morari and Bemporad [7] where classical linear system models are extended with logical variables, and where mixed integer linear programming is used to prove that the state always remains in a set of safe states. In Section 6 of this paper we consider in detail the special case of such models, where in each mode the ....
A. Bemporad and M. Morari, \Verication of hybrid systems via mathematical programming," in Hybrid systems: Computation and Control (F.W. Vaandrager and J.H. van Schuppen, eds.), vol. 1569 of Lecture Notes in Computer Science, Berlin, Germany: Springer, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC