412 search results - page 49 / 83 » Observability of Switched Linear Systems in Continuous Time |
ISCAS
2007
IEEE
14 years 1 months ago
2007
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
CASES
2006
ACM
14 years 1 months ago
2006
ACM
The continuing miniaturization of technology coupled with wireless networks has made it feasible to physically embed sensor network systems into the environment. Sensor net proces...
COORDINATION
2005
Springer
14 years 1 months ago
2005
Springer
With its decoupling of processes in space and time, the shared data space model has proven to be a well-suited solution for developing distributed component-based systems. However,...
CISIS
2009
IEEE
13 years 5 months ago
2009
IEEE
The volume of stream data delivered from different information sources is increasing. There are a variety of demands to utilize such stream data for applications. Stream processin...
CAV
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...