101 search results - page 3 / 21 » Controller Synthesis for MTL Specifications |
ICALP
2001
Springer
13 years 10 months ago
2001
Springer
ICCD
1992
IEEE
13 years 9 months ago
1992
IEEE
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...
CHI
2002
ACM
14 years 6 months ago
2002
ACM
Traditional musical instruments have a direct connection between the way they are played or controlled and the properties of the sound produced. This connectedness has, in general...
ICCAD
1994
IEEE
13 years 10 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
HYBRID
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...