2136 search results - page 2 / 428 » Learning Behavior Models for Hybrid Timed Systems |
WSC
2000
13 years 6 months ago
2000
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
APSEC
2002
IEEE
13 years 10 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we show how file sharing peer to peer systems can be modeled by hybrid systems with a continuous part corresponding to a fluid limit of files and a discrete part c...
ENTCS
2006
13 years 5 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
IUI
2010
ACM
14 years 2 months ago
2010
ACM
Online news reading has become very popular as the web provides access to news articles from millions of sources around the world. A key challenge of news websites is to help user...