Researcher portraits, Research
Stefan Haar: Pushing the boundaries of discrete event dynamic systems
… Stefan Haar is a researcher in the Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, … School at Université Paris-Saclay. He specialises in formal methods and discrete event dynamic systems in … which is a method of automatic control. The latter is the application of control theory to regulate processes without …
Published on: