Automata-based analysis of stage suspended boom systems (Q2375655)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6175928
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automata-based analysis of stage suspended boom systems |
scientific article; zbMATH DE number 6175928 |
Statements
Automata-based analysis of stage suspended boom systems (English)
0 references
14 June 2013
0 references
Summary: A stage suspended boom system is an automatic steeve system orchestrated by the PLC (programmable logic controller). Security and fault-recovering are two important properties. In this paper, we analyze and verify the boom system formally. We adopt the hybrid automaton to model the boom system. The forward reachability is used to verify the properties with the reachable states. We also present a case study to illustrate the feasibility of the proposed verification.
0 references
0.8519294261932373
0 references
0.6581361889839172
0 references
0.646448016166687
0 references
0.6463515162467957
0 references
