Sciweavers

2346 search results - page 45 / 470
» Hierarchical State Machines
Sort
View
ICAS
2006
IEEE
140views Robotics» more  ICAS 2006»
16 years 3 days 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»
15 years 11 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
15 years 11 months ago
Resilient State Machine Replication
Paulo Sousa, Nuno Ferreira Neves, Paulo Verí...