Sciweavers

2364 search results - page 18 / 473
» On O-Minimal Hybrid Systems
Sort
View
IJCSA
2006
133views more  IJCSA 2006»
15 years 6 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
15 years 6 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»
15 years 6 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
HYBRID
1995
Springer
15 years 9 months ago
Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time
This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author...
Eduardo D. Sontag
CDC
2008
IEEE
137views Control Systems» more  CDC 2008»
16 years 19 days ago
On the existence of Zeno behavior in hybrid systems with non-isolated Zeno equilibria
Abstract— This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish...
Andrew G. Lamperski, Aaron D. Ames