Sciweavers

2377 search results - page 23 / 476
» Hybrid Systems in TLA
Sort
View
HYBRID
2004
Springer
14 years 22 days ago
On the Optimal Control of Switch-Mode DC-DC Converters
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...
Tobias Geyer, Georgios Papafotiou, Manfred Morari
JNCA
2007
179views more  JNCA 2007»
13 years 7 months ago
Modeling intrusion detection system using hybrid intelligent systems
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...
Sandhya Peddabachigari, Ajith Abraham, Crina Grosa...
IJCSA
2006
133views more  IJCSA 2006»
13 years 7 months ago
Implementations of Web-based Recommender Systems Using Hybrid Methods
Application of hybrid recommendation enables overcoming disadvantages of the basic recommendation methods: demographic, collaborative and content-based. In this paper the two cons...
Janusz Sobecki
MCSS
2006
Springer
13 years 7 months ago
Stabilization by Means of Time-varying Hybrid Feedback
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 ...
I. Karafyllis
ENTCS
2007
135views more  ENTCS 2007»
13 years 7 months ago
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
André Platzer