Motion planning and control: a formal methods approach

Motion planning and control: a formal methods approach

Control of complex systems satisfying rich temporal specification has become an increasingly important research area in fields such as robotics, control, automotive, and manufacturing. Popular specification languages include temporal logics, such as Linear Temporal Logic (LTL) and Computational Tree...

Full description

Bibliographic Details
Main Author: Vasile, Cristian-Ioan
Language:en_US
Published: 2016
Subjects:
Systems science
Formal methods
Motion planning
Sampling-based algorithms
Temporal logic
Temporal relaxation
Vehicle routing problem
Online Access:https://hdl.handle.net/2144/17081

Internet

https://hdl.handle.net/2144/17081

Similar Items