4 citations · 15 across the 7 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.CE2013★ 2 cited
Proceedings Second International Workshop on Hybrid Systems and Biology
Thao Dang, Carla Piazza
This volume contains the proceedings of the Second International Workshop Hybrid Systems and Biology (HSB 2013) held in Taormina (Italy), on September 2th, 2013. The workshop is af…
eess.SY2013★ 1 cited
Approximated Symbolic Computations over Hybrid Automata
Alberto Casagrande, Tommaso Dreossi, Carla Piazza
Hybrid automata are a natural framework for modeling and analyzing systems which exhibit a mixed discrete continuous behaviour. However, the standard operational semantics defined…