A method for the synthesis of controllers to handle safety, liveness, and real-time constraints.
Michel BarbeauFroduald KabanzaRichard St.-DenisPublished in: IEEE Trans. Autom. Control. (1998)
Keyphrases
- real time
- high accuracy
- computational complexity
- constrained optimization
- computational cost
- preprocessing
- experimental evaluation
- support vector machine
- segmentation method
- synthetic data
- detection method
- optimization algorithm
- classification method
- optimization method
- geometric constraints
- edge detection
- clustering method
- detection algorithm
- computationally efficient
- vision system
- low cost
- control system
- objective function
- reinforcement learning
- bayesian networks