A Temporal Many-Valued Logic for Real Time Control Systems.
Gonzalo Escalada-ImazPublished in: AIMSA (2000)
Keyphrases
- control system
- real time
- modal logic
- truth values
- real time control
- spatio temporal
- temporal information
- linear temporal logic
- temporal constraints
- low cost
- control strategy
- closed loop
- multi valued
- real environment
- temporal dimension
- temporal logic
- control algorithm
- temporal patterns
- temporal data
- control law
- automated reasoning
- high fidelity
- logic programming
- vision system
- industrial automation