85 citations · 279 across the 25 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
eess.SY2017★ 3 cited
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version)
Kengo Kido, Sean Sedwards, Ichiro Hasuo
Time delays pose an important challenge in networked control systems, which are now ubiquitous. Focusing on switched systems, we introduce a framework that provides an upper bound…
cs.LO2017
A Hierarchy of Scheduler Classes for Stochastic Automata
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns +1
Stochastic automata are a formal compositional model for concurrent stochastic timed systems, with general distributions and non-deterministic choices. Measures of interest are def…