Persönlicher Status und Werkzeuge

Prof. Dr. Julien Provost

Assistant Professor

Safe Embedded Systems

Contact Details

Business card at TUMonline

Academic Career and Research Areas

Professor Provost (b. 1984) conducts research in the area of safe embedded systems. His topics of interest include verification and validation of critical systems, human-robot collaboration, and integration and interoperability of distributed control systems. He develops methods and tools in order to increase the modularity and dependability of production systems and embedded systems.

Professor Provost studied at the École Normale Supérieure de Cachan in France (ENS Cachan) where he obtained his MSc degree in industrial automation (2008). He subsequently received his doctorate degree in automation and electrical engineering (2011). He continued his academic career at Chalmers University of Technology in Sweden as a postdoctoral researcher. Since October 2013 he has been an assistant professor at the Institute of Automation and Information Systems.

    Key Publications (all publications)

    Provost J, Ebrahimi H, Åkesson K: “Online support for shop-floor operators using body movements tracking”. 12th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems. 2013.

    Abstract

    Provost J, Fasth Å, Stahre J, Lennartson B, Fabian M: “Planning in assembly systems - a common modeling for products and resources”. 17th IEEE Conference on Emerging Technologies & Factory Automation. 2012: 1-8.

    Abstract

    Provost J, Roussel JM, Faure JM: “Translating Grafcet specifications into Mealy machines for conformance test purposes”. Control Engineering Practice. 2011; 19(9): 947-957.

    Abstract

    Provost J, Roussel JM, Faure JM: “A formal semantics for Grafcet specifications”. 7th IEEE International Conference on Automation Science and Engineering. 2011: 488-494.

    Abstract

    Provost J, Roussel JM, Faure JM: “SIC-testability of sequential logic controllers”. 10th International Workshop on Discrete Event Systems. 2010: 193-198.

    Abstract