Abstract | ||
---|---|---|
To make Industry 4.0 a success, it is necessary to take into account the human component. To design safe controllers, engineers must dispose innovative and human adapted methodologies. The paper proposes two advanced powerful tools (Model-Checking and Virtual Commissioning) which could modify the work of the automatic control engineers in the future. Model-Checking is used as an off-line verification of structural properties of a controller specification. Virtual Commissioning is used on-line to test the functional part. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1109/ICPHYS.2018.8390766 | 2018 IEEE Industrial Cyber-Physical Systems (ICPS) |
Keywords | Field | DocType |
Model-Checking,Virtual Commissioning,Programmable Logic Controller,Industry 4.0 | Control theory,Dispose pattern,Model checking,Unified Modeling Language,Project commissioning,Automatic control,Control engineering,Programmable logic controller,Engineering,Industry 4.0 | Conference |
ISBN | Citations | PageRank |
978-1-5386-6532-9 | 1 | 0.35 |
References | Authors | |
0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexandre Philippot | 1 | 2 | 5.43 |
Bernard Riera | 2 | 24 | 8.31 |
Vinay Kunreddy | 3 | 1 | 0.35 |
Serge Debernard | 4 | 84 | 11.30 |