Login / Signup

A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems.

Mila E. Majster-CederbaumMoritz MartensChristoph Minnameier
Published in: SOFSEM (1) (2007)
Keyphrases
  • sufficient conditions
  • linear systems
  • linear complementarity problem
  • objective function
  • feature space
  • fuzzy sets
  • asymptotic stability