1363 search results - page 124 / 273 » On some Relations between Dynamical Systems and Transition S... |
123
click to vote
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
STOC
1995
ACM
15 years 1 months ago
1995
ACM
This paper contributes tothe study of nonlinear dynamical systems from a computational perspective. These systems are inherently more powerful than their linear counterparts (such...
DALT
2007
Springer
15 years 4 months ago
2007
Springer
Development of more complex cognitive systems during evolution is sometimes viewed in relation to environmental complexity. In more detail, growth of complexity during evolution ca...
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
— In this paper, we discuss the manipulation of an object under hybrid active/passive closure. We show the orthogonality between the directions of active and passive force closur...
118
click to vote
RV
2010
Springer
14 years 7 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...