2136 search results - page 64 / 428 » Learning Behavior Models for Hybrid Timed Systems |
139
Voted
ICAS
2009
IEEE
15 years 10 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...
131
click to vote
TASE
2009
IEEE
15 years 10 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...
132
Voted
ICPADS
1998
IEEE
15 years 7 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...
147
click to vote
TCS
2002
15 years 2 months 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...
178
click to vote
TSMC
2010
14 years 10 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...