Modeling of a speed control system using Event-B.

Amel Mammar Marc Frappier

Published in: Int. J. Softw. Tools Technol. Transf. (2024)

Keyphrases

control system
real time
closed loop
dc motor
fuzzy logic
high speed
intelligent control
event detection
speed control
induction motor
modeling method
fuzzy control
temporal patterns
mobile robot
artificial neural networks
multi agent systems
information systems
data sets