3387 search results - page 218 / 678 » Model-Checking for Real-Time Systems |
202
click to vote
RAS
2007
15 years 6 months ago
2007
In this paper, a model-predictive trajectory-tracking control applied to a mobile robot is presented. Linearized tracking-error dynamics is used to predict future system behavior ...
241
Voted
CSREAESA
2010
15 years 5 months ago
2010
Moving object detection is essential for real-time surveillance; however, it is challenging to support moving object detection in a timely fashion due to the compute-intensive natu...
174
click to vote
CRITIS
2009
15 years 4 months ago
2009
Abstract. With an increasing demand of inter-connectivity and protocol standardization modern cyber-critical infrastructures are exposed to a multitude of serious threats that may ...
206
Voted
AAAI
2012
13 years 9 months ago
2012
Planning is vital to a wide range of domains, including robotics, military strategy, logistics, itinerary generation and more, that both humans and computers find difficult. Col...
188
Voted
ICRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...