A Stable Qualitative Movement Control System Based on Propositional Dynamic Logic.
Przemyslaw Andrzej WalegaEmilio Muñoz-VelascoPublished in: J. Multiple Valued Log. Soft Comput. (2019)
Keyphrases
- control system
- propositional dynamic logic
- reasoning about actions
- fuzzy logic
- dynamic logic
- closed loop
- control algorithm
- control law
- quantitative and qualitative
- controller design
- qualitative reasoning
- lyapunov theory
- qualitative and quantitative
- qualitative simulation
- fuzzy control
- real time
- control scheme
- control method
- general purpose
- pid controller
- possibility theory
- body movements
- knowledge representation
- bayesian networks