Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks.
Daniil ChivilikhinAnatoly ShalytoValeriy VyatkinPublished in: TrustCom/BigDataSE/ISPA (3) (2015)
Keyphrases
- sound and complete axiomatization
- control system
- error prone
- multi valued
- real world
- efficient implementation
- programmable logic controller
- automated reasoning
- semi automatic
- modal logic
- cellular automata
- piecewise linear
- control structure
- control policy
- neural network
- control method
- programming language
- digital images
- data sets