Sciweavers

2346 search results - page 45 / 470
» Hierarchical State Machines
Sort
View
ICAS
2006
IEEE
140views Robotics» more  ICAS 2006»
14 years 1 months ago
Control System Framework for Autonomous Robots Based on Extended State Machines
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
Torsten Merz, Piotr Rudol, Mariusz Wzorek
ATS
2005
IEEE
100views Hardware» more  ATS 2005»
14 years 1 months ago
Finite State Machine Synthesis for At-Speed Oscillation Testability
In this paper, we propose an oscillation-based test methodology for sequential testing. This approach provides many advantages over traditional methods. (1) It is at-speed testing...
Katherine Shu-Min Li, Chung-Len Lee, Tagin Jiang, ...
PRDC
2005
IEEE
14 years 1 months ago
Resilient State Machine Replication
Paulo Sousa, Nuno Ferreira Neves, Paulo Verí...