P.O. Box 800
9700 AH Groningen, 9700 AV
Netherlands
University of Groningen
Abstraction, Compositional Reasoning, Modular Verification, Non-deterministic Systems, Simulation Relation
Model reduction, data-driven model reduction, data informativity, moment matching, interpolatory model reduction.