Adaptive Abstraction of Constraint-Based Models for Self-Diagnosis and Planning
Paul Maier, Phd Student, Adviser Dr. Martin Sachenbacher · 2010
Today’s embedded systems like printers, cars, satellites or factory plants are composed of numerous complex, intercon-nected components, yielding a huge number of possible sys-tem states. This makes handling such systems, specifically