id: 05898608
dt: j
an: 05898608
au: Casagrande, Alberto
ti: Hybrid automata and bisimulations.
so: Rend. Ist. Mat. Univ. Trieste 42, 147-163 (2010).
py: 2010
pu: Istituto di Matemàtica, Università di Trieste, Trieste
la: EN
cc: 
ut: hybrid systems; bisimulation; model checking; model checking problem over
    hybrid automata; model checking over finite models; finite bisimulation
    quotients
ci: 
li: 
ab: Summary: This paper surveys hybrid automata and bisimulation relations. We
    formally introduce both notions and briefly present the model checking
    problem over hybrid automata. We show how, in some cases, bisimulations
    can be used to quotient infinite state systems to finite ones and,
    hence, we reduce the model checking over hybrid automata to model
    checking over finite models. Finally, we review some classes of hybrid
    automata which admit finite bisimulation quotients.
rv: