A Synchronous Model of IEC 61131 PLC Languages in SIGNAL.
Fernando Jiménez-FraustroÉric RuttenPublished in: ECRTS (2001)
Keyphrases
- mathematical model
- objective function
- statistical model
- computational model
- formal model
- measured data
- probability distribution
- conceptual model
- process model
- parameter estimation
- neural network model
- experimental data
- knowledge base
- computer systems
- access control
- markov chain
- management system
- cost function
- image segmentation