2136 search results - page 64 / 428 » Learning Behavior Models for Hybrid Timed Systems |
110
Voted
ICAS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Traditionally, performance has been the most important metrics when evaluating a system. However, in the last decades industry and academia have been paying increasing a...
105
click to vote
TASE
2009
IEEE
15 years 7 months ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
109
click to vote
ICPADS
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
117
Voted
TCS
2002
15 years 7 days ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
139
click to vote
TSMC
2010
14 years 7 months ago
2010
Abstract--For the last decade, we have developed a visionbased architecture for mobile robot navigation. Our bio-inspired model of the navigation has proved to achieve sensory-moto...