Modelling the embedded control system using iUML-B pattern state machine

DOI10.1155/2018/1468172MaRDI QIDQ1629456zbMATH OpenOpenAlexWikidataFDO

Authors Han Peng, Chenglie Du, Lei Rao, Zhouzhou Liu

Publication date 12 December 2018

Published in Journal of Control Science and Engineering (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1155/2018/1468172

zbMATH Keywords

iUML-B state machine patterns

Mathematics Subject Classification ID

Sampled-data control/observation systems (93C57)

Recommendations

• scientific article; zbMATH DE number 1079649
• scientific article; zbMATH DE number 2097479
• A system-based approach to the formal development of embedded controllers for a railway
• scientific article; zbMATH DE number 2086948
• Modeling in Event B. System and software engineering.

Cites work

• Modeling in Event B. System and software engineering.

Describes a project that uses

Uses Software

• Rodin

This page was built for publication: Modelling the embedded control system using iUML-B pattern state machine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1629456)