Formal analysis of piecewise affine systems through formula-guided refinement
Boyan Yordanov, Jana Tůmová, Ivana Černá, Jiří Barnat, Calin BeltaVolume:
49
Year:
2013
Language:
english
DOI:
10.1016/j.automatica.2012.09.027
File:
PDF, 832 KB
english, 2013