An event-driven manufacturing information system architecture for Industry 4.0 A Theorin, K Bengtsson, J Provost, M Lieder, C Johnsson, T Lundholm, ... International journal of production research 55 (5), 1297-1311, 2017 | 462 | 2017 |
Translating Grafcet specifications into Mealy machines for conformance test purposes J Provost, JM Roussel, JM Faure Control Engineering Practice 19 (9), 947-957, 2011 | 61 | 2011 |
Review of model-based testing approaches in production automation and adjacent domains-current challenges and research gaps S Rösch, S Ulewicz, J Provost, B Vogel-Heuser Journal of Software Engineering and Applications, 2015 | 56 | 2015 |
A systematic survey on sensor failure detection and fault-tolerance in ambient assisted living NE ElHady, J Provost Sensors 18 (7), 1991, 2018 | 54 | 2018 |
An event-driven manufacturing information system architecture A Theorin, K Bengtsson, J Provost, M Lieder, C Johnsson, T Lundholm, ... IFAC-PapersOnLine 48 (3), 547-554, 2015 | 49 | 2015 |
A formal semantics for Grafcet specifications J Provost, JM Roussel, JM Faure 2011 IEEE International conference on automation science and engineering …, 2011 | 35 | 2011 |
Generation of single input change test sequences for conformance test of programmable logic controllers J Provost, JM Roussel, JM Faure IEEE Transactions on Industrial Informatics 10 (3), 1696-1704, 2014 | 28 | 2014 |
IEC 61499 runtime environments: A state of the art comparison L Prenzel, A Zoitl, J Provost Computer Aided Systems Theory–EUROCAST 2019: 17th International Conference …, 2020 | 22 | 2020 |
PLC implementation of symbolic, modular supervisory controllers L Prenzel, J Provost IFAC-PapersOnLine 51 (7), 304-309, 2018 | 20 | 2018 |
From task allocation towards resource allocation when optimising assembly systems Å Fasth, J Provost, M Fabian, J Stahre, B Lennartson Procedia CIRP 3, 400-405, 2012 | 17 | 2012 |
Testing programmable logic controllers from finite state machines specification J Provost, JM Roussel, JM Faure 2011 3rd International Workshop on Dependable Control of Discrete Systems, 1-6, 2011 | 15 | 2011 |
Dynamic Software Updating of IEC 61499 Implementation Using Erlang Runtime System L Prenzel, J Provost 20th World Congress of the International Federation of Automatic Control, 2017 | 13 | 2017 |
Test sequence construction from SFC specification J Provost, JM Roussel, JM Faure IFAC Proceedings Volumes 42 (5), 299-304, 2009 | 12 | 2009 |
Sensor failure detection in ambient assisted living using association rule mining NE ElHady, S Jonas, J Provost, V Senner Sensors 20 (23), 6760, 2020 | 11 | 2020 |
A model-based testing framework with reduced set of test cases for programmable controllers C Ma, J Provost 13th IEEE Conference on Automation Science and Engineering (CASE 2017), 2017 | 10 | 2017 |
SIC-testability of sequential logic controllers J Provost, JM Roussel, JM Faure IFAC Proceedings Volumes 43 (12), 193-198, 2010 | 8 | 2010 |
Training convolutional neural networks with synthesized data for object recognition in industrial manufacturing J Li, PL Götvall, J Provost, K Åkesson 2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019 | 7 | 2019 |
Framework for flexible, adaptive support of test management by means of software agents CV Jordan, F Mäurer, S Löwenberg, J Provost IEEE Robotics and Automation Letters 4 (3), 2754-2761, 2019 | 7 | 2019 |
Event-driven production rescheduling in job shop environments F Pfitzer, J Provost, C Mieth, W Liertz 2018 IEEE 14th International Conference on Automation Science and …, 2018 | 7 | 2018 |
An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From Theory to practice in one week C Jordan, C Ma, J Provost 2017 IEEE Global Engineering Education Conference (EDUCON), 632-639, 2017 | 7 | 2017 |