Sciweavers

288 search results - page 45 / 58
» Evolved finite state controller for hybrid system
Sort
View
PTS
2008
98views Hardware» more  PTS 2008»
13 years 9 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
RAS
2006
114views more  RAS 2006»
13 years 7 months ago
Measurement errors in visual servoing
This paper addresses the issue of measurement errors in visual servoing. The error characteristics of the vision based state estimation and the associated uncertainty of the contr...
Ville Kyrki, Danica Kragic, Henrik I. Christensen
HASE
2008
IEEE
14 years 1 months ago
Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination
For complex services, logging is an integral part of many middleware aspects, especially, transactions and monitoring. In the event of a failure, the log allows us to deduce the c...
Debmalya Biswas, Thomas Gazagnaire, Blaise Genest
HYBRID
2007
Springer
14 years 1 months ago
Optimal Switches in Multi-inventory Systems
Given a switched multi–inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function relat...
Dario Bauso
IPCCC
1999
IEEE
13 years 11 months ago
Hybrid TCP-UDP transport for Web traffic
: Most of the Web traffic today uses the HyperText Transfer Protocol (HTTP), with the Transmission Control Protocol (TCP) as the underlying transport protocol. TCP provides several...
Israel Cidon, Raphael Rom, Amit Gupta, Christoph L...