Login / Signup
Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation.
James Harland
Jan Olaf Blech
Ian Peake
Luke Trodd
Published in:
ENASE (2016)
Keyphrases
</>
industrial automation
case study
statistical models
process model
design process
lightweight
formal models
database
distributed systems
control system
prior knowledge
parameter estimation
data model
experimental data
cooperative
formal model
multi agent
data sets