7 citations · 7 across the 2 of their papers we have counts for
3 papers
On Timed Scope-bounded Context-sensitive Languages
Devendra. Bhave, S. N. Krishna, Ramchandra Phawade +1
In (DLT 2016) we studied timed context sensitive languages characterized by multiple stack push down automata (MPA), with an explicit bound on number of stages where in each stage…
On Nonlinear Prices in Timed Automata
Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi
Priced timed automata provide a natural model for quantitative analysis of real-time systems and have been successfully applied in various scheduling and planning problems. The opt…
Bounded-Rate Multi-Mode Systems Based Motion Planning
Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna +2
Bounded-rate multi-mode systems are hybrid systems that can switch among a finite set of modes. Its dynamics is specified by a finite number of real-valued variables with mode-depe…