Formal Modelling of Cruise Control System Using Event-B and Rodin Platform.
Sorina-Nicoleta PredutFlorentin IpateMarian GheorgheFelician CampeanPublished in: HPCC/SmartCity/DSS (2018)
Keyphrases
- control system
- real time
- event detection
- control algorithm
- event driven
- fuzzy logic
- control strategy
- virtual instrument
- control software
- fuzzy controller
- formal model
- fuzzy control
- matlab simulation
- real environment
- event recognition
- control law
- pid controller
- control scheme
- control method
- closed loop
- data sets
- temporal relations
- formal representation
- news articles