Delves into symbolic representation of state spaces using decision diagrams for high-level Petri nets, showcasing efficient encoding techniques and benchmark results.
Introduces the bra-ket formalism, states, wave functions, and Hermitian operators, exploring the correspondence principle between classical and quantum mechanics.
Explores linear quadratic regulation for optimal control of linear systems, focusing on minimizing a quadratic cost function to move the system state towards zero.
