2 papers
cs.AI2025
LLM-Supported Formal Knowledge Representation for Enhancing Control Engineering Content with an Interactive Semantic Layer
Julius Fiedler, Carsten Knoll, Klaus Röbenack
The rapid growth of research output in control engineering calls for new approaches to structure and formalize domain knowledge. This paper briefly describes an LLM-supported metho…
cs.SC2017
Automatic Generation of Bounds for Polynomial Systems with Application to the Lorenz System
Klaus Röbenack, Rick Voßwinkel, Hendrik Richter
This study covers an analytical approach to calculate positively invariant sets of dynamical systems. Using Lyapunov techniques and quantifier elimination methods, an automatic pro…