Formal Analysis of Discrete-Time Piecewise Affine Systems.

Boyan Yordanov Calin Belta

Published in: IEEE Trans. Autom. Control. (2010)

Keyphrases

formal analysis
formal methods
piecewise affine
management system
case study
software engineering
learning systems
data sets
distributed systems
intelligent systems
building blocks
retrieval systems
ban logic