73 search results - page 6 / 15 » A Structural Characterization of Temporal Dynamic Controllab... |
117
click to vote
AIPS
2007
15 years 4 months ago
2007
Autonomous systems operating in real-world environments must be able to plan, schedule, and execute missions while robustly adapting to uncertainty and disturbances. Previous work...
118
Voted
SC
2009
ACM
15 years 8 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
116
Voted
FSTTCS
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
202
Voted
SOFTCOMP
2010
15 years 6 days ago
2010
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...
134
click to vote
HYBRID
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The use of hybrid dynamical systems to model gene regulation is impelled by the switch-like behaviour of the latter. Piecewise affine differential equations is one of the...