123 search results - page 19 / 25 » Optimizing Bounded Model Checking for Linear Hybrid Systems |
108
Voted
AUTOMATICA
2005
15 years 10 days ago
2005
In this paper we present a new method of interval fuzzy model identification. The method combines a fuzzy identification methodology with some ideas from linear programming theory...
92
Voted
PODC
2009
ACM
16 years 29 days ago
2009
ACM
d Abstract] Christoph Lenzen Computer Engineering and Networks Laboratory (TIK) ETH Zurich, 8092 Zurich, Switzerland lenzen@tik.ee.ethz.ch Thomas Locher Computer Engineering and N...
127
Voted
AAAI
2007
15 years 2 months ago
2007
In this paper, we consider a hybrid solution to the sensor network position inference problem, which combines a real-time filtering system with information from a more expensive,...
91
Voted
ACSD
2006
IEEE
15 years 6 months ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
91
Voted
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— We study the effect of the field size on the performance of random linear network coding for time division duplexing channels proposed in [1]. In particular, we study ...