Covers the basics of multivariable control, including system modeling, temperature control, and optimal strategies, emphasizing the importance of considering all inputs and outputs simultaneously.
Delves into symbolic representation of state spaces using decision diagrams for high-level Petri nets, showcasing efficient encoding techniques and benchmark results.