Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method.
Jean-François PétinGérard MorelDominique MéryPatrick LamboleyPublished in: B (1998)
Keyphrases
- process control
- main contribution
- experimental evaluation
- significant contribution
- similarity measure
- pairwise
- detection method
- prior knowledge
- significant improvement
- cost function
- computational cost
- synthetic data
- high accuracy
- objective function
- support vector machine
- software engineering
- probabilistic model
- machine learning
- feature vectors
- preprocessing
- classification method
- artificial intelligence