ListarLCC - Artículos por tema "Hybrid Systems"
Mostrando ítems 1-1 de 1
-
Extending model checkers for hybrid system verification: the case study of SPIN.
(Willey, 2013-07-26)A hybrid system is a system that evolves following a continuous dynamic, which may instantaneously change when certain internal or external events occur. Due to this combination of discrete and continuous dynamics, the ...