Fully Automated Stability Verification for Piecewise Affine Systems.

Jens Oehlerking Henning Burchardt Oliver E. Theel

Published in: HSCC (2007)

Keyphrases

fully automated
fully automatic
piecewise affine
semi automated
manual segmentation
distributed systems
management system
neural network
image processing
complex systems
completely automated
image segmentation
computer systems
retrieval systems
model checking
labor intensive