2136 search results - page 52 / 428 » Learning Behavior Models for Hybrid Timed Systems |
129
click to vote
UM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Recent sensor technologies have enabled the capture of users’ behavior data. Given the large amount of data currently available from sensor-equipped environments, it is...
167
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
164
click to vote
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Switching linear dynamic systems (SLDS) attempt to describe a complex nonlinear dynamic system with a succession of linear models indexed by a switching variable. Unfortu...
127
Voted
RTSS
1998
IEEE
15 years 7 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
129
Voted
WSTST
2005
Springer
15 years 9 months ago
2005
Springer
: Social networks, religion and culture of human beings play a major role in the day-to-day activities performed by each individual in group oriented missions. The aggregation and ...