602 search results - page 99 / 121 » Co-simulation of Distributed Embedded Real-Time Control Syst... |
HPCN
1998
Springer
15 years 1 months ago
1998
Springer
An increasing number of science and engineering applications require distributed and parallel computing resources to satisfy user response-time requirements. Distributed science a...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— State estimation is addressed for a class of discrete-time systems that may switch among different modes taken from a finite set. The system and measurement equations of each ...
106
click to vote
SNPD
2008
14 years 11 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
RTAS
2010
IEEE
14 years 8 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
125
click to vote
HYBRID
2010
Springer
14 years 11 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...