Verification and online updating of decision making control logic for onboard real-time control systems.
Andrey A. TyugashevDmitrii ZheleznovPublished in: KES (2018)
Keyphrases
- control system
- real time
- decision making
- fuzzy logic
- real time control
- process control
- control strategy
- closed loop
- asynchronous circuits
- control algorithm
- control loop
- control method
- control scheme
- controller design
- control strategies
- online learning
- logic programming
- model checking
- decision support system
- decision makers
- modal logic
- control law
- data acquisition
- real environment
- verification method
- situational awareness
- model predictive control
- mobile robot
- optimal control
- decision support
- high speed
- low cost
- visual feedback
- supply chain
- data mining
- neural network