G. S. Venkatesh

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A formal power series approach to multiplicative dynamic feedback interconnection Communications in Algebra	2026-03-05	Paper
Correcting type errors in the Curry system	2024-07-05	Paper
Formal power series approach to nonlinear systems with additive static feedback International Journal of Control	2023-06-27	Paper
A Formal Power Series Approach to Multiplicative Dynamic Feedback Interconnection	2023-01-12	Paper
A propositional dense time logic Lecture Notes in Computer Science	2022-11-02	Paper
A Formal Power Series Approach to Multiplicative Dynamic and Static Output Feedback	2022-07-17	Paper
Nonlinear system identification for multivariable control via discrete-time Chen-Fliess series Automatica	2020-10-22	Paper
Relative degree of interconnected SISO nonlinear control systems Systems & Control Letters	2019-02-27	Paper
Temporal logic with preferences and reasoning about games Proof, Computation and Agency	2015-04-17	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science	2005-08-12	Paper
Dense time logic programming Journal of Symbolic Computation	1997-08-07	Paper
scientific article; zbMATH DE number 3974944 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: G. S. Venkatesh