3 papers
cs.CY2020
Algodynamics: Teaching Algorithms using Interactive Transition Systems
Venkatesh Choppella, Viswanath Kasturi, Mrityunjay Kumar +1
The importance of algorithms and data structures in computer science curricula has been amply recognized. For many students, however, gaining a good understanding of algorithms rem…
eess.SY2018
Generalised Dining Philosophers as Feedback Control
Venkatesh Choppella, Kasturi Viswanath, Arjun Sanjeev
We revisit the Generalised Dining Philosophers problem through the perspective of feedback control. The result is a modular development of the solution using the notions of system…
cs.LO2009
On the Definition of Non-deterministic Mechanisms
Venkata Rao Kuchibhotla, Viswanath Kasturi
We present here three different approaches to the problem of modeling mathematically the concept of a non-deterministic mechanism. Each of these three approaches leads to a mathema…