1297 search results - page 23 / 260 » Control of systems integrating logic, dynamics, and constrai... |
106
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
120
click to vote
DFG
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
126
click to vote
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, the formation flight of multiple Unmanned Helicopter (UH) systems is researched and a new decentralized receding horizon formation control algorithm is supposed. The...
108
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...