Correctness of vehicle control systems-a case study.
Henri B. WeinbergNancy A. LynchPublished in: RTSS (1996)
Keyphrases
- control system
- real environment
- case study
- pedestrian detection
- vehicle speed
- real time
- traffic management
- test bed
- vehicle tracking
- control strategy
- closed loop
- dynamic environments
- mounted camera
- road vehicles
- moving vehicles
- intelligent transportation systems
- computer vision
- control law
- provably correct
- traffic monitoring
- traffic accidents
- vehicle detection
- control strategies
- license plate
- ground plane
- control algorithm
- video sequences
- information systems
- information retrieval