888 search results - page 115 / 178 » The Power of Temporal Proofs |
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
— High-gain PID position control, which is widely used with industrial robots, involves some risks in cases of abnormal events, such as unexpected environment contacts and tempor...
108
click to vote
CONCUR
2005
Springer
15 years 3 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
HPCC
2005
Springer
15 years 3 months ago
2005
Springer
In this paper a new and powerful computer simulation capability for the characterization of carbonaceous nanoparticle assemblies across multiple, connected scales, starting from th...
ICANN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The paper presents a new version of a GMDH type algorithm able to perform an automatic model structure synthesis, robust model parameter estimation and model validation i...
CBSE
2004
Springer
15 years 3 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...