Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements

Zhe Xu, Calin Belta, Agung Julius

Research output: Contribution to journalArticlepeer-review

18 Scopus citations


Temporal logics are widely used to express (desired) system properties in controller synthesis and verification. In linear temporal logics, the semantics of the formulae are defined on the execution trajectories of the system. Recently, there have been a lot of interest in using dense-time linear temporal logic, such as Signal Temporal Logic (STL) in characterizing system trajectories. In this paper, we present a new method to derive an STL formula that characterizes the motion of a robot arm. Our work generalizes earlier work in this area by (i) allowing the use of polyhedral predicates, and (ii) incorporating a priori knowledge about the predicates. The formula is defined by a set of parameters, whose values are determined by minimizing a cost function that balances the trade-off between the formula's match with the trajectories and the the similarity between its predicate and an a priori known predicate. We apply our algorithm on experimental trajectories generated using a PHANToM Omni robot.

Original languageEnglish (US)
Pages (from-to)141-146
Number of pages6
Issue number27
StatePublished - 2015
Externally publishedYes


  • Learning
  • Optimization
  • Signal Temporal Logic

ASJC Scopus subject areas

  • Control and Systems Engineering


Dive into the research topics of 'Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements'. Together they form a unique fingerprint.

Cite this