7778 search results - page 378 / 1556 » Designing Controllers for Reachability |
110
Voted
FM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
109
Voted
ICESS
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and...
173
click to vote
HYBRID
2003
Springer
15 years 10 months ago
2003
Springer
Switched circuits in power electronics by their nature present hybrid behavior. Such circuits can be described by a set of discrete states with associated continuous dynamics. A co...
147
Voted
ICVS
2003
Springer
15 years 10 months ago
2003
Springer
This paper discusses the design of a working system that visually recognizes hand gestures for the control of a window based user interface. We present a method for tracking the fi...
144
click to vote
LCN
2002
IEEE
15 years 10 months ago
2002
IEEE
The IP multicast has not been widely used by current internet service operators, and part of this relates to the nature of multicast, which is designed to allow any host to receiv...