Automatic Controller Synthesis of Motion-Tasks with Real-Time Objectives | IEEE Conference Publication | IEEE Xplore

Automatic Controller Synthesis of Motion-Tasks with Real-Time Objectives


Abstract:

This paper presents a novel methodology for synthesizing motion tasks with real-time objectives. The methodology utilizes Linear Temporal Logic to define the motion task ...Show More

Abstract:

This paper presents a novel methodology for synthesizing motion tasks with real-time objectives. The methodology utilizes Linear Temporal Logic to define the motion task sequencing. Timed motion objectives are handled by an underlying hybrid automaton that utilizes the concept of Navigation Transformation to provide a time-abstraction of the navigation task. This enables real-time execution of the navigation tasks with analytical guarantees on the safety and the execution time. The resulting system is correct by construction. The performance of the methodology is demonstrated through non-trivial simulations.
Date of Conference: 17-19 December 2018
Date Added to IEEE Xplore: 20 January 2019
ISBN Information:

ISSN Information:

Conference Location: Miami, FL, USA

References

References is not available for this document.