G. S. Venkatesh

From MaRDI portal
Person:1729137

Available identifiers

zbMath Open venkatesh.g-sMaRDI QIDQ1729137

List of research outcomes





PublicationDate of PublicationType
Correcting type errors in the Curry system2024-07-05Paper
Formal power series approach to nonlinear systems with additive static feedback2023-06-27Paper
A Formal Power Series Approach to Multiplicative Dynamic Feedback Interconnection2023-01-12Paper
A propositional dense time logic2022-11-02Paper
A Formal Power Series Approach to Multiplicative Dynamic and Static Output Feedback2022-07-17Paper
Nonlinear system identification for multivariable control via discrete-time Chen-Fliess series2020-10-22Paper
Relative degree of interconnected SISO nonlinear control systems2019-02-27Paper
Temporal logic with preferences and reasoning about games2015-04-17Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science2005-08-12Paper
Dense time logic programming1997-08-07Paper
https://portal.mardi4nfdi.de/entity/Q37416141985-01-01Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1729137&oldid=10929674"
Powered by MediaWiki