Formalization and validation of a subset of the European Train Control System.
Angelo ChiappiniAlessandro CimattiLuca MacchiOscar RebolloMarco RoveriAngelo SusiStefano TonettaBerardino VittoriniPublished in: ICSE (2) (2010)
Keyphrases
- control system
- closed loop
- control algorithm
- process control
- fuzzy logic
- intelligent control
- fuzzy control
- control law
- control strategy
- neural network
- control scheme
- control method
- formal model
- european project
- decision trees
- summer school
- eu funded
- controller design
- operational semantics
- evolutionary algorithm
- knowledge base
- information systems