101 search results - page 18 / 21 » Controller Synthesis for MTL Specifications |
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
ICRA
2003
IEEE
14 years 24 days ago
2003
IEEE
— The new generation of implanted neuroprostheses allows muscles to be controlled with fine accuracy, high selectivity and the repeatability of the muscle’s response can be ach...
ENTCS
2010
13 years 7 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
AFRIGRAPH
2007
ACM
13 years 11 months ago
2007
ACM
Real objects present an enormous amount of detail, including aging effects. Artists need an intuitive control when they iteratively review and redesign their work to achieve a spe...
RSP
1999
IEEE
13 years 11 months ago
1999
IEEE
Though synchronous dataflow (SDF) graph has been a successful input specification language for digital signal processing (DSP) applications, lack of support for global states makes...