165 search results - page 17 / 33 » Systematic Model-in-the-Loop Test of Embedded Control System... |
TC
2010
13 years 2 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
HCI
2007
13 years 9 months ago
2007
Advances in sensor technology, embedded processing power, and modeling and reasoning software, have created the possibility for everyday products to sense the environment and pro-a...
OSDI
2006
ACM
14 years 7 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— Trajectory generation and control of large equipment in open field environments involves systematically and robustly operating in uncertain and dynamic terrain. This p...
TACAS
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...