2838 search results - page 240 / 568 » Verifying Controlled Components |
SSS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
73
Voted
CRV
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a new controlled lighting apparatus which uses a raster display device as a light source. The setup has the advantage over other alternatives in that it is rel...
103
Voted
CSLP
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we introduce a general framework for describing the lexicon of a lexicalised grammar by means of elementary descriptive fragments. The system described hereafter cons...
90
Voted
ICRA
2003
IEEE
15 years 6 months ago
2003
IEEE
― Self-assembly systems in space are arguably within the reach of today’s technology based on the research and development of self-reconfigurable robots on earth. This paper pr...
102
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— Port-based network modeling of complex physical systems naturally leads to port-Hamiltonian system models. This motivates the search for structure-preserving model reduction me...