B3M35HYS, BE3M35HYS - B241: Literature

The MLD description of discrete-time hybrid systems that we discuss this week was originally introduced in

Bemporad, Alberto, and Manfred Morari. ‘Control of Systems Integrating Logic, Dynamics, and Constraints’. Automatica 35, no. 3 (1 March 1999): 407–27. https://doi.org/10.1016/S0005-1098(98)00178-2.

but perhaps even more accessible introduction is in Chapter 16 of the freely available book

Borrelli, Francesco, Alberto Bemporad, and Manfred Morari. Predictive Control for Linear and Hybrid Systems. Cambridge, New York: Cambridge University Press, 2017. http://cse.lab.imtlucca.it/~bemporad/publications/papers/BBMbook.pdf.

Just in case some issues are still unclear, in particular those related to the connection between the constraints (inequalities) imposed on continuous (aka real) variables and logical conditions imposed on binary variable, you may like the little bit more formal discussion in Section 2.2 of the thesis

Mignone, Domenico. ‘Control and Estimation of Hybrid Systems with Mathematical Optimization’. Doctoral Thesis, ETH Zurich, 2002. https://doi.org/10.3929/ethz-a-004279802.

Strictly speaking, this use of binary (0-1 integer) variables to encode some constraints on real variables is standard in optimization and is described elsewhere – search for the indicator variables or indicator constraints. A recommendable general resource is the book (unfortunately not available online)

Williams, H. Paul. Model Building in Mathematical Programming. 5th ed. Hoboken, N.J: Wiley, 2013,

in particular its section 9.1.3 on Indicator variables.

All the theoretical concepts and procedures introduced in this lecture (and in those corresponding papers and books) are straightforward but rather tedious to actually implement. There is a HYSDEL language for modelling hybrid systems (discrete hybrid automata as considered in this lecture) that automates these procedures. The HYSDEL language is described not only in the documentation but also in the dedicated paper, which can also serve as a learning resource for the topic.

Torrisi, F.D., and A. Bemporad. ‘HYSDEL—a Tool for Generating Computational Hybrid Models for Analysis and Synthesis Problems’. IEEE Transactions on Control Systems Technology 12, no. 2 (March 2004): 235–49. https://doi.org/10.1109/TCST.2004.824309.

Case studies:

Batch evaporator

Bemporad, A., F. D. Torrisi, and M. Morari. “Discrete-Time Hybrid Modeling and Verification of the Batch Evaporator Process Benchmark.” European Journal of Control 7, no. 4 (January 1, 2001): 382–99. https://doi.org/10.3166/ejc.7.382-399.
Kowalewski, Stefan, and Olaf Stursberg. “The Batch Evaporator: A Benchmark Example for Safety Analysis of Processing Systems under Logic Control.” In Proceedings 4th Int. Workshop on Discrete Event Systems (WODES’98), 302–7. Cagliari, Italy: IEE, London, 1998.

Naposledy změněno: pondělí, 4. prosince 2023, 15.41