Formal analysis of piecewise affine systems through formula-guided refinement

Základní údaje

Originální název Formal analysis of piecewise affine systems through formula-guided refinement
Autoři
Boyan Yordanov
Jana Tůmová
Ivana Černá
Jiří Barnat
Calin Belta

Další údaje

Citace YORDANOV, Boyan, Jana TŮMOVÁ, Ivana ČERNÁ, Jiří BARNAT a Calin BELTA. Formal analysis of piecewise affine systems through formula-guided refinement. Automatica, Elsevier, 2013, roč. 49, č. 1, s. 261–266. ISSN 0005-1098. doi:10.1016/j.automatica.2012.09.027.
Originální jazyk angličtina
Obor Informatika
Druh Článek v odborném periodiku
Klíčová slova Piecewise linear analysis; Temporal logic; Verification; Biotechnology

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info