2670 search results - page 23 / 534 » Modeling systems with internal state using evolino |
82
Voted
TR
2011
14 years 4 months ago
2011
We consider repairable reliability systems with m components, the lifetimes and repair times of which are independent. The l-th component can be either in the failure state 0 or i...
74
Voted
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
High order repetitive control has been introduced to overcome performance decay of repetitive control systems under varying frequency of the signals to be tracked/rejected or impro...
CAINE
2001
14 years 11 months ago
2001
In this paper, a new method for the approximation of discrete time state-affine systems is proposed. The method is based on the diagonalization of proposed generalized controllabi...
CAV
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
79
Voted
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...