45 citations · 149 across the 52 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
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.LO2013
Safe Schedulability of Bounded-Rate Multi-Mode Systems
Rajeev Alur, Vojtech Forejt, Salar Moarref +1
Bounded-rate multi-mode systems (BMMS) are hybrid systems that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued vari…