20092021

Research activity per year

Filter
Conference contribution

Search results

  • 2020

    IEC 61499 Runtime Environments: A State of the Art Comparison

    Prenzel, L., Zoitl, A. & Provost, J., 2020, Computer Aided Systems Theory – EUROCAST 2019 - 17th International Conference, Revised Selected Papers. Moreno-Díaz, R., Quesada-Arencibia, A. & Pichler, F. (eds.). Springer, p. 453-460 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12014 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    10 Scopus citations
  • 2019

    FBBeam: An erlang-based IEC 61499 implementation

    Prenzel, L. & Provost, J., Jul 2019, Proceedings - 2019 IEEE 17th International Conference on Industrial Informatics, INDIN 2019. Institute of Electrical and Electronics Engineers Inc., p. 629-634 6 p. 8972123. (IEEE International Conference on Industrial Informatics (INDIN); vol. 2019-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Scopus citations
  • Training Convolutional Neural Networks with Synthesized Data for Object Recognition in Industrial Manufacturing

    Li, J., Götvall, P. L., Provost, J. & Åkesson, K., Sep 2019, Proceedings - 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019. Institute of Electrical and Electronics Engineers Inc., p. 1544-1547 4 p. 8869484. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; vol. 2019-September).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations
  • 2018

    Comparative study of flexible and decentralized agent-based and service-oriented control architectures for production systems

    Ruppert, S., Schönung, F., Walz, T. & Provost, J., 4 Dec 2018, 2018 IEEE 14th International Conference on Automation Science and Engineering, CASE 2018. IEEE Computer Society, p. 316-321 6 p. 8560596. (IEEE International Conference on Automation Science and Engineering; vol. 2018-August).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • Event-Driven Production Rescheduling in Job Shop Environments

    Pfitzer, F., Provost, J., Mieth, C. & Liertz, W., 4 Dec 2018, 2018 IEEE 14th International Conference on Automation Science and Engineering, CASE 2018. IEEE Computer Society, p. 939-944 6 p. 8560523. (IEEE International Conference on Automation Science and Engineering; vol. 2018-August).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • Extension of the Plant Feature Approach Introducing Temporal Relations

    Jordan, C. V., Herrero, J. C. & Provost, J., 4 Dec 2018, 2018 IEEE 14th International Conference on Automation Science and Engineering, CASE 2018. IEEE Computer Society, p. 1164-1169 6 p. 8560410. (IEEE International Conference on Automation Science and Engineering; vol. 2018-August).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • Implementation and Evaluation of IEC 61499 Basic Function Blocks in Erlang

    Prenzel, L. & Provost, J., 22 Oct 2018, Proceedings - 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation, ETFA 2018. Institute of Electrical and Electronics Engineers Inc., p. 123-130 8 p. 8502470. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; vol. 2018-September).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Scopus citations
  • Towards Sensor Failure Detection in Ambient Assisted Living: Sensors Correlations

    Elhady, N. E. & Provost, J., 4 Dec 2018, 2018 IEEE 14th International Conference on Automation Science and Engineering, CASE 2018. IEEE Computer Society, p. 378-383 6 p. 8560367. (IEEE International Conference on Automation Science and Engineering; vol. 2018-August).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • 2017

    A model-based testing framework with reduced set of test cases for programmable controllers

    Ma, C. & Provost, J., 1 Jul 2017, 2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017. IEEE Computer Society, p. 944-949 6 p. (IEEE International Conference on Automation Science and Engineering; vol. 2017-August).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    8 Scopus citations
  • An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From Theory to practice in one week

    Jordan, C., Ma, C. & Provost, J., 7 Jun 2017, Proceedings of 2017 IEEE Global Engineering Education Conference, EDUCON 2017. IEEE Computer Society, p. 632-639 8 p. 7942912. (IEEE Global Engineering Education Conference, EDUCON).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • Design-to-test: An approach to enhance testability of programmable controllers for critical systems—Two case studies

    Ma, C. & Provost, J., 2017, Risk, Reliability and Safety: Innovating Theory and Practice - Proceedings of the 26th European Safety and Reliability Conference, ESREL 2016. Walls, L., Revie, M. & Bedford, T. (eds.). CRC Press/Balkema, p. 428 1 p. (Risk, Reliability and Safety: Innovating Theory and Practice - Proceedings of the 26th European Safety and Reliability Conference, ESREL 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • Development of a methodology for monitoring and prediction of road surface conditions in highly automated driving

    Pont, E. M., Kuenzel, C. & Provost, J., 28 Jun 2017, 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017. Institute of Electrical and Electronics Engineers Inc., p. 1-7 7 p. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • Hybrid dynamic control of a sewage sludge dewatering and incineration process

    Ruppert, S., Stöcker, C., Koitka, M., Schmittel, P. & Provost, J., 1 Jul 2017, 2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017. IEEE Computer Society, p. 451-457 7 p. (IEEE International Conference on Automation Science and Engineering; vol. 2017-August).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Implementation of a cloud-based service-oriented architecture for hardware control systems supported by neural network

    Latka, O. & Provost, J., 2017, Risk, Reliability and Safety: Innovating Theory and Practice - Proceedings of the 26th European Safety and Reliability Conference, ESREL 2016. Walls, L., Revie, M. & Bedford, T. (eds.). CRC Press/Balkema, p. 386 1 p. (Risk, Reliability and Safety: Innovating Theory and Practice - Proceedings of the 26th European Safety and Reliability Conference, ESREL 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2016

    DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers

    Ma, C. & Provost, J., 14 Nov 2016, 2016 IEEE International Conference on Automation Science and Engineering, CASE 2016. IEEE Computer Society, p. 878-884 7 p. 7743494. (IEEE International Conference on Automation Science and Engineering; vol. 2016-November).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • Psychoacoustic impacts estimation in manufacturing based on accelerometer measurement using artificial neural networks

    Zou, M., Folk, L. & Provost, J., 14 Nov 2016, 2016 IEEE International Conference on Automation Science and Engineering, CASE 2016. IEEE Computer Society, p. 1203-1208 6 p. 7743542. (IEEE International Conference on Automation Science and Engineering; vol. 2016-November).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2015

    Design-to-test approach for black-box testing of programmable controllers

    Ma, C. & Provost, J., 7 Oct 2015, 2015 IEEE Conference on Automation Science and Engineering: Automation for a Sustainable Future, CASE 2015. IEEE Computer Society, p. 1018-1024 7 p. 7294232. (IEEE International Conference on Automation Science and Engineering; vol. 2015-October).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    5 Scopus citations
  • 2013

    Online support for shop-floor operators using body movements tracking

    Provost, J., Ebrahimi, A. H. & Akesson, K., 2013, 12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human - Machine Systems, HMS 2013 - Proceedings. PART 1 ed. IFAC Secretariat, p. 102-109 8 p. (IFAC Proceedings Volumes (IFAC-PapersOnline); vol. 12, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Scopus citations
  • 2012

    Planning in assembly systems - A common modeling for products and resources

    Provost, J., Lennartson, B., Fabian, M., Fasth, A. & Stahre, J., 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies and Factory Automation, ETFA 2012. 6489594. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    2 Scopus citations
  • 2011

    A formal semantics for Grafcet specifications

    Provost, J., Roussel, J. M. & Faure, J. M., 2011, 2011 IEEE International Conference on Automation Science and Engineering, CASE 2011. IEEE Computer Society, p. 488-494 7 p. 6042457. (IEEE International Conference on Automation Science and Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    23 Scopus citations
  • Testing programmable logic controllers from finite state machines specification

    Provost, J., Roussel, J. M. & Faure, J. M., 2011, 2011 3rd International Workshop on Dependable Control of Discrete Systems, DCDS'11 - Conference Proceedings. p. 1-6 6 p. 5970309. (2011 3rd International Workshop on Dependable Control of Discrete Systems, DCDS'11 - Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    11 Scopus citations
  • 2010

    Conformance test of logic controllers of critical systems from industrial specifications

    Chériaux, F., Picci, L., Provost, J. & Faure, J. M., 2010, Reliability, Risk and Safety: Back to the Future. p. 1569-1576 8 p. (Reliability, Risk and Safety: Back to the Future).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • SIC-testability of sequential logic controllers

    Provost, J., Roussel, J. M. & Faure, J. M., 2010, Proceedings - WODES 2010: 10th International Workshop on Discrete Event Systems. PART 1 ed. IFAC Secretariat, p. 193-198 6 p. (IFAC Proceedings Volumes (IFAC-PapersOnline); vol. 10, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • 2009

    Test sequence construction from SFC specification

    Provost, J., Roussel, J. M. & Faure, J. M., 2009, 2nd IFAC Workshop on Dependable Control of Discrete Systems, DCDS'09 - Proceedings. PART 1 ed. IFAC Secretariat, p. 299-304 6 p. (IFAC Proceedings Volumes (IFAC-PapersOnline); vol. 2, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    6 Scopus citations