828 search results - page 103 / 166 » Modularity for Timed and Hybrid Systems |
139
Voted
DFG
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
132
Voted
AAAI
1998
15 years 5 months ago
1998
This paperconsidersthe problem of representingcomplex systems that evolve stochastically over time. Dynamic Bayesian networks provide a compact representation for stochastic proce...
134
Voted
ENGL
2007
15 years 3 months ago
2007
— This paper presents a new intelligent agent supervisory loop based approach for dynamic system control. The scheme consists of three software agents that work in an autonomous ...
111
Voted
DSD
2006
IEEE
15 years 9 months ago
2006
IEEE
Traditionally, an embedded system design process demands a considerable amount of expertise, time and money. This makes developing embedded systems difficult for many companies, a...
121
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— The success of sampling-based motion planners has resulted in a plethora of methods for improving planning components, such as sampling and connection strategies, local planner...