A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems.
Mohamed NiangBernard RieraAlexandre PhilippotJanan ZaytoonFrançois GellotRaphaël CoupatPublished in: Comput. Ind. (2020)
Keyphrases
- power supply
- formal verification
- control system
- intelligent control
- model checking
- program slicing
- energy supply
- control unit
- high frequency
- electrical power
- bounded model checking
- fuzzy logic
- model checker
- fuzzy control
- real time
- closed loop
- expert systems
- control strategies
- process control
- fuzzy controller
- rbf neural network
- control algorithm
- control strategy
- power quality
- automated verification
- decision making
- artificial intelligence