949 search results - page 77 / 190 » On Topological Consistency and Realization |
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper deals with output feedback impulse control under set-membership uncertainty where the control realization consists of a sequence of δ-impulses. It indicates solutio...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— A data-based approach is presented for modeling and controller design of a dual-stage servo actuator in a hard disk drive. The servo actuator in this hard disk drive consists o...
SPIN
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
ASAP
2000
IEEE
14 years 2 months ago
2000
IEEE
Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...
HICSS
2000
IEEE
14 years 2 months ago
2000
IEEE
: In restructured electric power industries around the world, power pool designers have enabled generators to earn revenues consisting of energy and capacity payments. This paper d...