2136 search results - page 6 / 428 » Learning Behavior Models for Hybrid Timed Systems |
131
click to vote
TC
2010
14 years 7 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
109
click to vote
IJCAI
2001
15 years 1 months ago
2001
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
107
Voted
CONTEXT
2001
Springer
15 years 4 months ago
2001
Springer
A recent report by the National Research Council (NRC) declares neural networks “hold the most promise for providing powerful learning models”. While some researchers have expe...
103
click to vote
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
In this article, we show how a behavior based control system for autonomous robots can be modeled as a hybrid automaton, where each node corresponds to a distinct robot behavior. T...
127
click to vote
ENTCS
2007
15 years 9 days ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...