Seguir
Julien Provost
Título
Citado por
Citado por
Año
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
4542017
Translating Grafcet specifications into Mealy machines for conformance test purposes
J Provost, JM Roussel, JM Faure
Control Engineering Practice 19 (9), 947-957, 2011
612011
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
552015
A systematic survey on sensor failure detection and fault-tolerance in ambient assisted living
NE ElHady, J Provost
Sensors 18 (7), 1991, 2018
502018
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
482015
A formal semantics for Grafcet specifications
J Provost, JM Roussel, JM Faure
2011 IEEE International conference on automation science and engineering …, 2011
332011
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
282014
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
212020
PLC implementation of symbolic, modular supervisory controllers
L Prenzel, J Provost
IFAC-PapersOnLine 51 (7), 304-309, 2018
172018
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
172012
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
142011
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
132017
Test sequence construction from SFC specification
J Provost, JM Roussel, JM Faure
IFAC Proceedings Volumes 42 (5), 299-304, 2009
122009
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
102017
SIC-testability of sequential logic controllers
J Provost, JM Roussel, JM Faure
IFAC Proceedings Volumes 43 (12), 193-198, 2010
82010
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
72017
Sensor failure detection in ambient assisted living using association rule mining
NE ElHady, S Jonas, J Provost, V Senner
Sensors 20 (23), 6760, 2020
62020
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
62019
FBBeam: an erlang-based IEC 61499 implementation
L Prenzel, J Provost
2019 IEEE 17th International Conference on Industrial Informatics (INDIN) 1 …, 2019
62019
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
62019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20