1127 search results - page 41 / 226 » General fuzzy linear systems |
109
click to vote
SIAMCO
2002
15 years 2 months ago
2002
The paper introduces a new detectability concept for continuous-time Markov jump linear systems with finite Markov space that generalizes previous concepts found in the literature....
129
Voted
ICALP
2001
Springer
15 years 7 months ago
2001
Springer
We consider the problem of enumerating all minimal integer solutions of a monotone system of linear inequalities. We first show that for any monotone system of r linear inequaliti...
145
click to vote
RTA
2005
Springer
15 years 8 months ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
136
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
131
click to vote
HYBRID
2010
Springer
15 years 28 days ago
2010
Springer
In recent years, there have been intensive theoretical research works on modeling/analysis of oscillatory phenomena. In this paper, we derive a sufficient condition under which (a...