Using SyGuS to Synthesize Reactive Motion Plans
نویسندگان
چکیده
منابع مشابه
Using SyGuS to Synthesize Reactive Motion Plans
We present an approach for synthesizing reactive robot motion plans, based on compilation to SyntaxGuided Synthesis (SyGuS) specifications. Our method reduces the motion planning problem to the problem of synthesizing a function that can choose the next robot action in response to the current state of the system. This technique offers reactivity not by generating new motion plans throughout dep...
متن کاملUsing Motion Capture to Synthesize Dance Movements
Motion capture presents an interesting opportunity for the analysis and synthesis of movements in dance. We describe a tool that uses concatenative synthesis of dance movement based on a library of prerecorded basic movements. Dance movements are first broken into discrete, small movements following the guidelines of Laban dance notation. Then these movements can be performed by dancers and rec...
متن کاملDistributed Reactive Systems Are Hard to Synthesize
This paper considers the problem of synthesizing a finite-state distributed reactive system. Given a distributed architecture A, identifying several processors 9, . . . , 9, and their interconnection scheme, and a propositional temporal specification 'P, a solution to the synthesis problem consists of finite-state programs II1 , . . . , I I k (one for each processor), whose joint (synchronous) ...
متن کاملLearning to Synthesize Arm Motion to Music By Example
We present a system that generates arm dancing motion to new music tracks, based on sample motion captured data of dancing to other pieces of music. Rather than adapting existing motion, as most music-animation systems do, our system is novel in that it analyzes both the supplied motion and music data for certain characteristics (eg. melodic contour, loudness, etc), and learns relationships bet...
متن کاملUniversal Plans for Reactive
In: Proc 10th IJCAI, 1987, 1039ff. To date, reactive robot behavior has been achieved only through manual programming. This paper describes a new kind of plan, called a \universal plan", which can be synthesized automatically, yet generates appropriate behavior in unpredictable environments. In classical planning work, problems were posed with unique initial and nal world states; in my approach...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2016
ISSN: 2075-2180
DOI: 10.4204/eptcs.229.3