Sciweavers

125 search results - page 14 / 25
» Synthesis of Discrete-Event Controllers Based on the Signal ...
Sort
View
FMCAD
2007
Springer
15 years 1 months ago
Transaction Based Modeling and Verification of Hardware Protocols
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
Xiaofang Chen, Steven M. German, Ganesh Gopalakris...
ICRA
2005
IEEE
108views Robotics» more  ICRA 2005»
15 years 3 months ago
Motion Emergency of Humanoid Robots by an Attractor Design of a Nonlinear Dynamics
— The human motions are generated through the interaction between the body and its environments. The information processing system defines the current motion using the signal fe...
Masafumi Okada, Kenta Osato, Yoshihiko Nakamura
INFOCOM
2000
IEEE
15 years 2 months ago
Freeze-TCP: A True End-to-End TCP Enhancement Mechanism for Mobile Environments
Abstract— Optimizing TCP (Transport Layer) for mobility has been researched extensively. We present a brief summary of existing results which indicates that most schemes require ...
Tom Goff, James Moronski, Dhananjay S. Phatak, Vip...
68
Voted
CDC
2009
IEEE
156views Control Systems» more  CDC 2009»
15 years 2 months ago
The nullspace method - a unifying paradigm to fault detection
— The nullspace method is a powerful framework to solve the synthesis problem of fault detection filters in the most general setting. It is also well suited to address the least...
András Varga
95
Voted
AR
2008
188views more  AR 2008»
14 years 9 months ago
Intentional Control for Planetary Rover SRR
Intentional behavior is a basic property of intelligence and it incorporates the cyclic operation of prediction, testing by action, sensing, perceiving, and assimilating the exper...
Robert Kozma, Terry Huntsberger, Hrand Aghazarian,...