4693 search results - page 32 / 939 » Verifying Hybrid Systems |
110
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a new solution approach to the optimal control problem of fixed frequency switch-mode DC-DC converters using hybrid systems methodologies. In particular, the n...
166
click to vote
JNCA
2007
15 years 3 months ago
2007
The process of monitoring the events occurring in a computer system or network and analyzing them for sign of intrusions is known as intrusion detection system (IDS). This paper p...
117
click to vote
IJCSA
2006
15 years 4 months ago
2006
Application of hybrid recommendation enables overcoming disadvantages of the basic recommendation methods: demographic, collaborative and content-based. In this paper the two cons...
142
click to vote
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
108
click to vote
MCSS
2006
Springer
15 years 4 months ago
2006
Springer
In this work characterizations of the notion of non-uniform in time robust global asymptotic output stability for hybrid systems with disturbances are given. Based on the provided ...