1831 search results - page 105 / 367 » Time Constraints in Workflow Systems |
153
click to vote
FSEN
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
147
click to vote
ICRA
2006
IEEE
16 years 4 days ago
2006
IEEE
- Time optimal control method for quadruped walking robots are developed and installed into a practical robot system. Each leg is modeled as a two link manipulator whose time optim...
178
Voted
SIAMCO
2010
15 years 26 days ago
2010
For discrete time nonlinear systems satisfying an exponential or finite time controllability assumption, we present an analytical formula for a suboptimality estimate for model pre...
213
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
159
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We investigate the properties of a multiagent system where each (distributed) agent locally perceives its environment. Upon perception of an unexpected event, each agent locally c...