Formal analysis of piecewise affine systems through formula-guided refinement

✍ Scribed by Boyan Yordanov; Jana Tůmová; Ivana Černá; Jiří Barnat; Calin Belta

• Book ID: 118426111
• Publisher: Elsevier Science
• Year: 2013
• Tongue: English
• Weight: 832 KB
• Volume: 49
• Category: Article
• ISSN: 0005-1098
• DOI: 10.1016/j.automatica.2012.09.027