1297 search results - page 96 / 260 » Control of systems integrating logic, dynamics, and constrai... |
105
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
108
click to vote
VL
1995
IEEE
15 years 5 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
101
click to vote
RTSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Integrating COTS components in critical real-time systems is challenging. In particular, we show that the interference between cache activity and I/O traffic generated by COTS pe...
BMCBI
2008
15 years 1 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...
127
click to vote
HT
1991
ACM
15 years 5 months ago
1991
ACM
Most hypermedia systems emphasize the integration of graphics, images, video, and audio into a traditional hypertext framework. The hyperspeech system described in this paper, a s...