6693 search results - page 136 / 1339 » On an anytime algorithm for control |
CAV
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...
ISSS
1997
IEEE
15 years 1 months ago
1997
IEEE
We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic Duration Calculus [13]. The synthesised controllers are given as PLC-Auto...
MOBIHOC
2002
ACM
15 years 9 months ago
2002
ACM
Due to hidden terminals and a dynamic topology, contention among stations in an ad-hoc network is not homogeneous. Some stations are at a disadvantage in opportunity of access to ...
ETFA
2008
IEEE
15 years 4 months ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
The growing adoption of 802.11 networks in the enterprise segment has led to the emergence of High Density (HD) WLAN scenarios where large (100-1000) numbers of clients are service...