Formal modeling, verification and implementation of a train control system.

Mohammadhossein Askarihemmat Otmane Aït Mohamed Mounir Boukadoum

Published in: ICM (2015)

Keyphrases

control system
fuzzy logic
formal methods
formal analysis
dynamic aspects
formal specification
model checking
formal model
modeling method
formal models
database
expert systems
control strategy
control algorithm
control method
implementation issues