Output regulation for general heterodirectional linear hyperbolic PDEs coupled with nonlinear ODEs

Irscheid, Abdurrahman; Deutscher, Joachim; Gehring, Nicole; Rudolph, Joachim

doi:10.1016/j.automatica.2022.110748

Cited by 8 publications

(2 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This anecdotal evidence can be underpinned by structural considerations: Contemporary control engineering is characterized by wide and heterogeneous spectra of methods (such as advanced linear algebra [1], differential geometry [2,3], functional analysis [4]) and domains of application (such as robotics [5], automotive systems [6], process engineering [7], chemical engineering [8]). This inherent two-dimensional interdisciplinarity makes it hard for outsiders to obtain a systematic overview.…”

Section: Introductionmentioning

confidence: 99%

Imperative Formal Knowledge Representation for Control Engineering: Examples from Lyapunov Theory

Knoll,

Fiedler,

Ecklebe

2024

Machines

View full text Add to dashboard Cite

In this paper, we introduce a novel method to formally represent elements of control engineering knowledge in a suitable data structure. To this end, we first briefly review existing representation methods (RDF, OWL, Wikidata, ORKG). Based on this, we introduce our own approach: The Python-based imperative representation of knowledge (PyIRK) and its application to formulate the Ontology of Control Systems Engineering (OCSE). One of its main features is the possibility to represent the actual content of definitions and theorems as nodes and edges of a knowledge graph, which is demonstrated by selected theorems from Lyapunov’s theory. While the approach is still experimental, the current result already allows the application of methods of automated quality assurance and a SPARQL-based semantic search mechanism. The feature set of the framework is demonstrated by various examples. The paper concludes with a discussion of the limitations and directions for further development.

show abstract

Section: Introductionmentioning

confidence: 99%

Imperative Formal Knowledge Representation for Control Engineering: Examples from Lyapunov Theory

Knoll,

Fiedler,

Ecklebe

2024

Machines

View full text Add to dashboard Cite

show abstract

Section: Introductionmentioning

confidence: 99%

Formal Knowledge Representation Applied to Lyapunov Theory

Knoll,

Fiedler,

Ecklebe

2024

Preprint

View full text Add to dashboard Cite

This paper is motivated by three main assumptions: (1) The currently dominant forms of knowledge representation (natural language text, formulas, graphics) are suboptimal to facilitate knowledge transfer between control engineering sub-fields and into potential application domains. (2) Formal knowledge representation (in general) is a promising supplementary approach, but (3) the established technologies so far have failed to be significantly adopted for formal representation of control engineering knowledge. Thus, after briefly reviewing existing representation methods, we introduce our own approach: The Python based imperative representation of knowledge (PyIRK) and its application to formulate the Ontology of Control Systems Engineering (OCSE). One of its main features is the possibility to represent the actual content of definitions and theorems as nodes and edges of a knowledge graph, which is demonstrated by selected elements from Lyapunov theory. While the approach is still experimental, the formalization already allows to apply methods of automated quality assurance and a semantic search mechanism. The current feature set of the framework is demonstrated on various examples before directions for further developments are discussed.

show abstract

Local exponential stabilization of a coupled ODE-Fisher’s PDE system

Ayadi

Mahfoudhi

2023

European Journal of Control

View full text Add to dashboard Cite

Output regulation for general heterodirectional linear hyperbolic PDEs coupled with nonlinear ODEs

Cited by 8 publications

References 31 publications

Imperative Formal Knowledge Representation for Control Engineering: Examples from Lyapunov Theory

Imperative Formal Knowledge Representation for Control Engineering: Examples from Lyapunov Theory

Formal Knowledge Representation Applied to Lyapunov Theory

Local exponential stabilization of a coupled ODE-Fisher’s PDE system

Contact Info

Product

Resources

About