51 citations · 51 across the 2 of their papers we have counts for
2 papers
cs.HC2024★ 51 cited
AutoTRIZ: Automating Engineering Innovation with TRIZ and Large Language Models
Shuo Jiang, Weifeng Li, Yuping Qian +2
Various ideation methods, such as morphological analysis and design-by-analogy, have been developed to aid creative problem-solving and innovation. Among them, the Theory of Invent…
eess.SY2023
Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets
Jianqiang Ding, Taoran Wu, Yuping Qian +2
In this paper, we propose an approach for synthesizing provable reach-avoid controllers, which drive a deterministic system operating in an unknown environment to safely reach a de…