10 citations · 63 across the 43 of their papers we have counts for
Showing 2013 · cs.FLShow all
2 papers · 2 filters
cs.FL2013★ 1 cited
Weak Singular Hybrid Automata
Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi
The framework of Hybrid automata, introduced by Alur, Courcourbetis, Henzinger, and Ho, provides a formal modeling and analysis environment to analyze the interaction between the d…
cs.FL2013★ 4 cited
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization
Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan +1
In this paper we present a unifying approach for deciding various bisimulations, simulation equivalences and preorders between two timed automata states. We propose a zone based me…