Verification of Behavior-Based Control Systems in their Physical Environment.
Thorsten RopertzKarsten BernsXian LiKlaus SchneiderPublished in: MBMV (2016)
Keyphrases
- physical environment
- real environment
- control system
- virtual environment
- ubiquitous computing
- human interaction
- control architecture
- daily life
- model checking
- dynamic environments
- augmented reality
- gathering information
- context aware
- real world
- learning resources
- virtual reality
- control scheme
- control law
- real time
- vision system
- fuzzy logic
- computer vision