On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics
On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics
复制标题
将反应综合应用于机器人的软件工程挑战
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Jan Oliver Ringert
中科院分区：
文献类型：
--
作者：
S. Maoz;Jan Oliver Ringert
Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. This short paper discusses the software engineering challenges in applying reactive synthesis to robotics, beyond the synthesis algorithms themselves, including the challenge of writing declarative specifications, the challenge of abstraction of data and time, and the challenge of availability of an adequate development process supported by related tools. The identification and description of the challenges are based on our experience in building a development environment for reactive synthesis and applying it to the construction of about 10 different autonomous Lego robots. We describe the challenges using concrete examples from one of the robots built in our lab.
