320 search results - page 42 / 64 » Constructing Invariants for Hybrid Systems |
215
click to vote
SUTC
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
180
click to vote
TSMC
1998
15 years 5 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
139
click to vote
ICIP
2007
IEEE
16 years 7 months ago
2007
IEEE
We describe a high-speed vision system for real-time applications, which is capable of processing visual information at a frame rate of 1 kfps, including both imaging and processi...
122
click to vote
DSN
2005
IEEE
15 years 11 months ago
2005
IEEE
View-oriented group communication is an important and widely used building block for constructing highlyavailable fault-tolerant systems. Unfortunately, groupcommunication based s...
155
click to vote
EWCBR
2000
Springer
15 years 9 months ago
2000
Springer
Lessons learned processes, and software systems that support them, have been developed by many organizations (e.g., all USA military branches, NASA, several Department of Energy or...