Formal analysis of piecewise affine systems through formula-guided refinement

DOI10.1016/j.automatica.2012.09.027zbMath1257.93030MaRDI QIDQ1939637

Calin Belta, Boyan Yordanov, Ivana Černá, Jiří Barnat, Jana Tůmová

Publication date: 4 March 2013

Published in: Automatica (Search for Journal in Brave)

zbMATH Keywords

verificationtemporal logicbiotechnologypiecewise linear analysis

Mathematics Subject Classification ID

System identification (93B30) Biochemistry, molecular biology (92C40)

Related Items

Distributed \(H_\infty\)-consensus filtering for piecewise discrete-time linear systems, Compositional abstraction refinement for control synthesis, Augmented finite transition systems as abstractions for control synthesis, Automated generation of dynamics-based runtime certificates for high-level control, \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems

Uses Software

• NuSMV
• FaPAS