Noncommutative rational functions, their difference-differential calculus and realizations
Dmitry S. Kaliuzhnyi-Verbovetskyi, Victor Vinnikov

TL;DR
This paper surveys noncommutative rational functions, their realization theory, and applications, while introducing a difference-differential calculus as a new analytical tool in system theory and control.
Contribution
It provides a comprehensive overview of noncommutative rational functions and develops a novel difference-differential calculus for their analysis.
Findings
Unified framework for noncommutative rational functions
Development of difference-differential calculus
Applications in system theory and control
Abstract
Noncommutative rational functions appeared in many contexts in system theory and control, from the theory of finite automata and formal languages to robust control and LMIs. We survey the construction of noncommutative rational functions, their realization theory and some of their applications. We also develop a difference-differential calculus as a tool for further analysis.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Polynomial and algebraic computation · Petri Nets in System Modeling
