Skip to main content
SpringerLink
Log in

Hierarchical Interface-Based Supervisory Control for Verification and Validation of a Cyber-Physical System

  • Published:
Journal of Control, Automation and Electrical Systems Aims and scope Submit manuscript

Abstract

This paper presents a method for verifying and validating a cyber-physical system. The proposed method identifies possible blockings between the physical and cybernetic parts and is based on the controllability and non-blocking tests of the supervisory control theory. Furthermore, the proposed modeling complies with the hierarchical structure inherent to the cyber-physical system. The paper also presents a method for extracting models of the cybernetic part as it is and puts together models of both physical and cybernetic components that interact with each other. We have also developed tools to perform the verification and validation task and illustrate the proposed method with a computer-integrated manufacturing platform case study.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11

Similar content being viewed by others

Notes

  1. R = GT23(GET023), GT22(GET022), PT22(PUT022), PR(PUTRACK).

  2. Jb = GT23(GT023), GT22(GT022), PT22(PT022), PG(PTGENER).

  3. Again in Figure 11, refinement of events is observed by specific recipients for each routine requesting by the highest level.

References

  • Alves, M. V. S., Carvalho, L. K., & Basilio, J. C. (2021). Supervisory control of networked discrete event systems with timing structure. IEEE Transactions on Automatic Control, 66(5), 2206–2218. https://doi.org/10.1109/TAC.2020.3007384

  • Calixto, I. C. (2020). Hierarchical interface-based supervisory control applied to control logic validation of a computer-integrated manufacturing platform. PhD thesis, Military Engineering Institute

  • Calixto, I. C., & da Cunha, A. E. C. (2019) Controle supervisório hierárquico baseado em interface: Caso mecatrime. In: 14\(^\circ \) Simpósio Brasileiro de Automação Inteligente. https://doi.org/10.17648/sbai-2019-111457

  • Calixto, I. C., & da Cunha, A. E. C. (2020). Case study of hierarchical interface-based supervisory control for a mechatronic platform. In 15th workshop on discrete event systems

  • Cassandras, C., & Lafortune, S. (2021). Introduction to Discrete Event Systems. https://doi.org/10.1007/978-3-030-72274-6

  • Gonzalez, A. G. C., Alves, M. V. S., Viana, G. S., et al. (2018). Supervisory control-based navigation architecture: A new framework for autonomous robots in industry 4.0 environments. IEEE Transactions on Industrial Informatics, 14(4), 1732–1743. https://doi.org/10.1109/TII.2017.2788079

    Article  Google Scholar 

  • Hill, R., Cury, J., de Queiroz, M., et al. (2010). Multi-level hierarchical interface-based supervisory control. Automatica, 46(7), 1152–1164.

    Article  MathSciNet  MATH  Google Scholar 

  • Löcklin, A., Müller, M., Jung, T., et al. (2020). Digital twin for verification and validation of industrial automation systems - a survey. In 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (pp. 851–858) https://doi.org/10.1109/ETFA46521.2020.9212051

  • Leduc, R., Brandin, B., Lawford, M., et al. (2005). Hierarchical interface-based supervisory control, part i: Serial case. IEEE Transactions on Automatic Control, 50(9), 1322–1335.

    Article  MathSciNet  MATH  Google Scholar 

  • Leduc, R., Brandin, B., Lawford, M., et al. (2005). Hierarchical interface-based supervisory control, part ii: Parallel case. IEEE Transactions on Automatic Control, 50(9), 1336–1348.

    Article  MathSciNet  MATH  Google Scholar 

  • Leduc, R., Dai, P., & Song, R. (2009). Synthesis method for hierarchical interface-based supervisory control. IEEE Transactions on Automatic Control, 54(7)

  • Machado, T., Viana, G. S., & Moreira, M. V. (2023). Event-based automaton model for identification of discrete-event systems for fault detection. Control Engineering Practice, 134(105), 474. https://doi.org/10.1016/j.conengprac.2023.105474

    Article  Google Scholar 

  • Martins, L. R. R., Dias, N. F. A., Alves, L. V. R., et al. (2017). Ultrades 2.1 - uma biblioteca para modelagem, analise e controle de sistemas a eventos discretos. In: 13\(^\circ \) Simpósio Brasileiro de Automação Inteligente. https://www.sba.org.br/Proceedings/SBAI/SBAI2017/SBAI17/papers/paper_490.pdf

  • Moreira, M., & Lesage, J.-J. (2019). Fault diagnosis based on identified discrete-event models. Control Engineering Practice 91

  • Paiva, P. R., de Freitas, B. I., Carvalho, L. K., et al. (2021). Online fault diagnosis for smart machines embedded in industry 4.0 manufacturing systems: A labeled petri net-based approach. IFAC Journal of Systems and Control, 16, 100,146. https://doi.org/10.1016/j.ifacsc.2021.100146

    Article  MathSciNet  Google Scholar 

  • Rajkumar, R., Lee, I., Sha, L., et al. (2010). Cyber-physical systems: The next computing revolution. In Design automation conference (pp. 731–736)

  • Ramadge, P. J. G., & Wonham, W. M. (1989). The control of discrete event systems. In Proceendings of the IEEE (pp. 81–98)

  • Tritchkov, I., & Goetz, H. (2016). Verification and validation of decentralized, self-organizing cyber-physical production systems: A blueprint process for testing cyber-physical production systems with self-properties. In 2016 IEEE 1st international workshops on foundations and applications of self* systems (FAS*W) (pp. 112–117). https://doi.org/10.1109/FAS-W.2016.35

  • Viana, G. S., Alves, M. S., & Basilio, J. C. (2017). Codiagnosability of timed networked discrete-event systems subject to event communication delays and intermittent loss of observation. In 2017 IEEE 56th annual conference on decision and control (CDC) (pp. 4211–4216). https://doi.org/10.1109/CDC.2017.8264279

  • Wonham, W. M., & Cai, K. (2019). Supervisory control of discrete-event systems, 1st edn. Springer. https://doi.org/10.1007/978-3-319-77452-7

  • Zheng, X., Julien, C., Kim, M., et al. (2017). Perceptions on the state of the art in verification and validation in cyber-physical systems. IEEE Systems Journal, 11(4), 2614–2627. https://doi.org/10.1109/JSYST.2015.2496293

Download references

Funding

This work received support from the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Brazil (CAPES); the Financing Code 001; Financiadora de Estudos e Projetos (FINEP) and the Brazilian Army Force.

Author information

Author notes

  1. Antonio E. C. da Cunha and Raquel S. da S. de Aguiar have contributed equally to this work.

Authors and Affiliations

  1. Programa de Pós-Graduação em Engenharia de Defesa, Instituto Militar de Engenharia (IME), Praça Gen. Tibúrcio, 80, Rio de Janeiro, RJ, 22290-270, Brazil

    Igor C. Calixto, Antonio E. C. da Cunha & Raquel S. da S. de Aguiar

Authors
  1. Igor C. Calixto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonio E. C. da Cunha
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Raquel S. da S. de Aguiar
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Igor C. Calixto.

Ethics declarations

Conflict of interest

The authors have no conflicts of interest to declare that are relevant to the content of this paper.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Calixto, I.C., da Cunha, A.E.C. & de Aguiar, R.S.d.S. Hierarchical Interface-Based Supervisory Control for Verification and Validation of a Cyber-Physical System. J Control Autom Electr Syst 34, 1123–1135 (2023). https://doi.org/10.1007/s40313-023-01040-2

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s40313-023-01040-2

Keywords

Search

Navigation