9 citations · 30 across the 13 of their papers we have counts for
Showing 2011 · cs.LOShow all
2 papers · 2 filters
cs.LO2011★ 7 cited
Towards Efficient Exact Synthesis for Linear Hybrid Systems
Massimo Benerecetti, Marco Faella, Stefano Minopoli
We study the problem of automatically computing the controllable region of a Linear Hybrid Automaton, with respect to a safety objective. We describe the techniques that are needed…
cs.LO2011★ 3 cited
Automatic Synthesis of Switching Controllers for Linear Hybrid Automata
Massimo Benerecetti, Marco Faella, Stefano Minopoli
In this paper we study the problem of automatically generating switching controllers for the class of Linear Hybrid Automata, with respect to safety objectives. We identify and sol…