On proving that an unsafe controller is not proven safe.
Yuvaraj SelvarajJonas KrookWolfgang AhrendtMartin FabianPublished in: J. Log. Algebraic Methods Program. (2024)
Keyphrases
- control system
- control algorithm
- real time
- controller design
- dc motor
- neural network
- closed loop
- optimal control
- pid controller
- disturbance rejection
- control architecture
- control scheme
- control method
- control strategy
- information systems
- artificial intelligence
- control law
- input output
- adaptive neural
- strong robustness
- neural network controller