2364 search results - page 24 / 473 » On O-Minimal Hybrid Systems |
147
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
150
click to vote
HYBRID
2009
Springer
16 years 29 days ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
167
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
191
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Switched circuits in power electronics by their nature present hybrid behavior. Such circuits can be described by a set of discrete states with associated continuous dynamics. A co...
171
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper we propose a hybrid model for TCP’s congestion control mechanism operating under drop-tail queuing policy. Using