1146 search results - page 124 / 230 » Periodically Controlled Hybrid Systems |
RTSS
2003
IEEE
14 years 2 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
HYBRID
2004
Springer
14 years 2 months ago
2004
Springer
The joint spectral radius of a set of matrices is a measure of the maximal asymptotic growth rate that can be obtained by forming long products of matrices taken from the set. This...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Nowadays, workflow research has shifted from fundamentals of workflow modelling and enactment towards improvement of the workflow modelling lifecycle and integration of workflow en...
ICECCS
2008
IEEE
14 years 3 months ago
2008
IEEE
Traditionally shared data areas have been used to efficiently communicate between embedded system tasks, such as periodically executing control system tasks. Such implementations ...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
In the field of robotics the energy spent for actuation is always an issue. It is often the case that some desired motions cannot be achieved by the robot due to limitations in act...