462 search results - page 45 / 93 » Symbolic Bounded Synthesis |
135
click to vote
ISQED
2005
IEEE
15 years 9 months ago
2005
IEEE
Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulatio...
139
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— We explore the control synthesis problem for a robot dynamically manipulating an object in the presence of multiple frictional contacts. Contacts occur both between the object ...
122
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a high-level synthesis algorithm solving the combined scheduling, allocation and binding problem minimizing area under both latency and maximum power per clock-cycle co...
133
Voted
FPGA
1995
ACM
15 years 7 months ago
1995
ACM
A novel approach is presented for transforming a given scheduled and bound signal processing algorithm for a multiplexer based datapath to a BUS/RAM based FPGA datapath. A datapat...
114
Voted
AUTOMATICA
2008
15 years 3 months ago
2008
This paper addresses the synthesis approach to output feedback robust model predictive control for systems with polytopic description, bounded state disturbance and measurement no...